Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: dcs=512*

Zurück zur Trefferliste


Treffer 47 von 845 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1054935963
Art des Inhalts Hochschulschrift
Titel Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion / von Daniel Schwencke
Person(en) Schwencke, Daniel (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2014
Umfang/Format X, 317 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Schwencke, Daniel: Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Hochschulschrift Braunschweig, Techn. Univ., Diss., 2013
Sprache(n) Englisch (eng)
DDC-Notation 512.620285 [DDC22ger]
Sachgruppe(n) 510 Mathematik ; 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2014 B 24937
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2015 B 4198
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 47 von 845
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration