Ergebnisse filtern
-
- 28
-
- 28
-
- 25
- 3
-
- 28
-
- 28
-
- 28
-
Hochet / Acosta / Bellido Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44143-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hunt FM8501: A Verified Microprocessor
Erscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schubert / Windley / Alves-Foss Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60275-0Medium: 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