Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 30 von 722
|
|
| Link zu diesem Datensatz | https://d-nb.info/1132820766 |
| Art des Inhalts | Hochschulschrift |
| Titel | SAT solving with message passing / by Oliver Gableske |
| Person(en) | Gableske, Oliver (Verfasser) |
| Verlag | Ulm |
| Zeitliche Einordnung | Erscheinungsdatum: February 5, 2016 |
| Umfang/Format | XIV, 406 Seiten : Diagramme ; 30 cm |
| Hochschulschrift | Dissertation, Ulm University, 2016 |
| ISBN/Einband/Preis | Broschur |
| Sprache(n) | Englisch (eng) |
| DDC-Notation | 511.352 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2017 B 13056
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2017 B 17477
Bereitstellung in Leipzig |
Treffer 30 von 722
Administration
