Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Benutzungsbereiche der Deutschen Nationalbibliothek bleiben ab Montag (16.03.2020) bis auf Weiteres geschlossen. Ihre bestehenden Bestellungen werden nach Leihfristende ins Magazin geschickt. Neue Bestellungen sind nach Wiederöffnung der Bibliothek möglich. Der Direktversand von Kopien ist zurzeit nicht möglich. Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über 'Alle Standorte - Online (frei zugänglich)' gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link 'Archivobjekt öffnen' oder über die URN im Label 'Persistent Identifier'.
 
Neuigkeiten Public areas of the German National Library closed from Monday (16.03.2020) until further notice. Your existing orders will be sent to the magazine at the end of the loan period. New orders are possible after the library reopens. Until further notice there will be no document delivery service for users.
 
 

Ergebnis der Suche nach: idn=1022157930



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1022157930
Titel Denotation by transformation : towards obtaining a denotational semantics by transformation to point-free style. / Bernd Braßel
Person(en) Braßel, Bernd (Verfasser)
Verlag Kiel : Institut für Informatik / Christian-Albrechts-Universität zu Kiel
Zeitliche Einordnung Erscheinungsdatum: 2007
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:101:1-201205096973
URL http://www.informatik.uni-kiel.de/uploads/tx_publication/LOPSTR_TechReport.pdf (Verlag) (kostenfrei zugänglich)
ISSN ISSN der Vorlage: 2192-6247
Sprache(n) Englisch (eng)
Beziehungen Technische Berichte des Instituts für Informatik ; Nr. 07,11
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 1 von 1
< < > <


E-Mail-IconAdministration