-
Formal methods for VLSI design /
-
Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /
-
Discovering formal logic
-
An Introduction to Formal Languages and Automata
-
Computers and Mathematics
-
Elements of the theory of computation
-
Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /
-
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Mathematical Programming Essays in Honor of George B.Dantzig. Part 1
-
Mathematical Programming Essays in Honor of George B.Dantzig. Part 2
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Assiciation IFSA
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association
-
Fuzzy Sets and Systems Official Publication of the International Fuzzy Systems Association
-
Umělá inteligence (1) /
-
Umělá inteligence (2)
-
Umělá inteligence (3)
-
Practical iterative methods for large scale computations : Proceedings : Konf. Minneapolis, USA, 23.- 25. Oct. 1988 /
-
Umělá inteligence (4)
-
Application of neural networks to modelling and control /
-
Introduction to expert systems : The development and implementation of rule-besed expert systems /
-
Quantum computing
-
Nelineárne systémy
-
Umělá inteligence : V problémech globální optimalizace
-
Základy kybernetiky : Zbierka úloh pre poslucháčov Elektrotechnickej a Strojníckej fakulty
-
Formal methods for VLSI design /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Applied informatics : Proceedings : Konf. Thirteenth IASTED intenational conference, Igls, Austria, 21.- 23. Febr. 1995 /
-
Wissensbasiertes Konfigurieren : Ergebnisse aus dem Projekt PROKON /
-
Formal models and semantics : Handbook of theoretical computer science. Volume B /
-
Electronic computer & informatics : Proceedings of scientific conference with international participation : Konf. Košice - Herľany, Slovakia, 26.- 27. Sept. 1996
-
Intelligent technologies. Vol.2 : Proceedings of the 1-st Slovak Neural Network Symposium : Konf. Herľany, Slovakia, Nov. 1996 /
-
Artificial neural nets and genetic algorithms : Proceedings of the international conference : Konf. Ales, France, 1995 /
-
Quantum Computation and Quantum Information
-
Quantum computing
-
Second (2nd) Slovak conference on artificial neural networks : SCANN 98. Smolenice, Slovakia. 10. - 12. Nov. 1998
-
Modelling and simulation in management and control : Konf. Súľov, Slovakia, 6.- 8. Oct. 1997
-
Intelligent technologies - Theory and applications : New trends in intelligent technologies /