Logics and languages for reliability and security
שמור ב:
Corporate Authors: | 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. |
נושאים: | |
גישה מקוונת: | 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., et al.
יצא לאור: (2015)
מאת: Spencer, Lawrence D., et al.
יצא לאור: (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, et al.
יצא לאור: (2011)
מאת: Hitzler, Pascal, et al.
יצא לאור: (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 Professional programmers guide to C
מאת: McKay, Pat
יצא לאור: (1989)
מאת: McKay, Pat
יצא לאור: (1989)
The Standard ML basis library
יצא לאור: (2004)
יצא לאור: (2004)
Beginning c# game programming
מאת: Penton, Ron
יצא לאור: (2005)
מאת: Penton, Ron
יצא לאור: (2005)
The elements of C++ style
מאת: Misfeldt, Trevor, 1969-
יצא לאור: (2004)
מאת: Misfeldt, Trevor, 1969-
יצא לאור: (2004)
Intermediate business programming with C++
מאת: Voils, Don
יצא לאור: (2007)
מאת: Voils, Don
יצא לאור: (2007)
Advanced business programming with C++ 2005
מאת: Voils, Don
יצא לאור: (2007)
מאת: Voils, Don
יצא לאור: (2007)
Professional Swift(Tm) /
מאת: Dippery, Michael
יצא לאור: (2015)
מאת: Dippery, Michael
יצא לאור: (2015)
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)
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)
Build your own framework with Visual FoxPro
מאת: Chazotte, Ken
יצא לאור: (2004)
מאת: Chazotte, Ken
יצא לאור: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
מאת: Erasmus, Michael
יצא לאור: (2012)
מאת: Erasmus, Michael
יצא לאור: (2012)
פריטים דומים
-
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)