Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 138 Treffer.


In-Memory Computing

Synthesis and Optimization

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 115 Seiten

Erscheinungsdatum: 03.06.2019

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Binary Decision Diagrams

Theory and Implementation

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 200 Seiten

Erscheinungsdatum: 30.06.1998

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Towards One-Pass Synthesis

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer US, Auflage 1, 182 Seiten

Erscheinungsdatum: 31.05.2002

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

High Quality Test Pattern Generation and Boolean Satisfiability

Produktform: Buch / Einband - fest (Hardcover)


This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.

Verlag: Springer US, Auflage 1, 193 Seiten

Erscheinungsdatum: 31.01.2012

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Vieweg & Teubner, Auflage 1, 200 Seiten

Erscheinungsdatum: 01.01.1998

49,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Automated Analysis of Virtual Prototypes at the Electronic System Level

Design Understanding and Applications

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 166 Seiten

Erscheinungsdatum: 05.05.2021

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

In-Memory Computing

Synthesis and Optimization

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 115 Seiten

Erscheinungsdatum: 18.07.2020

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Specification Level

Concepts, Methods, and Algorithms

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 138 Seiten

Erscheinungsdatum: 28.11.2014

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Debugging at the Electronic System Level

Produktform: Buch / Einband - fest (Hardcover)


Verlag: Springer Netherland, Auflage 1, 199 Seiten

Erscheinungsdatum: 05.07.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 265 Seiten

Erscheinungsdatum: 14.08.2020

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel