Formal Specification Level
Concepts, Methods, and Algorithms
CHF 134.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Soeken, Mathias
- ISBN: 978-3-319-37882-4
- EAN: 9783319378824
- Produktnummer: 20333219
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2016
- Seitenangabe: 148 S.
- Masse: H23.6 cm x B15.6 cm x D1.2 cm 245 g
- Auflage: Softcover reprint of the original 1st ed. 2015
- Abbildungen: Paperback
- Gewicht: 245
100 weitere Werke von Rolf Drechsler:
Towards a Design Flow for Reversible Logic
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Languages, Design Methods, and Tools for Electronic System Design
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 103.00
Exact Design of Digital Microfluidic Biochips
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 130.00
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 160.00
Design for Testability, Debug and Reliability
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 118.00
Automatic Methods for the Refinement of System Models
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 65.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 136.00
Design Automation Techniques for Approximation Circuits
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 103.00
Formal Modeling and Verification of Cyber-Physical Systems
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 100.50
Robustness and Usability in Modern Design Flows
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Debugging at the Electronic System Level
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Recent Findings in Boolean Techniques
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 124.00
Evolutionary Algorithms for Embedded System Design
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 118.00
High Quality Test Pattern Generation and Boolean Satisfiability
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 121.50
Test Pattern Generation using Boolean Proof Engines
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 132.50
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 160.00
Applications of Evolutionary Computing
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computation
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 106.50
Natural Language Processing for Electronic Design Automation
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 100.50
Automated Analysis of Virtual Prototypes at the Electronic System Level
Concepts, Methods, and Algorithms
Concepts, Methods, and Algorithms
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden