Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 415 Treffer.


Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 265 Seiten

Erscheinungsdatum: 17.07.2019

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Specification Level

Concepts, Methods, and Algorithms

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 138 Seiten

Erscheinungsdatum: 23.08.2016

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Debugging at the Electronic System Level

Produktform: Buch / Einband - flex.(Paperback)


Verlag: Springer Netherland, Auflage 1, 199 Seiten

Erscheinungsdatum: 28.10.2014

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Verification of Circuits

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 179 Seiten

Erscheinungsdatum: 02.12.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Robustness and Usability in Modern Design Flows

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 166 Seiten

Erscheinungsdatum: 19.10.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Towards One-Pass Synthesis

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer US, Auflage 1, 182 Seiten

Erscheinungsdatum: 07.12.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Automated Analysis of Virtual Prototypes at the Electronic System Level

Design Understanding and Applications

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 166 Seiten

Erscheinungsdatum: 05.05.2020

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Design Automation Techniques for Approximation Circuits

Verification, Synthesis and Test

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 130 Seiten

Erscheinungsdatum: 12.01.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Natural Language Processing for Electronic Design Automation

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 111 Seiten

Erscheinungsdatum: 01.09.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Applications of Evolutionary Computation

EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 542 Seiten

Erscheinungsdatum: 02.04.2012

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel