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.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*

Zurück zur Trefferliste


Treffer 37186 von 38448 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/978925947
Titel An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages / Sabine Glesner. Universität Karlsruhe, Fakultät für Informatik
Person(en) Glesner, Sabine (Verfasser)
Verlag Karlsruhe : Univ., Fak. für Informatik, Bibl.
Zeitliche Einordnung Erscheinungsdatum: 2005
Umfang/Format 73 S. ; 30 cm
ISBN/Einband/Preis geh.
Sprache(n) Englisch (eng)
Beziehungen Universität Karlsruhe (TH). Fakultät für Informatik: Interner Bericht ; 2005,22
Anmerkungen Literaturverz. S. 71 - 73
DDC-Notation 005.131 [DDC22ger]
Sachgruppe(n) 004 Informatik

Frankfurt Signatur: 2006 B 11941
Bereitstellung in Frankfurt
Leipzig Signatur: 2006 B 37517
Bereitstellung in Leipzig




Treffer 37186 von 38448
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration