Automated Analysis of Virtual Prototypes at the Electronic System Level

Design Understanding and Applications

Produktform: Buch / Einband - flex.(Paperback)

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Produktform: Buch / Einband - flex.(Paperback)

Die Betriebsabrechnung in der Papier-, Pappen-, Zellstoff- und Holzstoff-Industrie

Produktform: Buch / Einband - flex.(Paperback)

In-Memory Computing

Synthesis and Optimization

Produktform: Buch / Einband - flex.(Paperback)

Formal Specification Level

Concepts, Methods, and Algorithms

Produktform: Buch / Einband - fest (Hardcover)

Erster Unterrieht des jungen Drogisten

Produktform: Buch / Einband - flex.(Paperback)

Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for Combating COVID-19 and Secure and Privacy-Preserving Machine Learning

10th Workshop, CLIP 2021, Second Workshop, DCL 2021, First Workshop, LL-COVID19, and First Workshop and Tutorial, PPML 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27 and October 1, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures

4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Clinical Image-Based Procedures. From Planning to Intervention

International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Debugging at the Electronic System Level

Produktform: Buch / Einband - fest (Hardcover)

---