Ergebnisse filtern
-
- 3
- 1
-
- 1
- 1
- 1
- 1
-
- 4
- 1
- 1
- 1
- 1
- 1
- 1
-
- 1
- 2
- 1
-
- 2
- 2
-
- 3
- 1
-
- 4
-
- 4
Technische Wissenschaften
-
VDE ITG / VDE / VDI GMM / GI ITG-Fb. 309: MBMV 2023
Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März2023 in FreiburgNeuerscheinungVerlag: VDE VerlagISBN: 978-3-8007-6065-7Medium: Sonstiges69,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Vos / Nahir Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Wintersteiger / Kröning Digitaltechnik - Eine praxisnahe Einführung
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77728-1Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
