-
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 /