Ergebnisse filtern
-
- 31
-
- 2
- 29
-
- 27
- 4
-
- 31
-
- 31
-
- 31
- 1
-
Paliouras / Verkest / Vounckx Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60275-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hunt FM8501: A Verified Microprocessor
1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hochet / Bellido / Acosta Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 20022002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44143-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thayse Boolean Calculus of Differences
1981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10286-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort