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: cod="ro"

Zurück zur Trefferliste


Treffer 99293 von 302279 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1212434137
Titel Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning / Sandra Dylus ; Gutachter: Janis Voigtländer ; Betreuer: Michael Hanus
Person(en) Dylus, Sandra (Verfasser)
Hanus, Michael (Akademischer Betreuer)
Voigtländer, Janis (Gutachter)
Verlag Kiel : Universitätsbibliothek Kiel
Zeitliche Einordnung Erscheinungsdatum: 2020
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Kiel, Christian-Albrechts-Universität zu Kiel, 2020
Persistent Identifier URN: urn:nbn:de:gbv:8-mods-2020-00197-9
URL https://macau.uni-kiel.de/receive/macau_mods_00000540 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Reasoning* (*maschinell ermittelt)
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 99293 von 302279
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration