Filtre: Hardback Tipărit la comandă

Cărți de Rolf Drechsler

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Autor Pascal Pieper et al.

26 mar 2025

Preț: 678^.34 lei 892^.56 lei

38-44 zile

-24%

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen

Autor Mehran Goli et al.

20 sep 2023

Preț: 671^.48 lei 789^.98 lei

6-8 săpt.

-15%

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

Editat de Rolf Drechsler et al.

31 mai 2024

Preț: 620^.41 lei 816^.33 lei

38-44 zile

-24%

Formal Verification of Structurally Complex Multipliers

Autor Alireza Mahzoon et al.

16 feb 2024

Preț: 554^.37 lei 652^.19 lei

6-8 săpt.

-15%

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Autor Vladimir Herdt et al.

2 ian 2023

Preț: 512^.88 lei 603^.38 lei

6-8 săpt.

-15%

Enhanced Virtual Prototyping for Heterogeneous Systems

Autor Muhammad Hassan et al.

3 sep 2023

Preț: 502^.16 lei 590^.79 lei

6-8 săpt.

-15%

Design Automation for Field-coupled Nanotechnologies

Autor Marcel Walter et al.

12 ian 2023

Preț: 611^.74 lei 719^.70 lei

6-8 săpt.

-15%

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

Editat de Rolf Drechsler et al.

30 apr 2022

Preț: 616^.39 lei 770^.50 lei

6-8 săpt.

-20%

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Autor Sebastian Huhn et al.

20 apr 2022

Preț: 670^.14 lei 837^.67 lei

6-8 săpt.

-20%

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Autor Vladimir Herdt et al.

16 oct 2021

Preț: 560^.36 lei 659^.25 lei

6-8 săpt.

-15%

Natural Language Processing for Electronic Design Automation

Editat de Mathias Soeken et al.

sep 2020

Preț: 370^.62 lei

6-8 săpt.

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

Autor Mehran Goli et al.

5 mai 2021

Preț: 493^.04 lei 580^.04 lei

3-5 săpt. | 4-10 zile

-15%

Information Storage: A Multidisciplinary Perspective

Editat de Cornelia S. Große et al.

27 noi 2020

Preț: 618^.64 lei 773^.29 lei

6-8 săpt.

-20%

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Editat de Rolf Drechsler et al.

14 aug 2020

Preț: 614^.73 lei 723^.21 lei

6-8 săpt.

-15%

In-Memory Computing: Synthesis and Optimization

Autor Saeideh Shirinzadeh et al.

18 iul 2020

Preț: 607^.84 lei 715^.10 lei

6-8 săpt.

-15%

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Autor Arun Chandrasekharan et al.

12 ian 2019

Preț: 365^.45 lei

6-8 săpt.

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

5 ian 2019

Preț: 608^.59 lei 715^.99 lei

6-8 săpt.

-15%

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Autor Nils Przigoda et al.

6 iun 2019

Preț: 906^.64 lei 1105^.65 lei

6-8 săpt.

-18%

Editat de André Inácio Reis et al.

sep 2018

Preț: 601^.15 lei 751^.44 lei

38-44 zile

-20%

Formal System Verification: State-of the-Art and Future Trends

Editat de Rolf Drechsler

10 aug 2018

Preț: 694^.19 lei 846^.57 lei

6-8 săpt.

-18%

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

30 mai 2018

Preț: 368^.59 lei

6-8 săpt.

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Lecture Notes in Electrical Engineering, nr. 385

Editat de Rolf Drechsler et al.

30 mai 2018

Preț: 368^.23 lei

6-8 săpt.

Formal Specification Level: Concepts, Methods, and Algorithms

Autor Mathias Soeken et al.

23 aug 2016

Preț: 608^.78 lei 716^.21 lei

6-8 săpt.

-15%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

20 oct 2014

Preț: 694^.79 lei 847^.31 lei

6-8 săpt.

-18%

Towards a Design Flow for Reversible Logic

Autor Robert Wille et al.

18 aug 2010

Preț: 616^.88 lei 725^.74 lei

6-8 săpt.

-15%

Debugging at the Electronic System Level

Autor Frank Rogin et al.

5 iul 2010

Preț: 618^.03 lei 727^.08 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

23 dec 2009

Preț: 616^.77 lei 725^.62 lei

6-8 săpt.

-15%

Test Pattern Generation using Boolean Proof Engines

Autor Rolf Drechsler et al.

30 apr 2009

Preț: 617^.39 lei 726^.35 lei

6-8 săpt.

-15%

Robustness and Usability in Modern Design Flows

Autor Görschwin Fey et al.

8 ian 2008

Preț: 616^.45 lei 725^.24 lei

6-8 săpt.

-15%

Autor Rudiger Ebendt et al.

23 aug 2005

Preț: 911^.19 lei 1111^.20 lei

6-8 săpt.

-18%

Editat de Rolf Drechsler

7 dec 2010

Preț: 614^.73 lei 723^.21 lei

6-8 săpt.

-15%

Evolutionary Algorithms for Embedded System Design

Genetic Algorithms and Evolutionary Computation, nr. 10

Editat de Rolf Drechsler et al.

23 oct 2012

Preț: 611^.57 lei 719^.49 lei

6-8 săpt.

-15%

Autor Rolf Drechsler et al.

7 dec 2010

Preț: 635^.65 lei 794^.56 lei

38-44 zile

-20%

Autor Mitchell Aaron Thornton et al.

23 oct 2012

Preț: 947^.39 lei 1184^.23 lei

6-8 săpt.

-20%

Autor Rolf Drechsler

2 dec 2010

Preț: 943^.76 lei 1179^.70 lei

6-8 săpt.

-20%

Binary Decision Diagrams: Theory and Implementation

Autor Rolf Drechsler et al.

3 dec 2010

Preț: 904^.06 lei 1102^.51 lei

6-8 săpt.

-18%

Autor Rolf Drechsler

3 dec 2010

Preț: 610^.96 lei 718^.77 lei

6-8 săpt.

-15%

Cărți de Rolf Drechsler

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen

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

Formal Verification of Structurally Complex Multipliers

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Enhanced Virtual Prototyping for Heterogeneous Systems

Design Automation for Field-coupled Nanotechnologies

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Natural Language Processing for Electronic Design Automation

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

Information Storage: A Multidisciplinary Perspective

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

In-Memory Computing: Synthesis and Optimization

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Exact Design of Digital Microfluidic Biochips

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Advanced Logic Synthesis

Formal System Verification: State-of the-Art and Future Trends

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Formal Specification Level: Concepts, Methods, and Algorithms

High Quality Test Pattern Generation and Boolean Satisfiability

Towards a Design Flow for Reversible Logic

Debugging at the Electronic System Level

Quality-Driven SystemC Design

Test Pattern Generation using Boolean Proof Engines

Robustness and Usability in Modern Design Flows

Advanced BDD Optimization

Advanced Formal Verification

Evolutionary Algorithms for Embedded System Design

Towards One-Pass Synthesis

Spectral Techniques in VLSI CAD

Formal Verification of Circuits

Binary Decision Diagrams: Theory and Implementation

Evolutionary Algorithms for VLSI CAD

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler