Ihre Suche erzielte 4 Treffer.

Ergebnisse
	1.	Recent trends in algebraic development techniques 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers WADT 2002. Martin Wirsing; Dirk Pattinson; Rolf Hennicker (eds.) von Wirsing, Martin, 1948- [Hrsg.] Pattinson, Dirk [Hrsg.] Hennicker, Rolf [Hrsg.] WADT 16 2002 Chiemsee-Frauenchiemsee [oth] Reihen: ; 275500 \| Lecture notes in computer science ; 2755 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Publisher description Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2755. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Coalgebras and modal logic for parameterised endofunctors A. Kurz; D. Pattinson von Kurz, Alexander [aut] Pattinson, Dirk [aut] Reihen: ; 200040 \| Centrum voor Wiskunde en Informatica Report / SEN ; 200040 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Centrum voor Wiskunde en Informatica 2000 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Amsterdam CWI SEN-R0040. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Coalgebraic modal logic of finite rank A. Kurz; D. Pattinson von Kurz, Alexander [aut] Pattinson, Dirk [aut] Reihen: ; 200222 \| Centrum voor Wiskunde en Informatica Report / SEN ; 200222 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam Centrum voor Wiskunde en Informatica 2002 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Amsterdam CWI SEN-R0222. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallin, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) von Pattinson, Dirk [oth] International Federation for Information Processing [oth] CMCS 11. 2012 Tallinn [oth] ETAPS 15 2012 Tallinn [oth] Reihen: ; 739900 \| Lecture notes in computer science ; 7399 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86152860 Verlag: Berlin Heidelberg Springer 2012 Online-Ressourcen: Verlagsangaben Inhaltstext Cover Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7399. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha