Campusbibliothek

Ihre Suche erzielte 7 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings Holger Hermanns ... (eds.) von Reihen: ; 392000 | Lecture notes in computer science ; 3920
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11691372
Verlag: Berlin Heidelberg New York 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 3920.
Vormerken Zum Korb hinzufügen
2.
Model checking software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006 ; proceedings ; [ETAPS 2006, European Joint Conferences on Theory and Practice of Software] Antti Valmari (ed.) von Reihen: ; 392500 | Lecture notes in computer science ; 3925
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11691617
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 3925.
Vormerken Zum Korb hinzufügen
3.
4.
Fundamental approaches to software engineering 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006 ; proceedings Luciano Baresi; Reiko Heckel (ed.) von Reihen: ; 392200 | Lecture notes in computer science ; 3922
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11693017
Verlag: Berlin Heidelberg New York 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 3922.
Vormerken Zum Korb hinzufügen
5.
Programming languages and systems 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006 ; proceedings Peter Sestoft (ed.) von Reihen: ; 392400 | Lecture notes in computer science ; 3924
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11693024
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 3924.
Vormerken Zum Korb hinzufügen
6.
Compiler construction 15th international Conference, CC 2006 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 ; proceedings Alan Mycroft ... (eds.) von Reihen: ; 392300 | Lecture notes in computer science ; 3923
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11688839
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 3923.
Vormerken Zum Korb hinzufügen
7.
Software composition 5th international symposium, SC 2006, Vienna, Austria, March 25 - 26, 2006 ; revised papers ; [satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS)] Welf Löwe; Mario Südholt (eds.) von Reihen: ; 408900 | Lecture notes in computer science ; 4089
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11821946
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 4089.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha