Campusbibliothek

Ihre Suche erzielte 14 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Static analysis proceedings 6th International Symposium, SAS '99, Venice, Italy, September 22 - 24, 1999 ; proceedings. Agostino Cortesi ... (eds.) von Reihen: ; 169400 | Lecture notes in computer science ; 1694
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • SAS'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 1694.
Vormerken Zum Korb hinzufügen
2.
Principles and practice of declarative programming proceedings International Conference PPDP '99, Paris, France, September 29 - October 1, 1999. Gopalan Nadathur (ed.) von Reihen: ; 170200 | Lecture notes in computer science ; 1702
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • PPDP'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 1702.
Vormerken Zum Korb hinzufügen
3.
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
4.
Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001 ; proceedings Reinhard Kahle ... (ed.) von Reihen: ; 218300 | Lecture notes in computer science ; 2183
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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 2183.
Vormerken Zum Korb hinzufügen
5.
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
6.
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
7.
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
8.
Multiparadigm programming in Mozart/Oz second international conference, MOZ 2004, Charleroi, Belgium, October 7 - 8, 2004 ; revised selected and invited papers Peter Van Roy (ed.) von Reihen: ; 338900 | Lecture notes in computer science ; 3389
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11398158
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3389.
Vormerken Zum Korb hinzufügen
9.
Unconventional programming paradigms ; international workshop UPP 2004, Le Mont Saint Michel, France, September 15 - 17, 2004 ; revised selected and invited papers Jean-Pierre Banâtre ... (eds.) von Reihen: Hot topics | ; 356600 | Lecture notes in computer science ; 3566
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3566.
Vormerken Zum Korb hinzufügen
10.
Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Andrew D. Gordon (ed.) von Reihen: ; 6012 | Lecture notes in computer science ; 6012
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2010
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 6012.
Vormerken Zum Korb hinzufügen
11.
Models in software engineering workshops and symposia at MODELS 2010, Olso, Norway, October 3-8, 2010 ; reports and revised selected papers Juergen Dingel; Arnor Solberg (eds.) von Reihen: ; 662700 | Lecture notes in computer science ; 6627
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80062814
Verlag: Berlin Heidelberg [u.a.] Springer 2011
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 6627.
Vormerken Zum Korb hinzufügen
12.
Concepts of programming languages Robert W. Sebesta von Reihen: The Benjamin/Cummings series in computer science
Auflage: 2nd ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Redwood City, Calif. [u.a.] Benjamin/Cummings 1993
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) SEB r 1993:1 1.Ex.
Vormerken Zum Korb hinzufügen
13.
Zukunftssichere TYPO3-Extensions mit Extbase & Fluid [der Einstieg in die neue Extension-Entwicklung] Jochen Rau & Sebastian Kurfürst von
Auflage: 1. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Beijing Köln [u.a.] O'Reilly 2010
Weitere Titel:
  • TYPO3-Extensions mit Extbase & Fluid
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
Zum Korb hinzufügen
14.
Multiparadigm constraint programming languages Petra Hofstedt von Reihen: Cognitive technologies
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80027829
Verlag: Berlin Heidelberg [u.a.] Springer 2011
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) HOF p 2011:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha