Design fur Testbarkeit, Fehlersuche und Zuverlassigkeit : Manahmen der nachsten Generation unter Verwendung formaler Techniken
Sebastian Huhn
Download Now
Format: eBook (EPUB)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Download Now
Format: eBook (EPUB)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download Now
Format: eBook (PDF)
Multi-Agent Coordination : A Reinforcement Learning Approach
Arup Kumar Sadhu
Download Now
Format: eBook (PDF)
Multi-Agent Coordination : A Reinforcement Learning Approach
Arup Kumar Sadhu
Download Now
Format: eBook (EPUB)
Cognitive Modeling of Human Memory and Learning : A Non-invasive Brain-Computer Interfacing Approach
Lidia Ghosh
Download Now
Format: eBook (PDF)
Cognitive Modeling of Human Memory and Learning : A Non-invasive Brain-Computer Interfacing Approach
Lidia Ghosh
Download Now
Format: eBook (EPUB)
Cognitive Engineering : A Distributed Approach to Machine Intelligence
Amit Konar
Download Now
Format: eBook (PDF)
In-Memory Computing : Synthesis and Optimization
Saeideh Shirinzadeh
Download Now
Format: eBook (EPUB)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Download Now
Format: eBook (EPUB)
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
Sebastian Huhn
Download Now
Format: eBook (EPUB)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Download Now
Format: eBook (EPUB)
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Download Now
Format: eBook (EPUB)
Computational Intelligence : Principles, Techniques and Applications
Amit Konar
Download Now
Format: eBook (PDF)
Time-Series Prediction and Applications : A Machine Intelligence Approach
Amit Konar
Download Now
Format: eBook (EPUB)