![Computer Architecture Computer Architecture](https://bilder.buecher.de/produkte/32/32056/32056503m.jpg)
Broschiertes Buch
Complexity and Correctness
Softcover reprint of hardcover 1st ed. 2000
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08691-5
eBook, PDF | 40,95 € |
![The Complexity of Simple Computer Architectures The Complexity of Simple Computer Architectures](https://bilder.buecher.de/produkte/23/23165/23165066m.jpg)
Broschiertes Buch
1995.
25. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60580-5
![Computer Architecture (eBook, PDF) Computer Architecture (eBook, PDF)](https://bilder.buecher.de/produkte/53/53106/53106123m.jpg)
![Computer Architecture Computer Architecture](https://bilder.buecher.de/produkte/09/09027/09027291m.jpg)
Gebundenes Buch
Complexity and Correctness
2000.
2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67481-8
Ähnliche Artikel
![Introduction to Formal Hardware Verification Introduction to Formal Hardware Verification](https://bilder.buecher.de/produkte/32/32056/32056143m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1999
9. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08477-5
![Introduction to Formal Hardware Verification Introduction to Formal Hardware Verification](https://bilder.buecher.de/produkte/08/08097/08097212m.jpg)
Gebundenes Buch
1999.
16. Oktober 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-65445-2
![Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design](https://bilder.buecher.de/produkte/23/23324/23324517m.jpg)
Broschiertes Buch
4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
2002
23. Oktober 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00116-4
![Correct Hardware Design and Verification Methods Correct Hardware Design and Verification Methods](https://bilder.buecher.de/produkte/09/09197/09197437m.jpg)
Broschiertes Buch
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
1995.
18. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60385-6
![Concurrency and Hardware Design Concurrency and Hardware Design](https://bilder.buecher.de/produkte/11/11373/11373194m.jpg)
Broschiertes Buch
Advances in Petri Nets
2002
26. November 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00199-7
![Computer Systems: Architectures, Modeling, and Simulation Computer Systems: Architectures, Modeling, and Simulation](https://bilder.buecher.de/produkte/14/14746/14746733m.jpg)
Broschiertes Buch
Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings
2004
5. Juli 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11018575,978-3-540-22377-1
![Embedded Computer Systems: Architectures, Modeling, and Simulation Embedded Computer Systems: Architectures, Modeling, and Simulation](https://bilder.buecher.de/produkte/24/24423/24423489m.jpg)
Broschiertes Buch
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
2008
7. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12437931,978-3-540-70549-9
![Formal Hardware Verification Formal Hardware Verification](https://bilder.buecher.de/produkte/09/09254/09254476m.jpg)
Broschiertes Buch
Methods and Systems in Comparison
1997.
27. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63475-1
![Embedded Computer Systems: Architectures, Modeling, and Simulation Embedded Computer Systems: Architectures, Modeling, and Simulation](https://bilder.buecher.de/produkte/26/26538/26538712m.jpg)
Broschiertes Buch
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings
2009
13. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12718269,978-3-642-03137-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON