Filtre: Tehnologie și inginerie

Cărți de Rolf Drechsler

Erweiterte virtuelle Prototypen für heterogene Systeme

Autor Muhammad Hassan et al.

4 iun 2024

Preț: 440^.86 lei 495^.35 lei

17-23 zile | 4-10 zile

-11%

In-Memory-Computing: Synthese und Optimierung

Autor Saeideh Shirinzadeh et al.

8 iun 2023

Preț: 570^.97 lei 671^.73 lei

17-23 zile | 4-10 zile

-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%

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

Autor Mehran Goli et al.

20 sep 2023

Preț: 698^.47 lei 821^.73 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.

30 mai 2023

Preț: 697^.32 lei 820^.38 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%

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Autor Vladimir Herdt et al.

2 ian 2023

Preț: 533^.39 lei 627^.51 lei

6-8 săpt.

-15%

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%

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%

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%

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%

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%

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.

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%

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.

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

Preț: 390^.46 lei

6-8 săpt.

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Technik im Fokus

Autor Rolf Drechsler et al.

3 mar 2017

Preț: 123^.13 lei

38-44 zile

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%

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

SpringerBriefs in Electrical and Computer Engineering

Autor Julia Seiter et al.

11 iul 2016

Preț: 377^.18 lei

6-8 săpt.

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%

Autor Daniel Große et al.

16 oct 2014

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

6-8 săpt.

-15%

Towards a Design Flow for Reversible Logic

Autor Robert Wille et al.

18 oct 2014

Preț: 552^.44 lei 690^.54 lei

38-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%

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

31 mai 1998

Preț: 641^.85 lei 755^.13 lei

6-8 săpt.

-15%

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 Rudiger Ebendt et al.

23 aug 2005

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

6-8 săpt.

-18%

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%

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%

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

XLeitfäden der Informatik

Autor Rolf Drechsler et al.

1998

Preț: 351^.27 lei

6-8 săpt.

Cărți de Rolf Drechsler

Erweiterte virtuelle Prototypen für heterogene Systeme

In-Memory-Computing: Synthese und Optimierung

Formal Verification of Structurally Complex Multipliers

Enhanced Virtual Prototyping for Heterogeneous Systems

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

Design Automation for Field-coupled Nanotechnologies

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

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

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

In-Memory Computing: Synthesis and Optimization

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

Exact Design of Digital Microfluidic Biochips

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

Advanced Logic Synthesis

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

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

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Formal Specification Level: Concepts, Methods, and Algorithms

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

High Quality Test Pattern Generation and Boolean Satisfiability

Quality-Driven SystemC Design

Towards a Design Flow for Reversible Logic

Debugging at the Electronic System Level

Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for VLSI CAD

Binary Decision Diagrams: Theory and Implementation

Advanced BDD Optimization

Robustness and Usability in Modern Design Flows

Test Pattern Generation using Boolean Proof Engines

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler