Logics and languages for reliability and security
Sábháilte in:
| Údair chorparáideacha: | , , |
|---|---|
| Rannpháirtithe: | , , |
| Formáid: | Leictreonach Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Washington, D.C. :
IOS Press,
2010.
|
| Sraith: | NATO science for peace and security series. Information and communication security ;
v. 25. |
| Ábhair: | |
| Rochtain ar líne: | An electronic book accessible through the World Wide Web; click to view |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Software system reliability and security
Foilsithe / Cruthaithe: (2007)
Foilsithe / Cruthaithe: (2007)
Programming systems and languages.
de réir: Rosen, Saul
Foilsithe / Cruthaithe: (1967)
de réir: Rosen, Saul
Foilsithe / Cruthaithe: (1967)
Java security
de réir: Sethi, Harpreet
Foilsithe / Cruthaithe: (2002)
de réir: Sethi, Harpreet
Foilsithe / Cruthaithe: (2002)
The art of Assembly language
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2010)
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2010)
The art of assembly language
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2003)
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2003)
Programming languages : an interpreter-based approach /
de réir: Kamin, Samuel N.
Foilsithe / Cruthaithe: (1990)
de réir: Kamin, Samuel N.
Foilsithe / Cruthaithe: (1990)
Programming languages : paradigm and practice /
de réir: Appleby, Doris
Foilsithe / Cruthaithe: (1991)
de réir: Appleby, Doris
Foilsithe / Cruthaithe: (1991)
Programming languages : principles and paradigms /
de réir: Tucker, Allen
Foilsithe / Cruthaithe: (2002)
de réir: Tucker, Allen
Foilsithe / Cruthaithe: (2002)
Programming language pragmatics
de réir: Scott, Michael Lee, 1959-
Foilsithe / Cruthaithe: (2006)
de réir: Scott, Michael Lee, 1959-
Foilsithe / Cruthaithe: (2006)
Concepts of programming languages /
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (2004)
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (2004)
Concepts of programming languages /
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (1993)
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (1993)
Types and programming languages
de réir: Pierce, Benjamin C.
Foilsithe / Cruthaithe: (2002)
de réir: Pierce, Benjamin C.
Foilsithe / Cruthaithe: (2002)
GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
de réir: Kalali, Masoud
Foilsithe / Cruthaithe: (2010)
de réir: Kalali, Masoud
Foilsithe / Cruthaithe: (2010)
Reliable JavaScript /
de réir: Spencer, Lawrence D., et al.
Foilsithe / Cruthaithe: (2015)
de réir: Spencer, Lawrence D., et al.
Foilsithe / Cruthaithe: (2015)
Programming language landscape : syntax, semantics, and implementation /
de réir: Marcotty, Michael, 1931-
Foilsithe / Cruthaithe: (1986)
de réir: Marcotty, Michael, 1931-
Foilsithe / Cruthaithe: (1986)
Principles of programming languages : design, evaluation, and implementation /
de réir: MacLennan, Bruce J.
Foilsithe / Cruthaithe: (1999)
de réir: MacLennan, Bruce J.
Foilsithe / Cruthaithe: (1999)
Certifications of critical systems - the CECRIS experience /
Foilsithe / Cruthaithe: (2017)
Foilsithe / Cruthaithe: (2017)
Design concepts in programming languages
de réir: Turbak, Franklyn Albin
Foilsithe / Cruthaithe: (2008)
de réir: Turbak, Franklyn Albin
Foilsithe / Cruthaithe: (2008)
Practical foundations for programming languages
de réir: Harper, Robert
Foilsithe / Cruthaithe: (2013)
de réir: Harper, Robert
Foilsithe / Cruthaithe: (2013)
Mathematical aspects of logic programming semantics /
de réir: Hitzler, Pascal, et al.
Foilsithe / Cruthaithe: (2011)
de réir: Hitzler, Pascal, et al.
Foilsithe / Cruthaithe: (2011)
Programming language pragmatics (a companied by CD /
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2006)
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2006)
Programming language pragmatics (a companied by CD /
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2000)
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2000)
Reliability issues for DoD systems report of a workshop /
Foilsithe / Cruthaithe: (2002)
Foilsithe / Cruthaithe: (2002)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
de réir: Saxena, Shiti
Foilsithe / Cruthaithe: (2013)
de réir: Saxena, Shiti
Foilsithe / Cruthaithe: (2013)
Software engineering (a lifecycle approach) /
de réir: Mohapatra, Pratap K. J.
Foilsithe / Cruthaithe: (2010)
de réir: Mohapatra, Pratap K. J.
Foilsithe / Cruthaithe: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
de réir: Wheeler, Bert
Foilsithe / Cruthaithe: (2011)
de réir: Wheeler, Bert
Foilsithe / Cruthaithe: (2011)
The Standard ML basis library
Foilsithe / Cruthaithe: (2004)
Foilsithe / Cruthaithe: (2004)
Intermediate business programming with C++
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
Advanced business programming with C++ 2005
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
The elements of C++ style
de réir: Misfeldt, Trevor, 1969-
Foilsithe / Cruthaithe: (2004)
de réir: Misfeldt, Trevor, 1969-
Foilsithe / Cruthaithe: (2004)
The Professional programmers guide to C
de réir: McKay, Pat
Foilsithe / Cruthaithe: (1989)
de réir: McKay, Pat
Foilsithe / Cruthaithe: (1989)
Beginning c# game programming
de réir: Penton, Ron
Foilsithe / Cruthaithe: (2005)
de réir: Penton, Ron
Foilsithe / Cruthaithe: (2005)
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 /
de réir: Idris, Ivan
Foilsithe / Cruthaithe: (2013)
de réir: Idris, Ivan
Foilsithe / Cruthaithe: (2013)
Professional Swift(Tm) /
de réir: Dippery, Michael
Foilsithe / Cruthaithe: (2015)
de réir: Dippery, Michael
Foilsithe / Cruthaithe: (2015)
Introduction to computer science ... /
de réir: Hume, J.N.P
Foilsithe / Cruthaithe: (1990)
de réir: Hume, J.N.P
Foilsithe / Cruthaithe: (1990)
Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
de réir: O'Connor, T. J.
Foilsithe / Cruthaithe: (2013)
de réir: O'Connor, T. J.
Foilsithe / Cruthaithe: (2013)
F# for quantitative finance /
de réir: Astborg, Johan
Foilsithe / Cruthaithe: (2013)
de réir: Astborg, Johan
Foilsithe / Cruthaithe: (2013)
Programming with Microsoft Visual Basic 6.0 /
de réir: Zak, Diane
Foilsithe / Cruthaithe: (2001)
de réir: Zak, Diane
Foilsithe / Cruthaithe: (2001)
Build your own framework with Visual FoxPro
de réir: Chazotte, Ken
Foilsithe / Cruthaithe: (2004)
de réir: Chazotte, Ken
Foilsithe / Cruthaithe: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
de réir: Erasmus, Michael
Foilsithe / Cruthaithe: (2012)
de réir: Erasmus, Michael
Foilsithe / Cruthaithe: (2012)