Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: tit all "Algorithms"

Zurück zur Trefferliste


Treffer 778 von 1221 < < > <



Online Ressourcen
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 778 von 1221
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration