Logics and languages for reliability and security
Αποθηκεύτηκε σε:
Συλλογικό Έργο: | Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc |
---|---|
Άλλοι συγγραφείς: | Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | Αγγλικά |
Έκδοση: |
Washington, D.C. :
IOS Press,
2010.
|
Σειρά: | NATO science for peace and security series. Information and communication security ;
v. 25. |
Θέματα: | |
Διαθέσιμο Online: | An electronic book accessible through the World Wide Web; click to view |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Software system reliability and security
Έκδοση: (2007)
Έκδοση: (2007)
Java security
από: Sethi, Harpreet
Έκδοση: (2002)
από: Sethi, Harpreet
Έκδοση: (2002)
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967)
από: Rosen, Saul
Έκδοση: (1967)
The art of Assembly language
από: Hyde, Randall
Έκδοση: (2010)
από: Hyde, Randall
Έκδοση: (2010)
The art of assembly language
από: Hyde, Randall
Έκδοση: (2003)
από: Hyde, Randall
Έκδοση: (2003)
Programming languages : an interpreter-based approach /
από: Kamin, Samuel N.
Έκδοση: (1990)
από: Kamin, Samuel N.
Έκδοση: (1990)
Programming languages : principles and paradigms /
από: Tucker, Allen
Έκδοση: (2002)
από: Tucker, Allen
Έκδοση: (2002)
Programming languages : paradigm and practice /
από: Appleby, Doris
Έκδοση: (1991)
από: Appleby, Doris
Έκδοση: (1991)
Programming language pragmatics
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
Certifications of critical systems - the CECRIS experience /
Έκδοση: (2017)
Έκδοση: (2017)
GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
από: Kalali, Masoud
Έκδοση: (2010)
από: Kalali, Masoud
Έκδοση: (2010)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (2004)
από: Sebesta, Robert W.
Έκδοση: (2004)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (1993)
από: Sebesta, Robert W.
Έκδοση: (1993)
Types and programming languages
από: Pierce, Benjamin C.
Έκδοση: (2002)
από: Pierce, Benjamin C.
Έκδοση: (2002)
Reliable JavaScript /
από: Spencer, Lawrence D., κ.ά.
Έκδοση: (2015)
από: Spencer, Lawrence D., κ.ά.
Έκδοση: (2015)
Programming language landscape : syntax, semantics, and implementation /
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
Principles of programming languages : design, evaluation, and implementation /
από: MacLennan, Bruce J.
Έκδοση: (1999)
από: MacLennan, Bruce J.
Έκδοση: (1999)
Design concepts in programming languages
από: Turbak, Franklyn Albin
Έκδοση: (2008)
από: Turbak, Franklyn Albin
Έκδοση: (2008)
Practical foundations for programming languages
από: Harper, Robert
Έκδοση: (2013)
από: Harper, Robert
Έκδοση: (2013)
Reliability issues for DoD systems report of a workshop /
Έκδοση: (2002)
Έκδοση: (2002)
Mathematical aspects of logic programming semantics /
από: Hitzler, Pascal, κ.ά.
Έκδοση: (2011)
από: Hitzler, Pascal, κ.ά.
Έκδοση: (2011)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2006)
από: Scott, Michael L.
Έκδοση: (2006)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2000)
από: Scott, Michael L.
Έκδοση: (2000)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
από: Saxena, Shiti
Έκδοση: (2013)
από: Saxena, Shiti
Έκδοση: (2013)
Software engineering (a lifecycle approach) /
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
από: Wheeler, Bert
Έκδοση: (2011)
από: Wheeler, Bert
Έκδοση: (2011)
The Standard ML basis library
Έκδοση: (2004)
Έκδοση: (2004)
Beginning c# game programming
από: Penton, Ron
Έκδοση: (2005)
από: Penton, Ron
Έκδοση: (2005)
Intermediate business programming with C++
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
Advanced business programming with C++ 2005
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
NumPy beginner's guide an action-packed guide for the easy-to-use, high performance, Python based free open source NumPy mathematical library using real-world examples /
από: Idris, Ivan
Έκδοση: (2013)
από: Idris, Ivan
Έκδοση: (2013)
The Professional programmers guide to C
από: McKay, Pat
Έκδοση: (1989)
από: McKay, Pat
Έκδοση: (1989)
The elements of C++ style
από: Misfeldt, Trevor, 1969-
Έκδοση: (2004)
από: Misfeldt, Trevor, 1969-
Έκδοση: (2004)
Professional Swift(Tm) /
από: Dippery, Michael
Έκδοση: (2015)
από: Dippery, Michael
Έκδοση: (2015)
Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
από: O'Connor, T. J.
Έκδοση: (2013)
από: O'Connor, T. J.
Έκδοση: (2013)
Introduction to computer science ... /
από: Hume, J.N.P
Έκδοση: (1990)
από: Hume, J.N.P
Έκδοση: (1990)
F# for quantitative finance /
από: Astborg, Johan
Έκδοση: (2013)
από: Astborg, Johan
Έκδοση: (2013)
Programming with Microsoft Visual Basic 6.0 /
από: Zak, Diane
Έκδοση: (2001)
από: Zak, Diane
Έκδοση: (2001)
CoffeeScript programming with jQuery, Rails, and Node.js
από: Erasmus, Michael
Έκδοση: (2012)
από: Erasmus, Michael
Έκδοση: (2012)
Build your own framework with Visual FoxPro
από: Chazotte, Ken
Έκδοση: (2004)
από: Chazotte, Ken
Έκδοση: (2004)
Παρόμοια τεκμήρια
-
Software system reliability and security
Έκδοση: (2007) -
Java security
από: Sethi, Harpreet
Έκδοση: (2002) -
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967) -
The art of Assembly language
από: Hyde, Randall
Έκδοση: (2010) -
The art of assembly language
από: Hyde, Randall
Έκδοση: (2003)