Filtre: Paperback Tipărit la comandă

Cărți de Rolf Drechsler

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%

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%

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 for Heterogeneous Systems

Autor Muhammad Hassan et al.

3 sep 2023

Preț: 502^.16 lei 590^.79 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%

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%

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%

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%

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. | 4-10 zile

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

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%

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

Autor Arun Chandrasekharan et al.

12 ian 2019

Preț: 365^.45 lei

6-8 săpt.

Exact Design of Digital Microfluidic Biochips

Autor Oliver Keszocze et al.

5 ian 2019

Preț: 608^.59 lei 715^.99 lei

6-8 săpt.

-15%

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

Autor Nils Przigoda et al.

6 iun 2019

Preț: 906^.64 lei 1105^.65 lei

6-8 săpt.

-18%

Editat de André Inácio Reis et al.

sep 2018

Preț: 601^.15 lei 751^.44 lei

38-44 zile

-20%

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

Editat de Rolf Drechsler

10 aug 2018

Preț: 694^.19 lei 846^.57 lei

6-8 săpt.

-18%

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.

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Autor Nabila Abdessaied et al.

30 mai 2018

Preț: 368^.59 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.

30 mai 2018

Preț: 368^.23 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^.41 lei 404^.26 lei

6-8 săpt.

-20%

Formal Specification Level: Concepts, Methods, and Algorithms

Autor Mathias Soeken et al.

23 aug 2016

Preț: 608^.78 lei 716^.21 lei

6-8 săpt.

-15%

High Quality Test Pattern Generation and Boolean Satisfiability

Autor Stephan Eggersglüß et al.

20 oct 2014

Preț: 694^.79 lei 847^.31 lei

6-8 săpt.

-18%

Towards a Design Flow for Reversible Logic

Autor Robert Wille et al.

18 aug 2010

Preț: 616^.88 lei 725^.74 lei

6-8 săpt.

-15%

Debugging at the Electronic System Level

Autor Frank Rogin et al.

5 iul 2010

Preț: 618^.03 lei 727^.08 lei

6-8 săpt.

-15%

Autor Daniel Große et al.

23 dec 2009

Preț: 616^.77 lei 725^.62 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%

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%

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%

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%

Autor Rudiger Ebendt et al.

23 aug 2005

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

6-8 săpt.

-18%

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

Editat de Rolf Drechsler

7 dec 2010

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

Autor Rolf Drechsler et al.

7 dec 2010

Preț: 635^.65 lei 794^.56 lei

38-44 zile

-20%

Autor Mitchell Aaron Thornton et al.

23 oct 2012

Preț: 947^.39 lei 1184^.23 lei

6-8 săpt.

-20%

Autor Rolf Drechsler

2 dec 2010

Preț: 943^.76 lei 1179^.70 lei

6-8 săpt.

-20%

Binary Decision Diagrams: Theory and Implementation

Autor Rolf Drechsler et al.

3 dec 2010

Preț: 904^.06 lei 1102^.51 lei

6-8 săpt.

-18%

Autor Rolf Drechsler

3 dec 2010

Preț: 610^.96 lei 718^.77 lei

6-8 săpt.

-15%

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

XLeitfäden der Informatik

Autor Rolf Drechsler et al.

1998

Preț: 338^.00 lei

6-8 săpt.

Papetărie, jocuri, reviste

Cărți de Rolf Drechsler