Kategorie główne

[3062267]

[2081849]

Kategorie szczegółowe BISAC

Drechsler, Rolf

Prof. Rolf Drechsler has authored and edited numerous books for Springer

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Spectral Techniques in VLSI CAD	Evolutionary Algorithms for VLSI CAD	Binary Decision Diagrams: Theory and Implementation
Towards One-Pass Synthesis	Evolutionary Algorithms for Embedded System Design	Advanced Formal Verification
Robustness and Usability in Modern Design Flows	Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings	Formal Verification of Circuits
Advanced BDD Optimization	Test Pattern Generation Using Boolean Proof Engines	Quality-Driven SystemC Design

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa