Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: "klaus" and "Binder"

Zurück zur Trefferliste


Treffer 24 von 510 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1348552212
Art des Inhalts Hochschulschrift
Titel Programming with Symmetric Data and Codata Types / David Binder ; Betreuer: Klaus Ostermann
Person(en) Binder, David (Verfasser)
Ostermann, Klaus (Akademischer Betreuer)
Verlag Tübingen : Universitätsbibliothek Tübingen
Zeitliche Einordnung Erscheinungsdatum: 2024
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Tübingen, Universität Tübingen, 2024
Persistent Identifier URN: urn:nbn:de:bsz:21-dspace-1589379
URL https://publikationen.uni-tuebingen.de/xmlui/handle/10900/158937/ (Verlag) (kostenfrei zugänglich)
http://hdl.handle.net/10900/158937 (Verlag) (kostenfrei zugänglich)
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1589379 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Informatik ; Programmiersprache ; Funktionale Programmierung ; Typentheorie
Programmierung* ; Typentheorie* ; Funktionale Programmierung* ; Programmiersprache* (*maschinell ermittelt)
DDC-Notation 005.13 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 24 von 510
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration