![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/39/39563/39563358m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1996
18. März 2013
Springer / Springer US / Springer, Berlin
978-1-4757-7036-0
eBook, PDF | 69,95 € |
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/24/24452/24452351m.jpg)
Broschiertes Buch
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
2003
27. Juni 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40524-5
eBook, PDF | 40,95 € |
![Abstraction Refinement for Large Scale Model Checking Abstraction Refinement for Large Scale Model Checking](https://bilder.buecher.de/produkte/42/42031/42031994m.jpg)
Broschiertes Buch
2006
6. Dezember 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9395-3
eBook, PDF | 73,95 € |
![Abstraction Refinement for Large Scale Model Checking (eBook, PDF) Abstraction Refinement for Large Scale Model Checking (eBook, PDF)](https://bilder.buecher.de/produkte/37/37287/37287116m.jpg)
eBook, PDF
15. September 2006
Springer New York
![Logic Synthesis and Verification Algorithms (eBook, PDF) Logic Synthesis and Verification Algorithms (eBook, PDF)](https://bilder.buecher.de/produkte/53/53097/53097308m.jpg)
eBook, PDF
17. Dezember 2005
Springer New York
![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/20/20816/20816308m.jpg)
![Logic Synthesis and Verification Algorithms Logic Synthesis and Verification Algorithms](https://bilder.buecher.de/produkte/21/21435/21435222m.jpg)
Gebundenes Buch
1996.
1996
Springer / Springer US / Springer, Berlin
978-0-7923-9746-5
Ähnliche Artikel
![VHDL for Simulation, Synthesis and Formal Proofs of Hardware VHDL for Simulation, Synthesis and Formal Proofs of Hardware](https://bilder.buecher.de/produkte/39/39915/39915766n.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1992
16. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-6582-2
![Functional Design Errors in Digital Circuits Functional Design Errors in Digital Circuits](https://bilder.buecher.de/produkte/25/25328/25328107m.jpg)
Gebundenes Buch
Diagnosis Correction and Repair
2009 edition
10. Dezember 2008
Springer / Springer Netherlands
12266234,978-1-4020-9364-7
![VLSI Specification, Verification and Synthesis VLSI Specification, Verification and Synthesis](https://bilder.buecher.de/produkte/39/39960/39960547n.jpg)
Broschiertes Buch
1988
14. August 2013
Springer / Springer US / Springer, Berlin
978-1-4612-9197-8
![Sequential Logic Synthesis Sequential Logic Synthesis](https://bilder.buecher.de/produkte/39/39914/39914707n.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1992
12. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-6613-3
![Sequential Logic Testing and Verification Sequential Logic Testing and Verification](https://bilder.buecher.de/produkte/39/39161/39161049m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1992
10. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-6622-5
![Hadamard Matrix Analysis and Synthesis Hadamard Matrix Analysis and Synthesis](https://bilder.buecher.de/produkte/39/39159/39159947m.jpg)
Broschiertes Buch
With Applications to Communications and Signal/Image Processing
Softcover reprint of the original 1st ed. 1997
10. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-7898-3
![Algorithmic and Register-Transfer Level Synthesis: The System Architect¿s Workbench Algorithmic and Register-Transfer Level Synthesis: The System Architect¿s Workbench](https://bilder.buecher.de/produkte/39/39686/39686050m.jpg)
Broschiertes Buch
The System Architect's Workbench
Softcover reprint of the original 1st ed. 1990
16. September 2011
Springer / Springer US / Springer, Berlin
978-1-4612-8815-2
![Computational Electromagnetics and Its Applications Computational Electromagnetics and Its Applications](https://bilder.buecher.de/produkte/39/39506/39506530m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
3. Oktober 2013
Springer / Springer Netherlands
978-94-010-6354-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON