Filtre: Engleză Hardback

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%

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%

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. | 7-13 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.

18 oct 2018

Preț: 372^.31 lei

6-8 săpt.

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

21 iun 2018

Preț: 614^.41 lei 722^.83 lei

6-8 săpt.

-15%

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

Autor Nils Przigoda et al.

31 ian 2018

Preț: 913^.45 lei 1113^.96 lei

6-8 săpt.

-18%

Editat de André Inácio Reis et al.

23 noi 2017

Preț: 619^.12 lei 728^.38 lei

6-8 săpt.

-15%

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

Editat de Rolf Drechsler

3 iul 2017

Preț: 699^.93 lei 853^.58 lei

6-8 săpt.

-18%

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

Preț: 375^.65 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.

31 mai 2016

Preț: 375^.27 lei

6-8 săpt.

Formal Specification Level: Concepts, Methods, and Algorithms

Autor Mathias Soeken et al.

28 noi 2014

Preț: 614^.60 lei 723^.05 lei

6-8 săpt.

-15%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

31 ian 2012

Preț: 617^.72 lei 726^.72 lei

6-8 săpt.

-15%

Towards a Design Flow for Reversible Logic

Autor Robert Wille et al.

18 oct 2014

Preț: 597^.86 lei 747^.32 lei

38-44 zile

-20%

Debugging at the Electronic System Level

Autor Frank Rogin et al.

28 oct 2014

Preț: 612^.05 lei 720^.07 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

16 oct 2014

Preț: 610^.82 lei 718^.61 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

31 ian 2004

Preț: 623^.39 lei 733^.40 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.

31 mai 2002

Preț: 621^.64 lei 777^.06 lei

6-8 săpt.

-20%

Autor Mitchell Aaron Thornton et al.

30 iul 2001

Preț: 953^.40 lei 1191^.75 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.

30 iun 1998

Preț: 910^.42 lei 1110^.27 lei

6-8 săpt.

-18%

Autor Rolf Drechsler

31 mai 1998

Preț: 617^.08 lei 725^.97 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

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

Formal Verification of Structurally Complex Multipliers

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