-
High-level VLSI synthesis /
-
Algorithms and parallel VLSI architectures : Konf. Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures , Abbaye des Prémontrés,Pont-aMousson, France, 10.- 16. June 1990 : Obs. Vol.A., Tutorials, 475 s.. Vol.B., Proceedings, 524 s /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Formal models and semantics : Handbook of theoretical computer science. Volume B /
-
Computer Aids for VLSI design /
-
Practical formal methods for hardware design /
-
Distributed operating systems. The logical design /
-
Algorithmic and knowledge based CAD for VLSI /
-
VLSI testing digital and mixed analogue/digital techniques
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
DARWIN2K. An Evolutionary Approach to Automated Design for Robotics
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
European design & test conference : Konf. ED&TC 97, Paris, France, 27.- 30. March 1997
-
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
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
DARWIN2K :
-
System level hardware/software co-design : An industrial approach
-
Role-Based Access Control
-
SPECC : Specification language and methodology
-
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 /
-
Discovering formal logic
-
Role-Based Access Control
-
Symbolic methods in control system analysis and design
-
Príspevok k metódam nedeterministického generovania testov pre číslicové obvody : Č. ved. odb. 25-11-9. Obhaj. 10.11.2000
-
Nitridové vrstvy pre Schottkyho kontakty na GaAs : Kand.diz.práca : V.odb. 26-11-9 : Obh. 20.10.1994 /
-
Formal methods for VLSI design /
-
Algorithms and parallel VLSI architectures : Konf. Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures , Abbaye des Prémontrés,Pont-aMousson, France, 10.- 16. June 1990 : Obs. Vol.A., Tutorials, 475 s.. Vol.B., Proceedings, 524 s /
-
High-level VLSI synthesis /
-
High-level synthesis : Introduction to chip and system design /
-
ECS´99. 2nd Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 6.- 8. Sept. 1999
-
Logic synthesis and verification algorithms /
-
ECS´01. 3rd Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 5.- 7. Sept. 2001
-
Practical formal methods for hardware design /
-
Algorithmic and knowledge based CAD for VLSI /
-
ECS´03. 4th Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 11- 12. Sept. 2003 /
-
ECS´05. 5th Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 8.-9. Sept. 2005. /
-
Biomedical digital signal processing : C-language examples and laboratory experiments for the IBM PC /
-
VLSI testing digital and mixed analogue/digital techniques
-
ECS´07. 6th Electronic Circuits and Systems Conference : Proceedings. Bratislava, Slovak Republic, 6.-7.9.2007 /