-
European design & test conference : Konf. ED&TC 96, Paris, France, 11.- 14. March 1996 : Obs. Proceedings, 623 s.. User forum, 299 s
-
The European design and test conference : Konf. Paris, France, 28. Febr. - 3. March 1994 : Obs. Proceedings, 676 s.. User Forum, 223 s
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
Computer Aids for VLSI design /
-
Design, automation and test in Europe. Conference and exhibition 2000 : Proceedings.Paris, France. 27.- 30. March 2000
-
DARWIN2K. An Evolutionary Approach to Automated Design for Robotics
-
Proceedings the European conference on design automation with the European event in ASIC design : 2.diel:The user forum and AUROASIC prizes sessions : Konf. EURO ASIC '93, Paris, France, 22.- 25. Feb. 1993 : Obs. 1.zv.:, 601 s.. 2.zv.:, 274 s
-
Distributed operating systems. The logical design /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
DARWIN2K :
-
Formal methods for VLSI design /
-
System level hardware/software co-design : An industrial approach
-
SPECC : Specification language and methodology
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
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 /
-
Design, automation and test in Europe. Conference and exhibition 2001 : Proceedings. Munich, Germany. 13.- 16. March 2001
-
High-level VLSI synthesis /
-
Symbolic model checking /
-
SSADM Version 4 : The advanced practitioner's guide /
-
Principles of Model checking
-
Model checking
-
Design, automation and test in Europe. Conference and exhibition 1999 : Proceedings
-
Advances in Information and Computer Security and Its Application. ISA 2009 : 3rd International Conference. Seoul, Korea, 25.- 27. June 2009 /
-
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 /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
The European design and test conference : Konf. Paris, France, 28. Febr. - 3. March 1994 : Obs. Proceedings, 676 s.. User Forum, 223 s
-
System level hardware/software co-design : An industrial approach
-
Proceedings the European conference on design automation with the European event in ASIC design : 2.diel:The user forum and AUROASIC prizes sessions : Konf. EURO ASIC '93, Paris, France, 22.- 25. Feb. 1993 : Obs. 1.zv.:, 601 s.. 2.zv.:, 274 s
-
High-level VLSI synthesis /
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
Distributed operating systems. The logical design /
-
Synthesis and optimization of digital circuits /
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
European design & test conference : Konf. ED&TC 96, Paris, France, 11.- 14. March 1996 : Obs. Proceedings, 623 s.. User forum, 299 s
-
Symbolic model checking /
-
Computer Aids for VLSI design /
-
SPECC : Specification language and methodology
-
European design & test conference : Konf. ED&TC 97, Paris, France, 27.- 30. March 1997
-
DARWIN2K. An Evolutionary Approach to Automated Design for Robotics
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
SSADM Version 4 : The advanced practitioner's guide /
-
Principles of Model checking
-
Model checking
-
DARWIN2K :
-
Práce s mikrokontroléry ATMEL AVR AT90S : 3. díl
-
Programmable digital signal processors /
-
Systémy a mikroprocesory : Učební texty. Textová část /
-
Mechatronics : A Foundation Course
-
Otázky a odpovede z mikroprocesorov a mikropočítačov : Architektúra a programovanie
-
Aplikace jednočipových mikropočítačů INTEL /
-
Hardware : Učebnice pro pokročilé
-
Herausforderung Mikroelektronik /
-
Mikrokontroléry ATMEL AVR programování v jazyce C : Popis a práce ve vývojovém prostředí CodeVisionAVR C
-
Mikroprocesory a mikropočítače
-
Architektúry mikroprocesorov /
-
Introduction to Mechatronics and Measurement Systems
-
Mikroprocesory a mikropočítače /
-
The European design and test conference : Konf. Paris, France, 28. Febr. - 3. March 1994 : Obs. Proceedings, 676 s.. User Forum, 223 s
-
Introduction to microcontrollers : Architecture, programming, and interfacing of the motorola 68HC12
-
System Design with Ada
-
System design : A practical guide with specC /
-
Univerzálny programátor - modul pre mikroprocesory ATMEL
-
Embedded microprocessor systems /
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
Design methodologies for microelectronics. Proceedings : Special day on co-operation. Viena industrial day : Konf. Smolenice, Slovakia, 11.- 14. Sept.1995. Vienna, Austria, 15. Sept. 1995
-
Apple Macintosh /
-
European design & test conference : Konf. ED&TC 96, Paris, France, 11.- 14. March 1996 : Obs. Proceedings, 623 s.. User forum, 299 s
-
Advanced microprocessor architectures /