Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Produktform: E-Buch Text Elektronisches Buch in proprietärem

FunTaskIC

Eine integrierte Entwurfsumgebung für SystemC

Produktform: Buch / Einband - flex.(Paperback)

Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Binary Decision Diagrams

Theory and Implementation

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Noch analog oder lebst Du schon?

Mit Nœrdman durch die Welt von heute... und morgen

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Towards One-Pass Synthesis

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Evolutionary Algorithms for Embedded System Design

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Design for Testability, Debug and Reliability

Next Generation Measures Using Formal Techniques

Produktform: E-Buch Text Elektronisches Buch in proprietärem

In-Memory Computing

Synthesis and Optimization

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Quality-Driven SystemC Design

Produktform: Buch / Einband - flex.(Paperback)

---