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)
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)
Certifications of critical systems - the CECRIS experience /
Хэвлэсэн: (2017)
Хэвлэсэн: (2017)
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)
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)
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)
The Professional programmers guide to C
-н: McKay, Pat
Хэвлэсэн: (1989)
-н: McKay, Pat
Хэвлэсэн: (1989)
The Standard ML basis library
Хэвлэсэн: (2004)
Хэвлэсэн: (2004)
The elements of C++ style
-н: Misfeldt, Trevor, 1969-
Хэвлэсэн: (2004)
-н: Misfeldt, Trevor, 1969-
Хэвлэсэн: (2004)
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)