Ihre Suche ergab 138 Treffer.
Formal Modeling and Verification of Cyber-Physical Systems
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
Design, Verständnis und Anwendungen
Produktform: E-Buch Text Elektronisches Buch in proprietärem
86,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
High Quality Test Pattern Generation and Boolean Satisfiability
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Natural Language Processing for Electronic Design Automation
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
In-Memory-Computing
Synthese und Optimierung
Produktform: E-Buch Text Elektronisches Buch in proprietärem
86,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Analysis of Virtual Prototypes at the Electronic System Level
Design Understanding and Applications
Produktform: E-Buch Text Elektronisches Buch in proprietärem
85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Advanced Boolean Techniques
Selected Papers from the 15th International Workshop on Boolean Problems
Produktform: E-Buch Text Elektronisches Buch in proprietärem
106,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Produktform: E-Buch Text Elektronisches Buch in proprietärem
86,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage