- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Resultaten voor "Rolf Drechsler"
-
In-Memory Computing
Saeideh Shirinzadeh, Rolf Drechsler
- Hardcover | Engels
- This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive d... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
- Paperback | Engels
- This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software s... Lees meer
€ 158,45Levertermijn 1 à 4 weken€ 158,45Levertermijn 1 à 4 weken -
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
- Hardcover | Engels
- This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Bool... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
Design for Testability, Debug and Reliability
Sebastian Huhn, Rolf Drechsler
- Paperback | Engels
- This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably i... Lees meer
€ 116,45Levertermijn 1 à 4 weken€ 116,45Levertermijn 1 à 4 weken -
Graphenbasierte Funktionsdarstellung
Rolf Drechsler, Bernd Becker
- Paperback | Duits | Xleitfäden Der Informatik
- Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden un... Lees meer
€ 49,45Levertermijn 1 à 4 weken€ 49,45Levertermijn 1 à 4 weken -
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
- Hardcover | Engels
- The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp... Lees meer
€ 139,95Levering 1 à 2 weken€ 139,95Levering 1 à 2 weken -
Design Automation for Field-Coupled Nanotechnologies
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
- Hardcover | Engels
- This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
Formal Specification Level
Mathias Soeken, Rolf Drechsler
- Hardcover | Engels
- This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at ... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
- Paperback | Engels
- Part I: Preliminaries and Previous Work.- Circuits and Testing.- Boolean Satisfiability.- ATPG Based on Boolean Satisfiability.- Part II: New SAT Tech... Lees meer
€ 118,95Levering 1 à 2 weken€ 118,95Levering 1 à 2 weken -
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan, Daniel Große, Rolf Drechsler
- Hardcover | Engels
- This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for h... Lees meer
€ 116,45Levertermijn 1 à 4 weken€ 116,45Levertermijn 1 à 4 weken -
Spectral Techniques in VLSI CAD
Mitchell A Thornton, Rolf Drechsler, D Michael Miller
- Hardcover | Engels
- 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... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan, Daniel Große, Rolf Drechsler
- Paperback | Engels
- This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for h... Lees meer
€ 84,45Levertermijn 1 à 4 weken€ 84,45Levertermijn 1 à 4 weken -
Automatic Methods for the Refinement of System Models
Julia Seiter, Robert Wille, Rolf Drechsler
- Paperback | Engels | 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... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
- Paperback | Engels
- This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
In-Memory-Computing
Saeideh Shirinzadeh, Rolf Drechsler
- Hardcover | Duits
- Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memrist... Lees meer
€ 108,45Levertermijn 1 à 4 weken€ 108,45Levertermijn 1 à 4 weken -
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze, Robert Wille, Rolf Drechsler
- Hardcover | Engels
- This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
- Hardcover | Engels
- 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-... Lees meer
€ 209,95Levering 1 à 2 weken€ 209,95Levering 1 à 2 weken -
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
- Hardcover | Engels
- In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh... Lees meer
€ 167,95Levering 1 à 4 weken€ 167,95Levering 1 à 4 weken -
Automatisierte Analyse Von Virtuellen Prototypen Auf Der Ebene Elektronischer Systeme
Mehran Goli, Rolf Drechsler
- Hardcover | Duits
- Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Si... Lees meer
€ 108,45Levertermijn 1 à 4 weken€ 108,45Levertermijn 1 à 4 weken -
Advanced BDD Optimization
Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
- Paperback | Engels
- Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binar... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Formal Specification Level
Mathias Soeken, Rolf Drechsler
- Paperback | Engels
- This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at ... Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Günther
- Paperback | Engels
- The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp... Lees meer
€ 141,45Levering 1 à 2 weken€ 141,45Levering 1 à 2 weken -
Reversible and Quantum Circuits
Nabila Abdessaied, Rolf Drechsler
- Paperback | Engels
- This bookpresents a new optimization flow for quantum circuits realization. At thereversible level, optimization algorithms are presented to reduce th... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes
Pascal Pieper, Rolf Drechsler
- Hardcover | Engels
- This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using... Lees meer
€ 126,95Levertermijn 1 à 4 weken€ 126,95Levertermijn 1 à 4 weken