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. |
विषय: | |
ऑनलाइन पहुंच: | 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 : paradigm and practice /
द्वारा: Appleby, Doris
प्रकाशित: (1991)
द्वारा: Appleby, Doris
प्रकाशित: (1991)
Programming languages : principles and paradigms /
द्वारा: Tucker, Allen
प्रकाशित: (2002)
द्वारा: Tucker, Allen
प्रकाशित: (2002)
Programming language pragmatics
द्वारा: Scott, Michael Lee, 1959-
प्रकाशित: (2006)
द्वारा: Scott, Michael Lee, 1959-
प्रकाशित: (2006)
Certifications of critical systems - the CECRIS experience /
प्रकाशित: (2017)
प्रकाशित: (2017)
Concepts of programming languages /
द्वारा: Sebesta, Robert W.
प्रकाशित: (1993)
द्वारा: Sebesta, Robert W.
प्रकाशित: (1993)
Concepts of programming languages /
द्वारा: Sebesta, Robert W.
प्रकाशित: (2004)
द्वारा: Sebesta, Robert W.
प्रकाशित: (2004)
Types and programming languages
द्वारा: Pierce, Benjamin C.
प्रकाशित: (2002)
द्वारा: Pierce, Benjamin C.
प्रकाशित: (2002)
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)
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.
प्रकाशित: (2000)
द्वारा: Scott, Michael L.
प्रकाशित: (2000)
Programming language pragmatics (a companied by CD /
द्वारा: Scott, Michael L.
प्रकाशित: (2006)
द्वारा: Scott, Michael L.
प्रकाशित: (2006)
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)
Beginning c# game programming
द्वारा: Penton, Ron
प्रकाशित: (2005)
द्वारा: Penton, Ron
प्रकाशित: (2005)
The elements of C++ style
द्वारा: Misfeldt, Trevor, 1969-
प्रकाशित: (2004)
द्वारा: Misfeldt, Trevor, 1969-
प्रकाशित: (2004)
The Standard ML basis library
प्रकाशित: (2004)
प्रकाशित: (2004)
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)
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)
Build your own framework with Visual FoxPro
द्वारा: Chazotte, Ken
प्रकाशित: (2004)
द्वारा: Chazotte, Ken
प्रकाशित: (2004)
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)
समान संसाधन
-
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)