Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: "" and "urn:nbn:de:bvb:91"



Treffer 10 von 11150 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1163013404
Titel A Verified ODE Solver and Smale's 14th Problem / Fabian Immler ; Gutachter: Tobias Nipkow, Warwick Tucker ; Betreuer: Tobias Nipkow
Person(en) Immler, Fabian (Verfasser)
Nipkow, Tobias (Akademischer Betreuer)
Nipkow, Tobias (Gutachter)
Tucker, Warwick (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2018
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2018
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20180509-1422071-1-2
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20180509-1422071-1-2 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 10 von 11150
< < > <


E-Mail-IconAdministration