-
High-level VLSI synthesis /
-
VLSI testing digital and mixed analogue/digital techniques
-
Logic synthesis and verification algorithms /
-
ECS´99. 2nd Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 6.- 8. Sept. 1999
-
ECS´01. 3rd Electronic circuits and systems conference. Proceedings : Bratislava, Slovakia, 5.- 7. Sept. 2001
-
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. /
-
ECS´07. 6th Electronic Circuits and Systems Conference : Proceedings. Bratislava, Slovak Republic, 6.-7.9.2007 /
-
Algorithmic and register-transfer level synthesis:the system architect`s workbench /
-
Formal methods for VLSI design /
-
Practical formal methods for hardware design /
-
Algorithmic and knowledge based CAD for VLSI /
-
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 /
-
Computer systems and computer-aided application : Proceedings of the 10th International conference systems for automation of engineering and research and DECUS national users group seminar ''96 : Konf. SAER ''96, Varna, Bulgaria, 27.- 29. Sept. 1995 /
-
CompSysTech 2002. Proceedings of the International conference on computer systems and technologies (e-Learning) : Sofia, Bulgaria 20.- 21. June 2002 /
-
CompSysTech 2003. Proceedings of the International conference on computer systems and technologies (e-Learning) : Sofia, Bulgaria 19.- 20. June 2003
-
Systems for automation of engineering and research : Proceedings of the 12th international conference. SAER 98. Varna - St. Konstantin, Bulgaria. 19.- 20. Sept. 1998
-
Processor Functional Test Generation - Some Results with Using of Genetic Algorithms
-
SPECC : Specification language and methodology
-
Computer architecture: a modern synthesis : Volume 1: Foundations /
-
Computer architecture a modern synthesis : Volume 2: Advanced topics /
-
Konstruktér a počítač : CAD
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
MathCAD : Příručka pro uživatele /
-
Optimalizácia rekonfigurácie viacprocesorových systémov odolných proti poruchám : Dizertačná práca : Obh. 03.04.1997 /
-
Základy informatiky
-
Aplikace jednočipových mikropočítačů INTEL /
-
Digital circuit design for computer science students : An introductory textbook /
-
Computer organization and architecture : Principles of structure and function /
-
Advanced computer architectures
-
Computer organization and architecture : Designing for performance
-
PC v tabulkách. Podrobný průvodce osobními počítači
-
Advanced computer architectures : a desing space approach
-
VHDL and FPLDs in digital systems design, prototyping and customization
-
System level hardware/software co-design : An industrial approach
-
Advances in computer and information sciences 98 : ISCIS 98. Belek-Antalya, Turkey. 26.- 28. Oct. 1998
-
High-level VLSI synthesis /
-
Multiple processing : A system overview /
-
The European conference on design automation : Konf. Brussels, Belgium, 16.- 19. March 1992
-
Computer architecture: a modern synthesis : Volume 1: Foundations /
-
High-level synthesis : Introduction to chip and system design /
-
Computer architecture a modern synthesis : Volume 2: Advanced topics /
-
System Design with Ada
-
Electronic computer & informatics : Proceedings of scientific conference with international participation : Konf. Košice - Herľany, Slovakia, 26.- 27. Sept. 1996
-
System design : A practical guide with specC /
-
Computer systems and computer-aided application : Proceedings of the 10th International conference systems for automation of engineering and research and DECUS national users group seminar ''96 : Konf. SAER ''96, Varna, Bulgaria, 27.- 29. Sept. 1995 /
-
32nd design automation conference : Proceedings 1995 : Konf. San Francisco, California, 12.- 16. June 1995
-
Readings in distributed computing systems /