-
Software quality & business opportunities : Fifth European conference on software Quality : Konf. Dublin, Ireland, 16.- 20. Sept. 1996
-
Formal verification of hardware design /
-
Software configuration management : Identification, accounting, control, and management /
-
Instalujeme a konfigurujeme počítač
-
Computer-Aided verification /
-
Computer science today : Recent trends and developments /
-
Testování softwaru : Automatické i ruční testování, testování použitelnosti, lokalizace i kompatibility produktů nejen pro manažery softwarových projektů a testery: Praktická cvičení na konci kapitol
-
Software configuration management : ICSE SCM-4 and SCM-5 wokrshops selected papers /
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
A Contribution to Techniques for Building Dependable Operating Systems
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Computer performance and reliability : Proceedings of the second international MCPR workshop : Konf. Rome, Italy, 25.- 29. May 1987 /
-
Temporal verification of reactive systems : Safety /
-
Concurrency control and reliability in distributed systems /
-
Computer systems. Concepts and design /
-
Modul testovania pre online skúškový systém
-
Údržba kódu převzatých programů
-
Fault-tolerant system
-
Advances in ultra dependable distributed systems /
-
Design, automation and test in Europe. Conference and exhibition 1999 : Proceedings
-
Design, automation and test in Europe. Conference and exhibition 2001 : Proceedings. Munich, Germany. 13.- 16. March 2001
-
Design, automation and test in Europe. Conference and exhibition 2000 : Proceedings.Paris, France. 27.- 30. March 2000
-
Analýza zisťovania spôsobilosti trojdimenzionálneho meracieho stroja WENZEL v PCA Slovakia, s.r.o. Trnava : Bakalárska práca
-
Proceedings of International Carpathian Control Conference 7th International Carpathian Control Conference (ICCC'2006), ... 8th Automatyzacja Maszyn, Urządzeń i Procesów (APRO) : Rožnov pod Radhoštěm, Czech Republic, May 29-31, 2006
-
Agenty a multiagentové systémy
-
Inteligentní agenty tvorba : Tvorba aplikačního software na bázi multiagentových systémů
-
Optimalizácia rekonfigurácie viacprocesorových systémov odolných proti poruchám : Dizertačná práca : Obh. 03.04.1997 /
-
Intelligent information agents : Agent-based information discovery and management on the Internet
-
Multi-agent systems : An introduction to distributed artificial intelligence
-
Zranitelný kód
-
Príspevky k návrhu počítačových systémov so zvýšenou spoľahlivosťou : Obh. 18.4.2000
-
Matematické a statistické výpočty v Microsoft Excelu : +CD-ROM
-
New Methods of Computer System Design
-
Bezpečnost v UNIXu a Internetu v praxi
-
Intelligent software agents : Foudations and applications
-
Umelá inteligencia /
-
Software engineering
-
Advanced computer architectures
-
Bezpečnost sítí : Velká kniha /
-
Bezpečnost sítí na maximum
-
Computer organization and architecture : Designing for performance
-
Quantum computing
-
Research in security and privacy : Proceedings 1993 IEEE computer society symposium : Konf. Oakland, California, 24.- 26. May 1993
-
Handbook of real-time embedded systems /
-
Artificial neural networks
-
Bezpečnost Windows 2000/XP : Bezpečnost od A do Z
-
Intelligent agents IV. Agent theories, architectures, and languages : 4th international workshop. ATAL´97. Providence, Rhode Island, USA. 24.- 26. July 1997. Proceedings