Filtre: Engleză Paperback

Cărți de Rolf Drechsler

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^.41 lei 404^.26 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^.54 lei 416^.93 lei

6-8 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^.49 lei 418^.11 lei

3-5 săpt.

-20%

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ț: 362^.88 lei

6-8 săpt.

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.

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.

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

14 iun 2016

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

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

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

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%

Editat de André Inácio Reis et al.

23 noi 2017

Preț: 619^.12 lei 728^.38 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%

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%

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%

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 Daniel Große et al.

16 oct 2014

Preț: 610^.82 lei 718^.61 lei

6-8 săpt.

-15%

Autor Rolf Drechsler

31 mai 1998

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

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%

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%

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%

Editat de Rolf Drechsler

31 ian 2004

Preț: 623^.39 lei 733^.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ț: 614^.73 lei 723^.21 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%

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%

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

Autor Rolf Drechsler et al.

31 mai 2002

Preț: 621^.64 lei 777^.06 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ț: 637^.51 lei 796^.88 lei

6-8 săpt.

-20%

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ț: 641^.62 lei 802^.03 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^.31 lei 805^.39 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^.38 lei 807^.97 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%

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%

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%

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

23 aug 2005

Preț: 911^.19 lei 1111^.20 lei

6-8 săpt.

-18%

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%

Autor Rolf Drechsler

2 dec 2010

Preț: 943^.76 lei 1179^.70 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%

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler