Campusbibliothek

Ihre Suche erzielte 13 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Types for proofs and programs selected papers International Workshop, TYPES'98, Kloster Irsee, Germany, March 27 - 31, 1998/ Thorsten Altenkirch ... (eds.) von Reihen: ; 165700 | Lecture notes in computer science ; 1657
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • TYPES'98
Online-Ressourcen:
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 1657.
Vormerken Zum Korb hinzufügen
2.
Programming languages and systems proceedings 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Gert Smolka (ed.) von Reihen: ; 178200 | Lecture notes in computer science ; 1782
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • ESOP 2000; ETAPS 2000
Online-Ressourcen:
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 1782.
Vormerken Zum Korb hinzufügen
3.
Types for proofs and programs selected papers International Workshop, TYPES'99, Lökeberg, Sweden, June 12 - 16, 1999. Thierry Coquand ... (ed.) von Reihen: ; 195600 | Lecture notes in computer science ; 1956
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • TYPES'99
Online-Ressourcen:
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 1956.
Vormerken Zum Korb hinzufügen
4.
Programming languages and systems proceedings 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001. David Sands (ed.) von Reihen: ; 202800 | Lecture notes in computer science ; 2028
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • ESOP 2001, Joint European Conferences on Theory and Practice of Software, ETAPS 2001
Online-Ressourcen:
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 2028.
Vormerken Zum Korb hinzufügen
5.
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 Reihen: ; 227700 | Lecture notes in computer science ; 2277
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • Types 2000
Online-Ressourcen:
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
6.
Programming languages and systems proceedings 11th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Daniel Le Métayer (ed.) von Reihen: ; 230500 | Lecture notes in computer science ; 2305
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002
Online-Ressourcen:
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 2305.
Vormerken Zum Korb hinzufügen
7.
Programming languages and systems proceedings 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Pierpaolo Degano (ed.) von Reihen: ; 261800 | Lecture notes in computer science ; 2618
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003
Online-Ressourcen:
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 2618.
Vormerken Zum Korb hinzufügen
8.
9.
Programming languages and systems first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings APLAS 2003. Atsushi Ohori (ed.) von Reihen: ; 289500 | Lecture notes in computer science ; 2895
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2003
Weitere Titel:
  • APLAS 2003
Online-Ressourcen:
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 2895.
Vormerken Zum Korb hinzufügen
10.
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 Reihen: ; 383900 | Lecture notes in computer science ; 3839
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11617990
Verlag: Berlin Heidelberg [u.a.] Springer 2006
Online-Ressourcen:
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
11.
Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers Thorsten Altenkirch; Conor McBride (eds.) von Reihen: ; 450200 | Lecture notes in computer science ; 4502
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12111886
Verlag: Berlin Heidelberg [u.a.] Springer 2007
Online-Ressourcen:
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
12.
Types for proofs and programs international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 ; revised selected papers Marino Miculan; Ivan Scagnetto; Furio Honsell (eds.) von Reihen: ; 494100 | Lecture notes in computer science ; 4941
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12267088
Verlag: Berlin Heidelberg [u.a.] Springer 2008
Online-Ressourcen:
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 4941.
Vormerken Zum Korb hinzufügen
13.
Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers Stefano Berardi; Ferruccio Damiani; Ugo deL̉iguoro (eds.) von Reihen: ; 549700 | Lecture notes in computer science ; 5497
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12697175
Verlag: Berlin Heidelberg [u.a.] Springer 2009
Online-Ressourcen:
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 5497.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha