Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Synchronous Equivalence: Formal Methods for Embedded Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
  Sprache:
Englisch / Autor: Felice Balarin / Einband: Gebunden |
|
|
|
|
 |
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
|
EDV / Informatik |
55.90 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Design and Verification of Microprocessor Systems for High-Assurance Applications
|
Naturwissensch., Medizin, Technik |
147.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Evolutionary Computing for System Design
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advanced Formal Verification
|
Philosophie |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Advanced Formal Verification
|
Philosophie |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
|
Naturwissensch., Medizin, Technik |
139.00 |
|
| Buch |
Sprache:
Englisch / Autor: Nikil D. Dutt / Einband: Gebunden |
|
|
|
|
 |
Taxonomies for the Development and Verification of Digital Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
System-on-a-Chip Verification: Methodology and Techniques
|
Naturwissensch., Medizin, Technik |
199.00 |
|
| Buch |
Sprache:
Englisch / Autor: Prakash Rashinkar / Einband: Kartoniert |
|
|
|
|
 |
Taxonomies for the Development and Verification of Digital Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
System-on-a-Chip Verification: Methodology and Techniques
|
Naturwissensch., Medizin, Technik |
199.00 |
|
| Buch |
Sprache:
Englisch / Autor: Prakash Rashinkar / Einband: Gebunden |
|
|
|
|
 |
Offshore Wind Farms: Technologies, Design and Operation
|
Naturwissensch., Medizin, Technik |
240.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Implementation and Application of Automata: 30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5–8, 2026, Proceedings
|
EDV / Informatik |
91.00 |
|
| Buch |
 ANGEKÜNDIGT (September 2026) VERSPÄTET Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Synchronous Equivalence: Formal Methods for Embedded Systems
|
Naturwissensch., Medizin, Technik |
135.00 |
|
| Buch |
Sprache:
Englisch / Autor: Felice Balarin / Einband: Kartoniert |
|
|
|
|
 |
SystemC: From the Ground Up, Second Edition
|
Naturwissensch., Medizin, Technik |
198.00 |
|
| Buch |
Sprache:
Englisch / Autor: David C. Black / Einband: Gebunden |
|
|
|
|
 |
ESL Models and their Application: Electronic System Level Design and Verification in Practice
|
Naturwissensch., Medizin, Technik |
149.00 |
|
| Buch |
Sprache:
Englisch / Autor: Grant Martin / Einband: Kartoniert |
|
|
|
|
| / 9  |
Newsfeed | 
Facebook | 
Twitter
