-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Computer and Information Security Handbook /
-
Safety aspects of computer control /
-
Executive guide to preventing information technology disasters /
-
Návrh botnetu
-
The Reliability of Mechanical Systems /
-
Computer Networks Security : Theory and Practice
-
Design and use of software architectures : Adopting and evolving a product-line approach
-
FTCS-22 : Digest of papers : Konf. The Twenty-Second International Sysposium on Fault-Tolerant Computing, Boston, Massachusetts, 8.- 10. July 1992
-
Software fault tolerance : Achievement and assessment strategies /
-
The unified modeling language reference manual
-
The unified software development process
-
Software architecture : Perspectives on an emerging discipline /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Visual modeling with rational rose 2000 and UML
-
Proceedings of the 1998 international conference od software engineering : ISCE 98. Kyoto, Japan. 19.- 25. april 1998
-
Aspect-oriented : Software Development
-
Logic and algebra of specification /
-
Temporal verification of reactive systems : Safety /
-
201 principles of software development /
-
Fault-tolerant distributed computing /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Practical Design of Safety - Critical Computer Systems
-
Software projects : Evolutionary vs. big-bang delivery /