Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2019 bis 1. Januar 2020 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellung „Exil. Erfahrung und Zeugnis“ des Deutschen Exilarchivs 1933–1945 in Frankfurt am Main ist in dieser Zeit ebenfalls geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind vom 27. bis 29. Dezember 2019 von 10 bis 18 Uhr für Ihren Besuch geöffnet. Die Präsentation „Fonts for Freedom“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2019 to 1 January 2020. The exhibition „Exile. Experience and testimony“ of the German Exile Archive 1933–1945 in Frankfurt am Main will also be closed. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00 on 27 to 29 December 2019. The presentation „Fonts for Freedom“ will be closed.
 
Neuigkeiten Der Zugriff auf die archivierten Netzpublikationen ist zur Zeit nur eingeschränkt möglich. Wir bitten um Ihr Verständnis.
 
 

Ergebnis der Suche nach: idn=119416305X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/119416305X
Titel A Unified Translation of Linear Temporal Logic to ω-Automata / Salomon Sickert ; Gutachter: Francisco Javier Esparza Estaun, Orna Kupferman ; Betreuer: Francisco Javier Esparza Estaun
Person(en) Sickert, Salomon (Verfasser)
Esparza Estaun, Francisco Javier (Akademischer Betreuer)
Esparza Estaun, Francisco Javier (Gutachter)
Kupferman, Orna (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2019
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20190801-1484932-1-4
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190801-1484932-1-4 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Robots* ; Logic* (*maschinell ermittelt)
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration