-
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
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Modelovanie a simulácia mechanizmov s počítačovou podporou
-
xxx
-
Symbolic model checking /
-
Principles of Model checking
-
Model checking
-
Základy práce v CAD systému SolidWorks + CD-Rom
-
System level hardware/software co-design : An industrial approach
-
SPECC : Specification language and methodology
-
Design, automation and test in Europe. Conference and exhibition 1999 : User Forum
-
The European design and test conference : Konf. Paris, France, 28. Febr. - 3. March 1994 : Obs. Proceedings, 676 s.. User Forum, 223 s
-
European design & test conference : Konf. ED&TC 96, Paris, France, 11.- 14. March 1996 : Obs. Proceedings, 623 s.. User forum, 299 s
-
European design & test conference : Konf. ED&TC 97, Paris, France, 27.- 30. March 1997
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
DARWIN2K. An Evolutionary Approach to Automated Design for Robotics
-
High-level VLSI synthesis /
-
Modelovanie a simulácia diskrétnych stochastických procesov
-
Electronic computer & informatics : Proceedings of scientific conference with international participation : Konf. Košice - Herľany, Slovakia, 26.- 27. Sept. 1996