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%

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ț: 581^.43 lei 726^.79 lei

17-23 zile | 4-10 zile

-20%

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%

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ț: 76^.42 lei 95^.53 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ț: 341^.91 lei 427^.39 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ț: 747^.82 lei 934^.77 lei

6-8 săpt.

-20%

Formal Verification of Structurally Complex Multipliers

Autor Alireza Mahzoon et al.

16 feb 2024

Preț: 566^.86 lei 666^.90 lei

6-8 săpt.

-15%

Enhanced Virtual Prototyping for Heterogeneous Systems

Autor Muhammad Hassan et al.

3 sep 2023

Preț: 513^.47 lei 604^.09 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ț: 686^.72 lei 807^.90 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ț: 685^.59 lei 806^.57 lei

6-8 săpt.

-15%

Design Automation for Field-coupled Nanotechnologies

Autor Marcel Walter et al.

12 ian 2023

Preț: 625^.60 lei 736^.00 lei

6-8 săpt.

-15%

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

Autor Vladimir Herdt et al.

2 ian 2023

Preț: 524^.43 lei 616^.98 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ț: 630^.36 lei 787^.95 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ț: 685^.36 lei 856^.70 lei

6-8 săpt.

-20%

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Autor Vladimir Herdt et al.

16 oct 2021

Preț: 573^.00 lei 674^.11 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ț: 513^.47 lei 604^.09 lei

6-8 săpt.

-15%

Information Storage: A Multidisciplinary Perspective

Editat de Cornelia S. Große et al.

27 noi 2020

Preț: 632^.66 lei 790^.82 lei

6-8 săpt.

-20%

Natural Language Processing for Electronic Design Automation

Editat de Mathias Soeken et al.

sep 2020

Preț: 378^.80 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ț: 628^.65 lei 739^.58 lei

6-8 săpt.

-15%

In-Memory Computing: Synthesis and Optimization

Autor Saeideh Shirinzadeh et al.

18 iul 2020

Preț: 621^.58 lei 731^.27 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ț: 934^.31 lei 1139^.41 lei

6-8 săpt.

-18%

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

21 iun 2018

Preț: 628^.32 lei 739^.20 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ț: 380^.52 lei

6-8 săpt.

Editat de André Inácio Reis et al.

23 noi 2017

Preț: 633^.14 lei 744^.87 lei

6-8 săpt.

-15%

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

Editat de Rolf Drechsler

3 iul 2017

Preț: 715^.85 lei 872^.98 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ț: 383^.57 lei

6-8 săpt.

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

Preț: 383^.93 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ț: 628^.49 lei 739^.40 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ț: 370^.87 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ț: 330^.57 lei 413^.22 lei

6-8 săpt.

-20%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

31 ian 2012

Preț: 631^.69 lei 743^.17 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

16 oct 2014

Preț: 624^.63 lei 734^.86 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ț: 625^.92 lei 736^.37 lei

6-8 săpt.

-15%

Autor Mitchell Aaron Thornton et al.

30 iul 2001

Preț: 975^.19 lei 1218^.99 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ț: 625^.41 lei 735^.78 lei

6-8 săpt.

-15%

Autor Rolf Drechsler

31 mai 1998

Preț: 631^.05 lei 742^.41 lei

6-8 săpt.

-15%

Binary Decision Diagrams: Theory and Implementation

Autor Rolf Drechsler et al.

30 iun 1998

Preț: 931^.20 lei 1135^.62 lei

6-8 săpt.

-18%

Autor Rolf Drechsler et al.

31 mai 2002

Preț: 635^.73 lei 794^.66 lei

6-8 săpt.

-20%

Editat de Rolf Drechsler

31 ian 2004

Preț: 637^.51 lei 750^.00 lei

6-8 săpt.

-15%

Autor Rolf Drechsler

2 dec 2010

Preț: 965^.33 lei 1206^.66 lei

6-8 săpt.

-20%

Autor Rudiger Ebendt et al.

23 aug 2005

Preț: 931^.99 lei 1136^.57 lei

6-8 săpt.

-18%

Robustness and Usability in Modern Design Flows

Autor Görschwin Fey et al.

8 ian 2008

Preț: 630^.41 lei 741^.66 lei

6-8 săpt.

-15%

Test Pattern Generation using Boolean Proof Engines

Autor Rolf Drechsler et al.

30 apr 2009

Preț: 631^.37 lei 742^.78 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ț: 656^.19 lei 820^.23 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ț: 658^.93 lei 823^.66 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ț: 661^.05 lei 826^.31 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ț: 651^.96 lei 814^.95 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ț: 340^.94 lei 426^.17 lei

6-8 săpt.

-20%

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

XLeitfäden der Informatik

Autor Rolf Drechsler et al.

1998

Preț: 345^.41 lei

6-8 săpt.

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler