-
An Introduction to Formal Languages and Automata
-
Discovering formal logic
-
Formal methods for VLSI design /
-
Formal models and semantics : Handbook of theoretical computer science. Volume B /
-
Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /
-
Elements of the theory of computation
-
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography /
-
JFLAP : An Interactive Formal Languages and Automata Package
-
Developmental Systems and Languages. /
-
Automata Theory: Machines and Languages. /
-
Introduction to computer performance analysis with mathematica /
-
Languages and Machines : An Introduction to the Theory of Computer Science
-
Formal verification of hardware design /
-
A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999
-
Computer performance and reliability : Proceedings of the second international MCPR workshop : Konf. Rome, Italy, 25.- 29. May 1987 /
-
<The> EuroGroups Register
-
Formálne jazyky a automaty /
-
Programování pro samočinné počítače /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Set theory : An introduction to independence proofs /
-
Úvod do softvérových jazykov, príklady a úlohy /
-
Skupina v organizácii a jej funkcie
-
New Methods of Computer System Design
-
Computer Methods for Circuit Analysis and Desing
-
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