Erweiterte virtuelle Prototypen für heterogene Systeme Autor Muhammad Hassan et al. 4 iun 2024 Hardback Preț: 504.59 lei 566.95 lei 17-23 zile | 7-13 zile -11%
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 Paperback Preț: 334.49 lei 418.11 lei 3-5 săpt. -20%
Evolutionary Algorithms for VLSI CAD Autor Rolf Drechsler 31 mai 1998 Hardback Preț: 617.08 lei 725.97 lei 6-8 săpt. -15%
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme Autor Mehran Goli et al. 20 sep 2023 Hardback Preț: 674.58 lei 793.63 lei 6-8 săpt. -15%
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Autor Pascal Pieper et al. 26 mar 2025 Paperback Preț: 677.81 lei 891.86 lei 38-44 zile -24%
Spectral Techniques in VLSI CAD Autor Mitchell Aaron Thornton et al. 30 iul 2001 Hardback Preț: 953.40 lei 1191.75 lei 6-8 săpt. -20%
Towards One-Pass Synthesis Autor Rolf Drechsler et al. 31 mai 2002 Hardback Preț: 621.64 lei 777.06 lei 6-8 săpt. -20%
Applications of Evolutionary Computing Editat de Günther R. Raidl et al. 25 mar 2004 Paperback Preț: 336.92 lei 421.15 lei 6-8 săpt. -20%
Robustness and Usability in Modern Design Flows Autor Görschwin Fey et al. 8 ian 2008 Hardback Preț: 614.00 lei 722.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 Paperback Preț: 641.62 lei 802.03 lei 6-8 săpt. -20%
Formal Verification of Circuits Autor Rolf Drechsler 2 dec 2010 Paperback Preț: 948.23 lei 1185.28 lei 6-8 săpt. -20%
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Autor Sebastian Huhn et al. 3 ian 2024 Hardback Preț: 629.58 lei 786.98 lei 38-44 zile -20%
In-Memory-Computing Autor Saeideh Shirinzadeh et al. 8 iun 2023 Hardback Preț: 666.93 lei 784.63 lei 6-8 săpt. -15%
Test Pattern Generation Using Boolean Proof Engines Autor Rolf Drechsler et al. 30 apr 2009 Hardback Preț: 617.39 lei 726.35 lei 6-8 săpt. -15%
Advanced BDD Optimization Autor Rudiger Ebendt et al. 23 aug 2005 Hardback Preț: 914.16 lei 1114.83 lei 6-8 săpt. -18%
Binary Decision Diagrams: Theory and Implementation Autor Rolf Drechsler et al. 30 iun 1998 Hardback Preț: 910.42 lei 1110.27 lei 6-8 săpt. -18%
Quality-Driven SystemC Design Autor Daniel Große et al. 16 oct 2014 Paperback Preț: 610.82 lei 718.61 lei 6-8 săpt. -15%
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 Paperback Preț: 646.38 lei 807.97 lei 6-8 săpt. -20%
Advanced Boolean Techniques Editat de Rolf Drechsler et al. 31 mai 2024 Paperback Preț: 622.67 lei 819.30 lei 38-44 zile -24%
Advanced Formal Verification Editat de Rolf Drechsler 31 ian 2004 Hardback Preț: 624.00 lei 734.11 lei 6-8 săpt. -15%
High Quality Test Pattern Generation and Boolean Satisfiability Autor Stephan Eggersglüß et al. 31 ian 2012 Hardback Preț: 620.52 lei 730.02 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 Paperback Preț: 611.57 lei 719.49 lei 6-8 săpt. -15%
Applications of Evolutionary Computing Editat de Franz Rothlauf et al. 23 mar 2005 Paperback Preț: 642.10 lei 802.63 lei 6-8 săpt. -20%
Applications of Evolutionary Computing Editat de Mario Giacobini et al. 2 apr 2007 Paperback Preț: 648.66 lei 810.82 lei 6-8 săpt. -20%
Formal Specification Level Autor Mathias Soeken et al. 28 noi 2014 Hardback Preț: 617.28 lei 726.22 lei 6-8 săpt. -15%
Towards a Design Flow for Reversible Logic Autor Robert Wille et al. 18 oct 2014 Paperback Preț: 541.30 lei 751.53 lei Indisponibil temporar -28%
Debugging at the Electronic System Level Autor Frank Rogin et al. 28 oct 2014 Paperback Preț: 612.05 lei 720.07 lei 6-8 săpt. -15%
In-Memory Computing Autor Saeideh Shirinzadeh et al. 18 iul 2020 Paperback Preț: 610.74 lei 718.53 lei 6-8 săpt. -15%
Information Storage Editat de Cornelia S. Große et al. 27 noi 2020 Paperback Preț: 622.12 lei 777.65 lei 6-8 săpt. -20%
Advanced Boolean Techniques Editat de Rolf Drechsler et al. 14 aug 2020 Paperback Preț: 618.26 lei 727.36 lei 6-8 săpt. -15%
Automated Analysis of Virtual Prototypes at the Electronic System Level Autor Mehran Goli et al. 5 mai 2021 Paperback Preț: 493.55 lei 580.65 lei 3-5 săpt. | 7-13 zile -15%
Natural Language Processing for Electronic Design Automation Editat de Mathias Soeken et al. sep 2020 Hardback Preț: 370.62 lei 6-8 săpt.
Enhanced Virtual Prototyping Autor Vladimir Herdt et al. 16 oct 2021 Paperback Preț: 563.60 lei 663.06 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 Paperback Preț: 616.39 lei 770.50 lei 6-8 săpt. -20%
Design for Testability, Debug and Reliability Autor Sebastian Huhn et al. 20 apr 2022 Paperback Preț: 673.56 lei 841.95 lei 6-8 săpt. -20%
Design Automation for Field-coupled Nanotechnologies Autor Marcel Walter et al. 12 ian 2023 Paperback Preț: 615.02 lei 723.55 lei 6-8 săpt. -15%
Enhanced Virtual Prototyping for Heterogeneous Systems Autor Muhammad Hassan et al. 3 sep 2023 Paperback Preț: 504.93 lei 594.03 lei 6-8 săpt. -15%
Verbessertes virtuelles Prototyping Autor Vladimir Herdt et al. 2 ian 2023 Hardback Preț: 515.53 lei 606.50 lei 6-8 săpt. -15%
Formal Verification of Structurally Complex Multipliers Autor Alireza Mahzoon et al. 16 feb 2024 Paperback Preț: 554.37 lei 652.19 lei 6-8 săpt. -15%
Languages, Design Methods, and Tools for Electronic System Design Lecture Notes in Electrical Engineering, nr. 385 Editat de Rolf Drechsler et al. 31 mai 2016 Hardback Preț: 373.73 lei 6-8 săpt.
Reversible and Quantum Circuits: Optimization and Complexity Analysis Autor Nabila Abdessaied et al. 14 iun 2016 Hardback Preț: 375.65 lei 6-8 săpt.
Automatic Methods for the Refinement of System Models SpringerBriefs in Electrical and Computer Engineering Autor Julia Seiter et al. 11 iul 2016 Paperback Preț: 364.81 lei 6-8 săpt.
Formal System Verification Editat de Rolf Drechsler 3 iul 2017 Hardback Preț: 703.09 lei 857.42 lei 6-8 săpt. -18%
Advanced Logic Synthesis Editat de André Inácio Reis et al. 23 noi 2017 Hardback Preț: 622.16 lei 731.95 lei 6-8 săpt. -15%
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Autor Nils Przigoda et al. 31 ian 2018 Hardback Preț: 913.45 lei 1113.96 lei 6-8 săpt. -18%
Exact Design of Digital Microfluidic Biochips Autor Oliver Keszocze et al. 21 iun 2018 Hardback Preț: 617.07 lei 725.96 lei 6-8 săpt. -15%
Design Automation Techniques for Approximation Circuits Autor Arun Chandrasekharan et al. 18 oct 2018 Hardback Preț: 374.18 lei 6-8 săpt.
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen XLeitfäden der Informatik Autor Rolf Drechsler et al. 1998 Paperback Preț: 338.00 lei 6-8 săpt.
Formal Modeling and Verification of Cyber-Physical Systems Editat de Rolf Drechsler et al. 25 iun 2015 Paperback Preț: 325.71 lei 407.14 lei 6-8 săpt. -20%
Noch analog oder lebst Du schon? Autor Rolf Drechsler et al. 21 feb 2021 Paperback Preț: 75.10 lei 93.88 lei 3-5 săpt. | 7-13 zile -20%