Filtre: Engleză Hardback

Cărți de Rolf Drechsler

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

Autor Pascal Pieper et al.

26 mar 2024

Preț: 760^.64 lei 950^.80 lei

6-8 săpt.

-20%

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

Editat de Rolf Drechsler et al.

30 mai 2023

Preț: 697^.32 lei 820^.38 lei

6-8 săpt.

-15%

Formal Verification of Structurally Complex Multipliers

Autor Alireza Mahzoon et al.

16 feb 2024

Preț: 576^.58 lei 678^.32 lei

6-8 săpt.

-15%

Enhanced Virtual Prototyping for Heterogeneous Systems

Autor Muhammad Hassan et al.

3 sep 2023

Preț: 522^.24 lei 614^.40 lei

6-8 săpt.

-15%

Design Automation for Field-coupled Nanotechnologies

Autor Marcel Walter et al.

12 ian 2023

Preț: 636^.30 lei 748^.59 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ț: 641^.16 lei 801^.45 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ț: 697^.10 lei 871^.37 lei

6-8 săpt.

-20%

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Autor Vladimir Herdt et al.

16 oct 2021

Preț: 582^.80 lei 685^.65 lei

6-8 săpt.

-15%

Natural Language Processing for Electronic Design Automation

Editat de Mathias Soeken et al.

sep 2020

Preț: 385^.25 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ț: 522^.24 lei 614^.40 lei

6-8 săpt.

-15%

Information Storage: A Multidisciplinary Perspective

Editat de Cornelia S. Große et al.

27 noi 2020

Preț: 643^.50 lei 804^.37 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ț: 639^.41 lei 752^.24 lei

6-8 săpt.

-15%

In-Memory Computing: Synthesis and Optimization

Autor Saeideh Shirinzadeh et al.

18 iul 2020

Preț: 632^.22 lei 743^.79 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ț: 386^.99 lei

6-8 săpt.

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

21 iun 2018

Preț: 639^.08 lei 751^.86 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ț: 950^.33 lei 1158^.95 lei

6-8 săpt.

-18%

Editat de André Inácio Reis et al.

23 noi 2017

Preț: 643^.99 lei 757^.63 lei

6-8 săpt.

-15%

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

Editat de Rolf Drechsler

3 iul 2017

Preț: 728^.11 lei 887^.94 lei

6-8 săpt.

-18%

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

Preț: 390^.46 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ț: 390^.08 lei

6-8 săpt.

Formal Specification Level: Concepts, Methods, and Algorithms

Autor Mathias Soeken et al.

28 noi 2014

Preț: 639^.25 lei 752^.06 lei

6-8 săpt.

-15%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

31 ian 2012

Preț: 642^.51 lei 755^.88 lei

6-8 săpt.

-15%

Towards a Design Flow for Reversible Logic

Autor Robert Wille et al.

18 oct 2014

Preț: 552^.45 lei 690^.55 lei

39-44 zile

-20%

Debugging at the Electronic System Level

Autor Frank Rogin et al.

28 oct 2014

Preț: 636^.63 lei 748^.97 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

16 oct 2014

Preț: 635^.31 lei 747^.43 lei

6-8 săpt.

-15%

Test Pattern Generation using Boolean Proof Engines

Autor Rolf Drechsler et al.

30 apr 2009

Preț: 642^.18 lei 755^.51 lei

6-8 săpt.

-15%

Robustness and Usability in Modern Design Flows

Autor Görschwin Fey et al.

8 ian 2008

Preț: 641^.20 lei 754^.36 lei

6-8 săpt.

-15%

Autor Rudiger Ebendt et al.

23 aug 2005

Preț: 947^.98 lei 1156^.07 lei

6-8 săpt.

-18%

Editat de Rolf Drechsler

31 ian 2004

Preț: 648^.42 lei 762^.85 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ț: 636^.12 lei 748^.38 lei

6-8 săpt.

-15%

Autor Rolf Drechsler et al.

31 mai 2002

Preț: 646^.62 lei 808^.28 lei

6-8 săpt.

-20%

Autor Mitchell Aaron Thornton et al.

30 iul 2001

Preț: 991^.94 lei 1239^.91 lei

6-8 săpt.

-20%

Autor Rolf Drechsler

2 dec 2010

Preț: 981^.89 lei 1227^.36 lei

6-8 săpt.

-20%

Binary Decision Diagrams: Theory and Implementation

Autor Rolf Drechsler et al.

30 iun 1998

Preț: 947^.18 lei 1155^.11 lei

6-8 săpt.

-18%

Autor Rolf Drechsler

31 mai 1998

Preț: 641^.85 lei 755^.13 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: Better Early than Never

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