Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
Treffer 776 von 1219
|
|
| Link zu diesem Datensatz | https://d-nb.info/1065669445 |
| Art des Inhalts | Hochschulschrift |
| Titel | Modeling and verification of distributed algorithms in theorem proving environments / Philipp Küfner. Gutachter: Uwe Nestmann ; Florian Kammüller. Betreuer: Uwe Nestmann |
| Person(en) |
Küfner, Philipp (Verfasser) Nestmann, Uwe (Akademischer Betreuer) Kammüller, Florian (Akademischer Betreuer) |
| Verlag | Berlin : Technische Universität Berlin |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Berlin, Technische Universität Berlin, Diss., 2013 |
| Persistent Identifier | URN: urn:nbn:de:kobv:83-opus4-48191 |
| URL | http://opus4.kobv.de/opus4-tuberlin/frontdoor/index/index/docId/4819 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 776 von 1219
Administration
