Suchergebnisse für ""Alireza Mahzoon""




Ähnliche Artikel


Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
K. Sridharan
Vikramkumar Pudi
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2015
9. April 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-16687-2

Formal Verification of Circuits
125,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Rolf Drechsler
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2000.
30. Juni 2000
Springer / Springer US / Springer, Berlin
978-0-7923-7858-7

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Victor A. Carreno / Cesar Munoz / Sofiene Tashar (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
2002
7. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44039-0

Formal Verification of Circuits
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Rolf Drechsler
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2000
2. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-4985-1

VLSI-SoC: Internet of Things Foundations
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers
Softcover reprint of the original 1st ed. 2015
23. August 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-38734-5

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers
Softcover reprint of the original 1st ed. 2017
12. August 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-88379-3

Parameterized Complexity in the Polynomial Hierarchy
59,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ronald de Haan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
1st ed. 2019
31. Dezember 2019
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-60669-8

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers
1st ed. 2017
1. September 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-67103-1

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Richard J. Boulton / Paul B. Jackson (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
2001
22. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42525-0

Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mark Aagaard / John Harrison (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
2000.
27. Juli 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722303,978-3-540-67863-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON