Envío a todo Costa Rica por solo ₡1490 

Enviar a
Costa Rica
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de Rolf Drechsler

Encontramos 62 Libros para rolf drechsler

advanced formal verification (en Inglés)

advanced formal verification (en Inglés)

drechsler, rolf
springer, 2004, Nuevo

₡ 49.924
Formal System Verification: State-Of The-Art and Future Trends (en Inglés)

Formal System Verification: State-Of The-Art and Future Trends (en Inglés)

Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 58.722
evolutionary algorithms for vlsi cad (en Inglés)

evolutionary algorithms for vlsi cad (en Inglés)

drechsler, rolf
springer, 2010, Nuevo

₡ 49.924
formal verification of circuits (en Inglés)

formal verification of circuits (en Inglés)

Drechsler, Rolf
Springer, 2010, Tapa Blanda, Nuevo

₡ 76.319
test pattern generation using boolean proof engines (en Inglés)

test pattern generation using boolean proof engines (en Inglés)

drechsler, rolf
springer, 2010, Nuevo

₡ 49.924
advanced formal verification (en Inglés)

advanced formal verification (en Inglés)

Drechsler, Rolf
Springer, 2010, Tapa Blanda, Nuevo

₡ 49.924
binary decision diagrams: theory and implementation (en Inglés)

binary decision diagrams: theory and implementation (en Inglés)

drechsler, rolf
springer, 2010, Nuevo

₡ 76.319
evolutionary algorithms for embedded system design (en Inglés)

evolutionary algorithms for embedded system design (en Inglés)

drechsler, rolf
springer, 2002, Nuevo

₡ 49.924
Noch Analog Oder Lebst du Schon? Mit N┼Ôrdman Durch die Welt von Heute. Und Morgen (en Alemán)

Noch Analog Oder Lebst du Schon? Mit N┼Ôrdman Durch die Welt von Heute. Und Morgen (en Alemán)

Rolf Drechsler; Jannis Stoppe
Springer, 2021, 1 edición, Tapa Blanda, Nuevo

₡ 7.743
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)

Rolf Drechsler
Vieweg+Teubner Verlag, Tapa Blanda, Nuevo

₡ 23.529
Evolutionary Algorithms for Embedded System Design (en Inglés)

Evolutionary Algorithms for Embedded System Design (en Inglés)

Drechsler, Rolf ; Drechsler, Nicole
Springer, Tapa Blanda, Nuevo

₡ 49.924
test pattern generation using boolean proof engines

test pattern generation using boolean proof engines

rolf drechsler
springer verlag, Nuevo

₡ 49.924
Reversible and Quantum Circuits: Optimization and Complexity Analysis (en Inglés)

Reversible and Quantum Circuits: Optimization and Complexity Analysis (en Inglés)

Abdessaied, Nabila ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 25.728
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 (en Inglés)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 (en Inglés)

Drechsler, Rolf ; Wille, Robert
Springer, Tapa Blanda, Nuevo

₡ 25.728
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 (en Inglés)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015 (en Inglés)

Drechsler, Rolf ; Wille, Robert
Springer, Tapa Dura, Nuevo

₡ 25.728
Formal Specification Level: Concepts, Methods, and Algorithms (en Inglés)

Formal Specification Level: Concepts, Methods, and Algorithms (en Inglés)

Mathias Soeken; Rolf Drechsler
Springer, 2014, Tapa Dura, Nuevo

₡ 49.924
Reversible and Quantum Circuits: Optimization and Complexity Analysis (en Inglés)

Reversible and Quantum Circuits: Optimization and Complexity Analysis (en Inglés)

Abdessaied, Nabila ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 25.728
Natural Language Processing for Electronic Design Automation (en Inglés)

Natural Language Processing for Electronic Design Automation (en Inglés)

Soeken, Mathias ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 25.728
Towards One-Pass Synthesis (en Inglés)

Towards One-Pass Synthesis (en Inglés)

Drechsler, Rolf ; Günther, Wolfgang
Springer, 2010, Tapa Blanda, Nuevo

₡ 49.924
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems (en Inglés)

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems (en Inglés)

Drechsler, Rolf ; Große, Daniel
Springer, Tapa Blanda, Nuevo

₡ 49.924
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems (en Inglés)

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems (en Inglés)

Drechsler, Rolf ; Große, Daniel
Springer, Tapa Dura, Nuevo

₡ 49.924
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications (en Inglés)

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications (en Inglés)

Goli, Mehran ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 41.125
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never (en Inglés)

Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never (en Inglés)

Pieper, Pascal ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 58.722
Debugging at the Electronic System Level (en Inglés)

Debugging at the Electronic System Level (en Inglés)

Rogin, Frank ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
organizacion y metodos (en Inglés)

organizacion y metodos (en Inglés)

Drechsler, Rolf ; Soeken, Mathias
Springer, Tapa Blanda, Nuevo

₡ 49.924
In-Memory Computing: Synthesis and Optimization (en Inglés)

In-Memory Computing: Synthesis and Optimization (en Inglés)

Shirinzadeh, Saeideh ; Drechsler, Rolf
Springer, 2020, 1 edición, Tapa Blanda, Nuevo

₡ 49.924
robustness and usability in modern design flows (en Inglés)

robustness and usability in modern design flows (en Inglés)

Fey, Görschwin ; Drechsler, Rolf
Springer, 2010, Tapa Blanda, Nuevo

₡ 49.924
In-Memory Computing: Synthesis and Optimization (en Inglés)

In-Memory Computing: Synthesis and Optimization (en Inglés)

Saeideh Shirinzadeh; Rolf Drechsler
Springer, 2019, 1 edición, Tapa Dura, Nuevo

₡ 49.924
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications (en Inglés)

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications (en Inglés)

Goli, Mehran ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 41.125
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems (en Inglés)

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems (en Inglés)

Drechsler, Rolf ; Huhn, Sebastian
Springer, Tapa Dura, Nuevo

₡ 54.323
Quality-Driven Systemc Design (en Inglés)

Quality-Driven Systemc Design (en Inglés)

Große, Daniel ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques (en Inglés)

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques (en Inglés)

Sebastian Huhn; Rolf Drechsler
Springer, 2021, 1 edición, Tapa Dura, Nuevo

₡ 54.323
Towards a Design Flow for Reversible Logic (en Inglés)

Towards a Design Flow for Reversible Logic (en Inglés)

Wille, Robert ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
Computer: Wie Funktionieren Smartphone, Tablet & Co. (en Alemán)

Computer: Wie Funktionieren Smartphone, Tablet & Co. (en Alemán)

Rolf Drechsler; Andrea Fink; Jannis Stoppe
Springer, 1 edición, Tapa Blanda, Nuevo

₡ 8.432
Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (en Alemán)

Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken (en Alemán)

Huhn, Sebastian ; Drechsler, Rolf
Springer Vieweg, Tapa Dura, Nuevo

₡ 54.323
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes. Better Early than Never

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes. Better Early than Never

Pascal Pieper;Rolf Drechsler
Springer International Publishing AG, 2025, Tapa Blanda, Nuevo

₡ 58.722
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler;Sebastian Huhn
Springer International Publishing AG, 2024, Tapa Blanda, Nuevo

₡ 54.323
Automatisierte Analyse von Virtuellen Prototypen auf der Ebene Elektronischer Systeme: Design, Verstã¤Ndnis und Anwendungen (German Edition) [Hardcover ] (en Alemán)

Automatisierte Analyse von Virtuellen Prototypen auf der Ebene Elektronischer Systeme: Design, Verstã¤Ndnis und Anwendungen (German Edition) [Hardcover ] (en Alemán)

Goli Mehran" "Drechsler Rolf"
Springer Vieweg, Tapa Dura, Nuevo

₡ 54.323
Advanced Logic Synthesis (en Inglés)

Advanced Logic Synthesis (en Inglés)

Reis, André Inácio ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
high quality test pattern generation

high quality test pattern generation

stephan eggersgluess,rolf drechsler
springer verlag, Nuevo

₡ 49.924
In-Memory Computing: Synthese und Optimierung -Language: German (en Alemán)

In-Memory Computing: Synthese und Optimierung -Language: German (en Alemán)

Shirinzadeh, Saeideh; Drechsler, Rolf
Springer Vieweg, Tapa Dura, Nuevo

₡ 54.323
Information Storage: A Multidisciplinary Perspective (en Inglés)

Information Storage: A Multidisciplinary Perspective (en Inglés)

Große, Cornelia S. ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 49.924
Information Storage: A Multidisciplinary Perspective (en Inglés)

Information Storage: A Multidisciplinary Perspective (en Inglés)

Große, Cornelia S. ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (en Inglés)

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (en Inglés)

Seiter, Julia ; Wille, Robert ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 25.728
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test (en Inglés)

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test (en Inglés)

Chandrasekharan, Arun ; Große, Daniel ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 25.728
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test (en Inglés)

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test (en Inglés)

Chandrasekharan, Arun ; Große, Daniel ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 25.728
Exact Design of Digital Microfluidic Biochips (en Inglés)

Exact Design of Digital Microfluidic Biochips (en Inglés)

Keszocze, Oliver ; Wille, Robert ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 49.924
Formal Verification of Structurally Complex Multipliers (en Inglés)

Formal Verification of Structurally Complex Multipliers (en Inglés)

Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf
Springer, Tapa Blanda, Nuevo

₡ 45.525
Enhanced Virtual Prototyping for Heterogeneous Systems (en Inglés)

Enhanced Virtual Prototyping for Heterogeneous Systems (en Inglés)

Hassan, Muhammad ; Große, Daniel ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 54.323
Formal Verification of Structurally Complex Multipliers (en Inglés)

Formal Verification of Structurally Complex Multipliers (en Inglés)

Mahzoon, Alireza ; Große, Daniel ; Drechsler, Rolf
Springer, Tapa Dura, Nuevo

₡ 45.525
12