Erweiterte virtuelle Prototypen für heterogene Systeme Autor Muhammad Hassan et al. 15 mai 2024 Hardback Preț: 388.17 lei 421.93 lei Nepublicat încă -8% Nou
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never Autor Pascal Pieper et al. 22 apr 2024 Hardback Preț: 583.36 lei 641.06 lei Nepublicat încă -9% Nou
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 Hardback Preț: 541.11 lei 636.59 lei 18-23 zile | 6-12 zile -15%
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen Autor Mehran Goli et al. 20 sep 2023 Hardback Preț: 538.98 lei 634.08 lei 18-23 zile | 6-12 zile -15%
In-Memory-Computing: Synthese und Optimierung Autor Saeideh Shirinzadeh et al. 8 iun 2023 Hardback Preț: 498.58 lei 573.08 lei 18-23 zile | 6-12 zile -13%
Formal Verification of Structurally Complex Multipliers Autor Alireza Mahzoon et al. 16 feb 2024 Paperback Preț: 465.22 lei 581.53 lei 39-44 zile -20%
Enhanced Virtual Prototyping for Heterogeneous Systems Autor Muhammad Hassan et al. 3 sep 2023 Paperback Preț: 364.99 lei 450.61 lei 39-44 zile -19%
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems Editat de Rolf Drechsler et al. 30 mai 2023 Hardback Preț: 548.12 lei 721.21 lei 39-44 zile -24%
Design Automation for Field-coupled Nanotechnologies Autor Marcel Walter et al. 12 ian 2023 Paperback Preț: 519.21 lei 649.02 lei 39-44 zile -20%
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien Autor Vladimir Herdt et al. 2 ian 2023 Hardback Preț: 440.44 lei 494.89 lei 39-44 zile -11%
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ț: 518.92 lei 648.65 lei 39-44 zile -20%
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques Autor Sebastian Huhn et al. 20 apr 2022 Paperback Preț: 369.54 lei 461.92 lei 39-44 zile -20%
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies Autor Vladimir Herdt et al. 16 oct 2021 Paperback Preț: 443.87 lei 547.98 lei 39-44 zile -19%
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications Autor Mehran Goli et al. 5 mai 2021 Paperback Preț: 417.88 lei 522.34 lei 39-44 zile -20%
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems Editat de Rolf Drechsler et al. 14 aug 2020 Paperback Preț: 524.20 lei 655.25 lei 39-44 zile -20%
In-Memory Computing: Synthesis and Optimization Autor Saeideh Shirinzadeh et al. 18 iul 2020 Paperback Preț: 512.63 lei 640.79 lei 39-44 zile -20%
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Autor Nils Przigoda et al. 31 ian 2018 Hardback Preț: 745.02 lei 980.29 lei 39-44 zile -24%
Exact Design of Digital Microfluidic Biochips Autor Oliver Keszocze et al. 21 iun 2018 Hardback Preț: 523.68 lei 654.60 lei 39-44 zile -20%
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test Autor Arun Chandrasekharan et al. 18 oct 2018 Hardback Preț: 344.39 lei 39-44 zile
Advanced Logic Synthesis Editat de André Inácio Reis et al. 23 noi 2017 Hardback Preț: 531.58 lei 664.48 lei 39-44 zile -20%
Formal System Verification: State-of the-Art and Future Trends Editat de Rolf Drechsler 3 iul 2017 Hardback Preț: 806.35 lei 1060.98 lei 39-44 zile -24%
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 Hardback Preț: 349.69 lei 39-44 zile
Reversible and Quantum Circuits: Optimization and Complexity Analysis Autor Nabila Abdessaied et al. 14 iun 2016 Hardback Preț: 350.35 lei 39-44 zile
Formal Specification Level: Concepts, Methods, and Algorithms Autor Mathias Soeken et al. 28 noi 2014 Hardback Preț: 523.97 lei 654.97 lei 39-44 zile -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 Paperback Preț: 327.61 lei 39-44 zile
High Quality Test Pattern Generation and Boolean Satisfiability Autor Stephan Eggersglüß et al. 20 oct 2014 Paperback Preț: 500.38 lei 649.83 lei 39-44 zile -23%
Quality-Driven SystemC Design Autor Daniel Große et al. 16 oct 2014 Paperback Preț: 517.63 lei 647.04 lei 39-44 zile -20%
Towards a Design Flow for Reversible Logic Autor Robert Wille et al. 18 oct 2014 Paperback Preț: 518.16 lei 647.70 lei 39-44 zile -20%
Debugging at the Electronic System Level Autor Frank Rogin et al. 28 oct 2014 Paperback Preț: 519.73 lei 649.66 lei 39-44 zile -20%
Evolutionary Algorithms for Embedded System Design Genetic Algorithms and Evolutionary Computation, nr. 10 Editat de Rolf Drechsler et al. 23 oct 2012 Paperback Preț: 518.92 lei 648.65 lei 39-44 zile -20%
Evolutionary Algorithms for VLSI CAD Autor Rolf Drechsler 31 mai 1998 Hardback Preț: 528.16 lei 660.20 lei 39-44 zile -20%
Binary Decision Diagrams: Theory and Implementation Autor Rolf Drechsler et al. 30 iun 1998 Hardback Preț: 740.00 lei 973.68 lei 39-44 zile -24%
Advanced BDD Optimization Autor Rudiger Ebendt et al. 29 oct 2010 Paperback Preț: 737.79 lei 970.78 lei 39-44 zile -24%
Robustness and Usability in Modern Design Flows Autor Görschwin Fey et al. 19 oct 2010 Paperback Preț: 517.13 lei 646.40 lei 39-44 zile -20%
Test Pattern Generation using Boolean Proof Engines Autor Rolf Drechsler et al. 19 oct 2010 Paperback Preț: 518.68 lei 648.35 lei 39-44 zile -20%