Catalogo · 9783030680732
Recent Findings in Boolean Techniques
ISBN 9783030680732
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Towards One-Pass Synthesis
Rolf Drechsler
Advanced Boolean Techniques
Rolf Drechsler, Mathias Soeken
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Reversible and Quantum Circuits
Nabila Abdessaied, Rolf Drechsler
In-Memory Computing
Saeideh Shirinzadeh, Rolf Drechsler
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüß, Rolf Drechsler
Formal Verification of Circuits
Rolf Drechsler
Formal Specification Level
Mathias Soeken, Rolf Drechsler
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler
Binary decision diagrams
Rolf Drechsler
Advanced formal verification
Rolf Drechsler
Altri libri di Rolf Drechsler, Daniel Große
Verba volant · scripta manent