Campusbibliothek

Ihre Suche erzielte 13 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Algebraic methods [1] von Reihen: ; 394 | Lecture notes in computer science ; 394
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1989
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 394.
Vormerken Zum Korb hinzufügen
2.
Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996 ; proceedings Martin Wirsing ... (eds.) von Reihen: ; 110100 | Lecture notes in computer science ; 1101
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
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 1101.
Vormerken Zum Korb hinzufügen
3.
Recent trends in algebraic development techniques 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers WADT 2002. Martin Wirsing; Dirk Pattinson; Rolf Hennicker (eds.) von Reihen: ; 275500 | Lecture notes in computer science ; 2755
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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 2755.
Vormerken Zum Korb hinzufügen
4.
Radical innovations of software and systems engineering in the future 9th international workshop, RISSEF 2002, Venice, Italy, October 7 - 11. 2002 ; revised papers Martin Wirsing ... (eds.) von Reihen: Hot topics | ; 294100 | Lecture notes in computer science ; 2941
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 2941.
Vormerken Zum Korb hinzufügen
5.
Software-intensive systems and new computing paradigms challenges and visions Martin Wirsing ... (eds.) von Reihen: State-of-the-art survey | ; 538000 | Lecture notes in computer science ; 5380
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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 5380.
Vormerken Zum Korb hinzufügen
6.
An object oriented airport Ulrike Lechner; Christian Lengauer; Martin Wirsing. Universität Passau, Fakultät für Mathematik und Informatik von Reihen: ; 9410 | Universität Passau MIP / Universität Passau Fakultät für Mathematik und Informatik ; 199410 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Passau Univ., Fak. für Mathematik und Informatik 1994
Weitere Titel:
  • object-oriented
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) Passau UNI MATH-INF MIP-9410.
Vormerken Zum Korb hinzufügen
7.
Proofs in structured specifications Martin Wirsing von Reihen: ; 9008 | Universität Passau MIP / Universität Passau Fakultät für Mathematik und Informatik ; 1990,8 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Passau Fak. für Mathematik und Informatik, Univ. 1991
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) Passau UNI MATH-INF MIP-9008.
Vormerken Zum Korb hinzufügen
8.
Trustworthly global computing 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 ; revised selected papers Martin Wirsing; Martin Hofmann; Axel Rauschmayer (eds.) von Reihen: ; 608400 | Lecture notes in computer science ; 6084
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80021105
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 6084.
Vormerken Zum Korb hinzufügen
9.
Rigorous software engineering for service-oriented systems results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing; Matthias Hölzl (eds.) von Reihen: State-of-the-art survey | ; 6582 | Lecture notes in computer science ; 6582
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80053246
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 6582.
Vormerken Zum Korb hinzufügen
10.
Software, services, and systems essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering Rocco De Nicola ... (eds.) von Reihen: ; 895000 | Lecture notes in computer science ; 8950
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham [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 8950.
Vormerken Zum Korb hinzufügen
11.
Software engineering for collective autonomic systems the ASCENS approach Martin Wirsing ... (eds.) von Reihen: ; 899800 | Lecture notes in computer science ; 8998
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham [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 8998.
Vormerken Zum Korb hinzufügen
12.
13.
Elementare Aussagenlogik mit 6 Tabellen Friedrich L. Bauer; Martin Wirsing von Reihen: Mathematik für Informatiker
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAU f 1991:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha