Es wurden folgende 3 Titel von Daniel Große, Rolf Drechsler (Hrsg.) gefunden.
Treffer: 3 | Seite 1 von 1 |
# | Titel | Preis | |
---|---|---|---|
1. | Daniel Große, Rolf Drechsler (Hrsg.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Reihe: InformatikISBN 978-3-8440-4996-1, Englisch-Deutsch, Paperback, 136 Seiten, 21 x 14,8 cm, 191 g, 55 Abbildungen, 27,80 € Januar 2017 auch als Online-Publikation verfügbar In diesem Jahr wird der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ (MBMV) zum 20. Mal veranstaltet. Getragen durch die Gesellschaft für ... mehr ... | 27,80 € | |
# | Titel | Preis | |
2. | Daniel Große, André Sülflow, Nicole Drechsler (Hrsg.) EXplayN Strategieoptimierung und Analyse ausgewählter Spielprobleme Reihe: Technische InformatikISBN 978-3-8322-7059-9, Deutsch, Paperback, 184 Seiten, 21 x 14,8 cm, 273 g, 89 Abbildungen, 28,80 € März 2008 auch als Online-Publikation verfügbar mehr ... | 28,80 € | |
# | Titel | Preis | |
3. | Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.) SATRIX Algorithmen für Boolesche Erfüllbarkeit Reihe: Technische InformatikISBN 978-3-8322-6408-6, Deutsch, Paperback, 138 Seiten, 21 x 14,8 cm, 203 g, 18 Abbildungen, 27,80 € August 2007 auch als Online-Publikation verfügbar mehr ... | 27,80 € |
|