Campusbibliothek

Ihre Suche erzielte 17 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Modular specification and verification of object-oriented programs Peter Müller von Reihen: ; 226200 | Lecture notes in computer science ; 2262
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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 2262.
Vormerken Zum Korb hinzufügen
2.
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
3.
4.
Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers Stefano Berardi ... (eds.) von Reihen: ; 308500 | Lecture notes in computer science ; 3085
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11012856
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3085.
Vormerken Zum Korb hinzufügen
5.
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
6.
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
7.
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
8.
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
9.
Programming languages and systems 23rd European Symposium on Programming, ESOP 2014 [, during April 8-10], held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings Zhong Shao (ed.) von Reihen: ; 8410 | Lecture notes in computer science ; 8410
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86364892
Verlag: Heidelberg Berlin [u.a.] Springer 2014
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 8410.
Vormerken Zum Korb hinzufügen
10.
Programming languages and systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 ; proceedings Jan Vitek (ed.) von Reihen: ; 9032 | Lecture notes in computer science ; 9032
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-46668-1
Verlag: Berlin Heidelberg [u.a.] Springer 2015
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 9032.
Vormerken Zum Korb hinzufügen
11.
Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (eds.) von Reihen: Lecture notes in computer science Theoretical computer science and general issues ; 9632 | ; 963200 | Lecture notes in computer science ; 9632
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-49497-4
  • 86844102
Verlag: Berlin Heidelberg Springer [2016]Copyright-Datum: ©2016
Weitere Titel:
  • ESOP 2016
  • ETAPS 2016
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 9632.
Vormerken Zum Korb hinzufügen
12.
Programming languages and systems 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) von Reihen: Advanced research in computing and software science | ; 10201 | Lecture notes in computer science ; 10201
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86910607
Verlag: Berlin; [Heidelberg] Springer [2017]Copyright-Datum: © 2017
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 10201.
Vormerken Zum Korb hinzufügen
13.
Programming languages and systems 28th European symposium on programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Luís Caires (ed.) von Reihen: ; 11423 | Lecture notes in computer science ; 11423
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [2019]
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 11423.
Vormerken Zum Korb hinzufügen
14.
Programming languages and systems 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Amal Ahmed (ed.) von Reihen: ; 1080100 | Lecture notes in computer science ; 10801
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [2018]Copyright-Datum: © 2018
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 10801.
Vormerken Zum Korb hinzufügen
15.
Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020: proceedings Peter Müller (ed.) von Reihen: ; 12075 | Lecture notes in computer science ; 12075
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer Open [2020]
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 12075.
Vormerken Zum Korb hinzufügen
16.
Types and programming languages Benjamin C. Pierce von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts London, England The MIT Press [2002]Copyright-Datum: © 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (9)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PIE b 2002:1 6.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PIE b 2002:1 1.Ex. Nicht verfügbar: Gebäude 26 (MPI-SWS Kaiserslautern ): restricted use (2). Gebäude E1 5 (MPI-SWS SB): restricted use (3).
Vormerken Zum Korb hinzufügen
17.
Advanced topics in types and programming languages Benjamin C. Pierce, ed. von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PIE b 2005:1 3.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PIE b 2005:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha