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

18-23 zile | 6-12 zile

-11%

In-Memory-Computing: Synthese und Optimierung

Autor Saeideh Shirinzadeh et al.

8 iun 2023

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

18-23 zile | 6-12 zile

-15%

Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen

Autor Rolf Drechsler et al.

21 feb 2021

Preț: 74^.79 lei 93^.49 lei

3-5 săpt.

-20%

Applications of Evolutionary Computation: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7248

Editat de Cecilia Di Chio et al.

2 apr 2012

Preț: 334^.65 lei 418^.31 lei

3-5 săpt.

-20%

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ț: 731^.84 lei 914^.80 lei

6-8 săpt.

-20%

Formal Verification of Structurally Complex Multipliers

Autor Alireza Mahzoon et al.

16 feb 2024

Preț: 554^.79 lei 652^.69 lei

6-8 săpt.

-15%

Enhanced Virtual Prototyping for Heterogeneous Systems

Autor Muhammad Hassan et al.

3 sep 2023

Preț: 502^.54 lei 591^.22 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ț: 672^.06 lei 790^.66 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ț: 670^.96 lei 789^.37 lei

6-8 săpt.

-15%

Design Automation for Field-coupled Nanotechnologies

Autor Marcel Walter et al.

12 ian 2023

Preț: 612^.24 lei 720^.29 lei

6-8 săpt.

-15%

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Autor Vladimir Herdt et al.

2 ian 2023

Preț: 513^.26 lei 603^.83 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^.92 lei 771^.14 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^.73 lei 838^.41 lei

6-8 săpt.

-20%

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Autor Vladimir Herdt et al.

16 oct 2021

Preț: 560^.81 lei 659^.77 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ț: 502^.54 lei 591^.22 lei

6-8 săpt.

-15%

Information Storage: A Multidisciplinary Perspective

Editat de Cornelia S. Große et al.

27 noi 2020

Preț: 619^.15 lei 773^.94 lei

6-8 săpt.

-20%

Natural Language Processing for Electronic Design Automation

Editat de Mathias Soeken et al.

sep 2020

Preț: 370^.78 lei

6-8 săpt.

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

Editat de Rolf Drechsler et al.

14 aug 2020

Preț: 615^.24 lei 723^.81 lei

6-8 săpt.

-15%

In-Memory Computing: Synthesis and Optimization

Autor Saeideh Shirinzadeh et al.

18 iul 2020

Preț: 608^.32 lei 715^.67 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ț: 914^.33 lei 1115^.04 lei

6-8 săpt.

-18%

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

21 iun 2018

Preț: 614^.92 lei 723^.44 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^.46 lei

6-8 săpt.

Editat de André Inácio Reis et al.

23 noi 2017

Preț: 619^.63 lei 728^.97 lei

6-8 săpt.

-15%

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

Editat de Rolf Drechsler

3 iul 2017

Preț: 700^.56 lei 854^.34 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ț: 375^.43 lei

6-8 săpt.

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

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

39-44 zile

Formal Specification Level: Concepts, Methods, and Algorithms

Autor Mathias Soeken et al.

28 noi 2014

Preț: 615^.09 lei 723^.64 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ț: 363^.02 lei

6-8 săpt.

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Editat de Rolf Drechsler et al.

25 iun 2015

Preț: 323^.56 lei 404^.45 lei

6-8 săpt.

-20%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

31 ian 2012

Preț: 618^.22 lei 727^.31 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

16 oct 2014

Preț: 611^.31 lei 719^.19 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

39-44 zile

-20%

Debugging at the Electronic System Level

Autor Frank Rogin et al.

28 oct 2014

Preț: 612^.56 lei 720^.66 lei

6-8 săpt.

-15%

Autor Mitchell Aaron Thornton et al.

30 iul 2001

Preț: 954^.32 lei 1192^.91 lei

6-8 săpt.

-20%

Evolutionary Algorithms for Embedded System Design

Genetic Algorithms and Evolutionary Computation, nr. 10

Editat de Rolf Drechsler et al.

23 oct 2012

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

6-8 săpt.

-15%

Autor Rolf Drechsler

31 mai 1998

Preț: 617^.59 lei 726^.58 lei

6-8 săpt.

-15%

Binary Decision Diagrams: Theory and Implementation

Autor Rolf Drechsler et al.

30 iun 1998

Preț: 911^.30 lei 1111^.34 lei

6-8 săpt.

-18%

Autor Rolf Drechsler et al.

31 mai 2002

Preț: 622^.17 lei 777^.71 lei

6-8 săpt.

-20%

Editat de Rolf Drechsler

31 ian 2004

Preț: 623^.90 lei 734^.00 lei

6-8 săpt.

-15%

Autor Rolf Drechsler

2 dec 2010

Preț: 944^.67 lei 1180^.84 lei

6-8 săpt.

-20%

Autor Rudiger Ebendt et al.

23 aug 2005

Preț: 912^.06 lei 1112^.27 lei

6-8 săpt.

-18%

Robustness and Usability in Modern Design Flows

Autor Görschwin Fey et al.

8 ian 2008

Preț: 616^.97 lei 725^.84 lei

6-8 săpt.

-15%

Test Pattern Generation using Boolean Proof Engines

Autor Rolf Drechsler et al.

30 apr 2009

Preț: 617^.90 lei 726^.95 lei

6-8 săpt.

-15%

Applications of Evolutionary Computing: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog

Lecture Notes in Computer Science, nr. 4974

Editat de Mario Giacobini et al.

14 mar 2008

Preț: 642^.18 lei 802^.73 lei

6-8 săpt.

-20%

Applications of Evolutionary Computing: EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4448

Editat de Mario Giacobini et al.

2 apr 2007

Preț: 644^.86 lei 806^.07 lei

6-8 săpt.

-20%

Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3907

Editat de Franz Rothlauf et al.

31 mar 2006

Preț: 646^.93 lei 808^.66 lei

6-8 săpt.

-20%

Applications of Evolutionary Computing: Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC

Lecture Notes in Computer Science, nr. 3449

Editat de Franz Rothlauf et al.

23 mar 2005

Preț: 638^.04 lei 797^.56 lei

6-8 săpt.

-20%

Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3005

Editat de Günther R. Raidl et al.

25 mar 2004

Preț: 333^.70 lei 417^.12 lei

6-8 săpt.

-20%

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

XLeitfäden der Informatik

Autor Rolf Drechsler et al.

1998

Preț: 338^.10 lei

6-8 săpt.

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

Autor Sebastian Huhn et al.

3 ian 2024

Preț: 489^.57 lei 611^.97 lei

Indisponibil temporar

-20%

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler