-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Zabezpečenie reálneho času v jazyku Java
-
Safety aspects of computer control /
-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Automatizácia špecifikácie riadenia výkonu v systémovom modeli
-
Manažment testovania riadiaceho systému podľa GAMP
-
The Reliability of Mechanical Systems /
-
Objektovo-orientovaná abstrakcia podporovaná udalosťami riadenou konceptualizáciou domény
-
Distributed operating systems. The logical design /
-
Computer and Information Security Handbook /
-
Fault-tolerant distributed computing /
-
Aspect-oriented : Software Development
-
Charakterizácia fyzikálnych a chemických vlastností slovenských jednodruhových medov rôzneho botanického pôvodu
-
SPECC : Specification language and methodology
-
On the Modeling and Management of the Security of Data Communication Networks
-
Reliability and Avaibility of Cloud Computing
-
The Complete Book of Data Anonymization From Planning to Implementation /
-
Advances in Information and Computer Security and Its Application. ISA 2009 : 3rd International Conference. Seoul, Korea, 25.- 27. June 2009 /
-
Advances in Information and Computer Security. IWSEC 2009 : 4th International Workshop on Security. Toyama, Japan. 28.-30. Oct. 2009 /
-
Safety Critical Systems Handbook : A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition) and Related Standards. Including: Process IEC 61511, Machinery IEC 62061 and ISO 13849
-
Systém detekcie prieniku do počítačovej siete. Návrh riešenia a implementácia NIDS Snort = Network-based intrusion detection system. Design of the Solution and Implementation of NIDS Snort : Diplomová práca
-
Implementácia ERP systému DIALOG 3000S v priemyselnom podniku OMS, s.r.o. = Implementation of ERP system DIALOG 3000S in industry company OMS, s.r.o. : Diplomová práca
-
Analýza, návrh a implementácia informačného systému na požičiavanie a predaj multimediálnych titulov = Analysis, design and implementation of information system for lending and selling multimedia titles : Diplomová práca