Ihre Suche erzielte 5 Treffer.

Ergebnisse
	1.	Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group] Paul Callaghan ... (ed.) von Callaghan, Paul [Hrsg.] Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900 [oth] TYPES 1 2000 Durham [oth] Reihen: ; 227700 \| Lecture notes in computer science ; 2277 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002 Weitere Titel: Types 2000 Online-Ressourcen: Inhaltsverzeichnis Kapitel 1 Cover 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 2277. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Types for proofs and programs international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers ; [refereed selection of papers presented at the second annual workshop of the Types Working Group] Herman Geuvers ... (ed.) von Geuvers, Herman [Hrsg.] Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900 [oth] International Workshop TYPES 2 2002 [oth] Reihen: ; 264600 \| Lecture notes in computer science ; 2646 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003 Online-Ressourcen: Cover 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 2646. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers Stefano Berardi ... (eds.) von Berardi, Stefano [Hrsg.] TYPES 3 2003 Turin [oth] Reihen: ; 308500 \| Lecture notes in computer science ; 3085 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11012856 Verlag: Berlin Heidelberg [u.a.] Springer 2004 Online-Ressourcen: Cover Einführung/Vorwort Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Online-Zugang 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 3085. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004 ; revised selected papers Jean-Christophe Filliâtre; Christine Paulin-Mohring; Benjamin Werner (ed.) von Filliâtre, Jean-Christophe [Hrsg.] Paulin-Mohring, Christine [oth] Werner, Benjamin [oth] TYPES 4 2004 Jouy-en-Josas [oth] Reihen: ; 383900 \| Lecture notes in computer science ; 3839 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11617990 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Verlagsangaben Cover 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 3839. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers Thorsten Altenkirch; Conor McBride (eds.) von Altenkirch, Thorsten [Hrsg.] McBride, Conor [oth] TYPES 2006 Nottingham [oth] Reihen: ; 450200 \| Lecture notes in computer science ; 4502 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12111886 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Online-Zugang Table of contents 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 4502. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha