![Verification of Temporal Properties in Embedded Software Verification of Temporal Properties in Embedded Software](https://bilder.buecher.de/produkte/27/27984/27984043mq.jpg)
Broschiertes Buch
based on Assertion and Semiformal Verification Approaches
9. November 2009
Südwestdeutscher Verlag für Hochschulschriften
![Synthesizable VHDL Design for FPGAs Synthesizable VHDL Design for FPGAs](https://bilder.buecher.de/produkte/45/45610/45610933m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2014
27. August 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-37733-9
![Synthesizable VHDL Design for FPGAs Synthesizable VHDL Design for FPGAs](https://bilder.buecher.de/produkte/39/39361/39361096m.jpg)
Gebundenes Buch
2014
31. Oktober 2013
Springer / Springer International Publishing / Springer, Berlin
86280349,978-3-319-02546-9
eBook, PDF | 81,95 € |
![Synthesizable VHDL Design for FPGAs (eBook, PDF) Synthesizable VHDL Design for FPGAs (eBook, PDF)](https://bilder.buecher.de/produkte/43/43787/43787201m.jpg)
eBook, PDF
21. Oktober 2013
Springer International Publishing
Ähnliche Artikel
![Certifying Rule-Based Models using Graph Transformation Certifying Rule-Based Models using Graph Transformation](https://bilder.buecher.de/produkte/30/30209/30209173mq.jpg)
Broschiertes Buch
Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification
19. April 2010
Südwestdeutscher Verlag für Hochschulschriften
![Social Media in Education Social Media in Education](https://bilder.buecher.de/produkte/29/29758/29758403mq.jpg)
Broschiertes Buch
Application Scenarios in the Context of Technology-Enhanced Learning at Universities
16. April 2010
Südwestdeutscher Verlag für Hochschulschriften
![Structure Versions in Temporal Data Warehouses Structure Versions in Temporal Data Warehouses](https://bilder.buecher.de/produkte/25/25898/25898121mq.jpg)
Broschiertes Buch
Identification, Management and Transformation
18. Januar 2009
Südwestdeutscher Verlag für Hochschulschriften
![Patterns in the Machine Patterns in the Machine](https://bilder.buecher.de/produkte/60/60028/60028064m.jpg)
Broschiertes Buch
A Software Engineering Guide to Embedded Development
1st ed.
20. Januar 2021
Apress / Springer, Berlin
978-1-4842-6439-3
![Embedded Software Development with C Embedded Software Development with C](https://bilder.buecher.de/produkte/41/41900/41900477m.jpg)
Broschiertes Buch
2009
26. November 2014
Springer / Springer US / Springer, Berlin
978-1-4899-8499-9
![Effective and Efficient Temporal Verification in Grid Workflow Effective and Efficient Temporal Verification in Grid Workflow](https://bilder.buecher.de/produkte/33/33221/33221665n.jpg)
Broschiertes Buch
Enabling timely completion of grid workflow
11. März 2011
LAP Lambert Academic Publishing
![Distributed and Parallel Embedded Systems Distributed and Parallel Embedded Systems](https://bilder.buecher.de/produkte/39/39945/39945297m.jpg)
Broschiertes Buch
IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schloß Eringerfeld, Germany
Softcover reprint of the original 1st ed. 1999
7. Januar 2013
Springer / Springer US / Springer, Berlin
978-1-4757-5006-5
![Learn to Program with Assembly Learn to Program with Assembly](https://bilder.buecher.de/produkte/62/62415/62415951m.jpg)
Broschiertes Buch
Foundational Learning for New Programmers
1st ed.
6. November 2021
Apress / Springer, Berlin
978-1-4842-7436-1
![Structured Routing and Performance Evaluation of MANETs Protocols in WSN Structured Routing and Performance Evaluation of MANETs Protocols in WSN](https://bilder.buecher.de/produkte/31/31414/31414017mq.jpg)
Broschiertes Buch
A new overlay routing (ScatterDHT) uses the DHT technology applied for Wireless Sensor Network, and performance evaluation of MANET protocols on WSN
26. August 2010
Éditions universitaires européennes
![Function/Architecture Optimization and Co-Design of Embedded Systems Function/Architecture Optimization and Co-Design of Embedded Systems](https://bilder.buecher.de/produkte/39/39499/39499640n.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2000
21. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-6959-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON