Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Rolf Drechsler"
-
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
- Livre relié | Anglais
- This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Bool... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
- Livre broché | Anglais
- This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software s... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
In-Memory Computing
Saeideh Shirinzadeh, Rolf Drechsler
- Livre relié | Anglais
- This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive d... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Graphenbasierte Funktionsdarstellung
Rolf Drechsler, Bernd Becker
- Livre broché | Allemand | Xleitfäden Der Informatik
- Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden un... Savoir plus
49,45 €Livraison sous 1 à 4 semaines49,45 €Livraison sous 1 à 4 semaines -
Design for Testability, Debug and Reliability
Sebastian Huhn, Rolf Drechsler
- Livre broché | Anglais
- This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably i... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
- Livre relié | Anglais
- The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Design Automation for Field-Coupled Nanotechnologies
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
- Livre relié | Anglais
- This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Formal Specification Level
Mathias Soeken, Rolf Drechsler
- Livre relié | Anglais
- This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at ... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
- Livre broché | Anglais
- Part I: Preliminaries and Previous Work.- Circuits and Testing.- Boolean Satisfiability.- ATPG Based on Boolean Satisfiability.- Part II: New SAT Tech... Savoir plus
118,95 €Livraison 1 à 2 semaines118,95 €Livraison 1 à 2 semaines -
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan, Daniel Große, Rolf Drechsler
- Livre relié | Anglais
- This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for h... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Spectral Techniques in VLSI CAD
Mitchell A Thornton, Rolf Drechsler, D Michael Miller
- Livre relié | Anglais
- Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan, Daniel Große, Rolf Drechsler
- Livre broché | Anglais
- This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for h... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Automatic Methods for the Refinement of System Models
Julia Seiter, Robert Wille, Rolf Drechsler
- Livre broché | Anglais | Springerbriefs in Electrical and Computer Engineering
- This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
- Livre broché | Anglais
- This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
In-Memory-Computing
Saeideh Shirinzadeh, Rolf Drechsler
- Livre relié | Allemand
- Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memrist... Savoir plus
108,45 €Livraison sous 1 à 4 semaines108,45 €Livraison sous 1 à 4 semaines -
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
- Livre relié | Anglais
- This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
- Livre relié | Anglais
- For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar-y Decision Diagmms (BDDs) have become the state-of-the-... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
- Livre relié | Anglais
- In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Automatisierte Analyse Von Virtuellen Prototypen Auf Der Ebene Elektronischer Systeme
Mehran Goli, Rolf Drechsler
- Livre relié | Allemand
- Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Si... Savoir plus
108,45 €Livraison sous 1 à 4 semaines108,45 €Livraison sous 1 à 4 semaines -
Advanced BDD Optimization
Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
- Livre broché | Anglais
- Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binar... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Formal Specification Level
Mathias Soeken, Rolf Drechsler
- Livre broché | Anglais
- This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at ... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
- Livre broché | Anglais
- The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp... Savoir plus
141,45 €Livraison 1 à 2 semaines141,45 €Livraison 1 à 2 semaines -
Reversible and Quantum Circuits
Nabila Abdessaied, Rolf Drechsler
- Livre broché | Anglais
- This bookpresents a new optimization flow for quantum circuits realization. At thereversible level, optimization algorithms are presented to reduce th... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes
Pascal Pieper, Rolf Drechsler
- Livre relié | Anglais
- This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using... Savoir plus
126,95 €Livraison sous 1 à 4 semaines126,95 €Livraison sous 1 à 4 semaines