Campusbibliothek

Ihre Suche erzielte 38 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
2.
3.
4.
Proceedings of the IFIP TC 6 WG 6.1 Sixth International Workshop on Protocol Test Systems Pau, France, 28 - 30 September, 1993 ed. by Omar Rafiq von Reihen: ; 6 | International Federation for Information Processing IFIP transactions / C ; 19 | Protocol test systems ; 6
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam London North-Holland 1994
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) RAF o 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
5.
6.
Formal techniques for networked and distributed systems 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings FORTE 2002. Doron A. Peled; Moshe Y. Vardi (eds.) von Reihen: ; 252900 | Lecture notes in computer science ; 2529
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • FORTE 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 2529.
Vormerken Zum Korb hinzufügen
7.
Testing of communicating systems 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26 - 28, 2003 ; proceedings Dieter Hogrefe ...(eds.) von Reihen: ; 264400 | Lecture notes in computer science ; 2644
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 2644.
Vormerken Zum Korb hinzufügen
8.
Formal techniques for networked and distributed systems - FORTE 2003 23rd IFIP WG 6.1 international conference ; proceedings FORTE 2003, Berlin, Germany, September 29 - October 2, 2003 ; proceedings / Hartmut König ... (eds.) von Reihen: ; 276700 | Lecture notes in computer science ; 2767
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • FORTE 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 2767.
Vormerken Zum Korb hinzufügen
9.
Formal methods for open object-based distributed systems 6th IFIP WG 6.1 international conference, Paris, France, November 19 - 21, 2003 ; proceedings FMOODS 2003. Elie Najm ... (ed.) von Reihen: ; 288400 | Lecture notes in computer science ; 2884
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • FMOODS 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 2884.
Vormerken Zum Korb hinzufügen
10.
Distributed applications and interoperable systems 4th IFIP WG 6.1 international conference, Paris, France, November 17-21, 2003 ; proceedings DAIS 2003. Jean-Bernard Stefani ... (eds.) von Reihen: ; 289300 | Lecture notes in computer science ; 2893
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Weitere Titel:
  • DAIS 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 2893.
Vormerken Zum Korb hinzufügen
11.
Testing of communicating systems 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17 - 19, 2004 ; proceedings Roland Groz ... (eds.) von Reihen: ; 297800 | Lecture notes in computer science ; 2978
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
Weitere Titel:
  • TestCom 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 2978.
Vormerken Zum Korb hinzufügen
12.
Formal techniques for networked and distributed systems - FORTE 2004 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings David de Frutos-Escrig ... (ed.) von Reihen: ; 323500 | Lecture notes in computer science ; 3235
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11321293
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 3235.
Vormerken Zum Korb hinzufügen
13.
Testing of communicating systems 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005 ; proceedings Ferhat Khendek; Rachida Dssouli (ed.) von Reihen: ; 350200 | Lecture notes in computer science ; 3502
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11430230
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 3502.
Vormerken Zum Korb hinzufügen
14.
15.
Formal techniques for networked and distributed systems - FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings Elie Najm ... (eds.) von Reihen: ; 422900 | Lecture notes in computer science ; 4229
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11888116
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 4229.
Vormerken Zum Korb hinzufügen
16.
Distributed applications and interoperable systems 8th IFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008 ; proceedings René Meier; Sotirios Terzis (eds.) von Reihen: ; 505300 | Lecture notes in computer science ; 5053
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12275939
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 5053.
Vormerken Zum Korb hinzufügen
17.
18.
Distributed applications and interoperable systems 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009 ; proceedings Twittie Senivongse ... (eds.) von Reihen: ; 552300 | Lecture notes in computer science ; 5523
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12689385
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 5523.
Vormerken Zum Korb hinzufügen
19.
Distributed applications and interoperable systems 10th IFIP WG 6.1 international conference, DAIS 2010, Amsterdam, The Netherlands, June 7 - 9, 2010 ; proceedings Frank Eliassen; Rüdiger Kapitza (eds.) von Reihen: ; 611500 | Lecture notes in computer science ; 6115
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80015160
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 6115.
Vormerken Zum Korb hinzufügen
20.
Distributed applications and interoperable systems 12th IFIP WG 6.1 international conference, DAIS 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings Karl Michael Göschka; Seif Haridi (eds.) von Reihen: ; 727200 | Lecture notes in computer science ; 7272
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86114265
Verlag: [Berlin;] Heidelberg [u.a.] Springer 2012
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 7272.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha