-
Formal verification of hardware design /
-
Logic synthesis and verification algorithms /
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Protocol specification, testing and verification, IX : Konf. Proc. of the IFIP 6.1 9th int. symp. on ..., Enschede, Netherlands, 6.- 9. June 1989 /
-
Specific aspects of globalization
-
Hardware-software co-synthesis of distributed embedded systems /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Theoretical and Specific Aspects of Controlling
-
Novel Developments in Dimensional Nanometrology in the Context of Geometrical Product Specifications and Verification (GPS)
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Hardware : Učebnice pro pokročilé
-
Hardware: učebnice pro pokročilé /
-
Hardware : Učebnice pro pokročilé
-
Hardware : Učebnice pro pokročilé
-
Hardware : Učebnice pro pokročilé
-
HARDWARE jednoduchý časovač ZO7-01 : programovateľný časovač ZO7-02 : zavádzací modul ZO : zborník prednášok
-
Computer-Aided verification /
-
Verification and simulation tools
-
The UVM Primer : An Introduction to the Universal Verification Methodology /
-
Specific aspects of development of spa industry in Czech Republic and Slovakia since 1989
-
HARDWARE Procesor pohyblivej rádovej čiarky. Zborník prednášok
-
HARDWARE Procesor pohyblivej rádovej čiarky. Zborník prednášok
-
Mathematics for Economic Universities
-
HARDWARE Riadiaca jednotka magnetickej páskovej pamäti. Zborník prednášok