Schaltungsentwurf - Theoretical Computer Science and General Issues - fachmedien.de - Ihre Online-Fachmedien-Plattform

0
0

Ayala / Yakovlev / Shang

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)

Ayala / Yakovlev / Shang

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

Verlag: Springer
ISBN: 978-3-642-36156-2 (Buch)
Erscheinungstermin: 16.01.2013

Lieferzeit ca. 10 Werktage

49,22 € (inkl. MwSt.) 46,00 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Seshia / Parthasarathy

Computer Aided Verification

Computer Aided Verification

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Seshia / Parthasarathy

Computer Aided Verification

Verlag: Springer
ISBN: 978-3-642-31423-0 (Buch)
Erscheinungstermin: 27.06.2012

Lieferzeit ca. 10 Werktage

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Sebastiani / Cimatti

Theory and Applications of Satisfiability Testing -- SAT 2012

Theory and Applications of Satisfiability Testing -- SAT 2012

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Sebastiani / Cimatti

Theory and Applications of Satisfiability Testing -- SAT 2012

Verlag: Springer
ISBN: 978-3-642-31611-1 (Buch)
Erscheinungstermin: 22.06.2012

Lieferzeit ca. 10 Werktage

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Kuncak / Rybalchenko

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Kuncak / Rybalchenko

Verification, Model Checking, and Abstract Interpretation

Verlag: Springer
ISBN: 978-3-642-27939-3 (Buch)
Erscheinungstermin: 12.01.2012

Lieferzeit ca. 10 Werktage

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

|
1
|