Logics and languages for reliability and security
Պահպանված է:
| Համատեղ հեղինակներ: | , , |
|---|---|
| Այլ հեղինակներ: | , , |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
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)
Programming systems and languages.
: Rosen, Saul
Հրապարակվել է: (1967)
: Rosen, Saul
Հրապարակվել է: (1967)
Java security
: Sethi, Harpreet
Հրապարակվել է: (2002)
: Sethi, Harpreet
Հրապարակվել է: (2002)
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 language pragmatics
: Scott, Michael Lee, 1959-
Հրապարակվել է: (2006)
: Scott, Michael Lee, 1959-
Հրապարակվել է: (2006)
Programming languages : paradigm and practice /
: Appleby, Doris
Հրապարակվել է: (1991)
: Appleby, Doris
Հրապարակվել է: (1991)
Programming languages : principles and paradigms /
: Tucker, Allen
Հրապարակվել է: (2002)
: Tucker, Allen
Հրապարակվել է: (2002)
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)
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)
Certifications of critical systems - the CECRIS experience /
Հրապարակվել է: (2017)
Հրապարակվել է: (2017)
Design concepts in programming languages
: Turbak, Franklyn Albin
Հրապարակվել է: (2008)
: Turbak, Franklyn Albin
Հրապարակվել է: (2008)
Practical foundations for programming languages
: Harper, Robert
Հրապարակվել է: (2013)
: Harper, Robert
Հրապարակվել է: (2013)
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)
Reliability issues for DoD systems report of a workshop /
Հրապարակվել է: (2002)
Հրապարակվել է: (2002)
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)
Intermediate business programming with C++
: Voils, Don
Հրապարակվել է: (2007)
: Voils, Don
Հրապարակվել է: (2007)
Advanced business programming with C++ 2005
: Voils, Don
Հրապարակվել է: (2007)
: Voils, Don
Հրապարակվել է: (2007)
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)
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)
Introduction to computer science ... /
: Hume, J.N.P
Հրապարակվել է: (1990)
: Hume, J.N.P
Հրապարակվել է: (1990)
Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
: O'Connor, T. J.
Հրապարակվել է: (2013)
: O'Connor, T. J.
Հրապարակվել է: (2013)
F# for quantitative finance /
: Astborg, Johan
Հրապարակվել է: (2013)
: Astborg, Johan
Հրապարակվել է: (2013)
CoffeeScript programming with jQuery, Rails, and Node.js
: Erasmus, Michael
Հրապարակվել է: (2012)
: Erasmus, Michael
Հրապարակվել է: (2012)
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)