Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- 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
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- 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"
-
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 -
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
- Provides a general flow and description for the validation and verification of UML/OCL models Demonstrates a detailed realization of the general flow ... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,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 -
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 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 -
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 -
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
- This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Bool... 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 -
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
- VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Sa... Savoir plus
153,95 €Livraison 1 à 2 semaines153,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 2 à 3 semaines167,95 €Livraison 2 à 3 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