Ihre Suche erzielte 5 Treffer.

Ergebnisse
	1.	Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 ; proceedings Mario Bravetti; Leila Kloul (eds.) von Bravetti, Mario [Hrsg.] Kloul, Leila [oth] European Performance Engineering Workshop 2 2005 Versailles [oth] International Workshop on Web Services and Formal Methods 2 2005 Versailles [oth] Reihen: ; 367000 \| Lecture notes in computer science ; 3670 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg New York Springer 2005 Online-Ressourcen: Inhaltsverzeichnis Cover 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 3670. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Web services and formal methods third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 ; proceedings Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro (eds.) von Bravetti, Mario [Hrsg.] Núñez, Manuel [oth] Zavattaro, Gianluigi [oth] WS-FM 3 2006 Wien [oth] Reihen: ; 418400 \| Lecture notes in computer science ; 4184 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 11841197 Verlag: Berlin Heidelberg [u.a.] Springer 2006 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Table of contents only Publisher description 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 4184. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings Mario Bravetti; Gianluigi Zavattaro (eds.) von Bravetti, Mario [Hrsg.] Zavattaro, Gianluigi [oth] CONCUR 20 2009 Bologna [oth] Reihen: ; 571000 \| Lecture notes in computer science ; 5710 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12734689 Verlag: Berlin Heidelberg [u.a.] Springer 2009 Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 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 5710. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Web services and formal methods 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers Mario Bravetti; Tevfik Bultan (eds.) von Bravetti, Mario [Hrsg.] Bultan, Tevfik [oth] WS-FM 7 2010 Hoboken, NJ [oth] Reihen: ; 655100 \| Lecture notes in computer science ; 6551 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 80040756 Verlag: Berlin Heidelberg [u.a.] Springer 2011 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Zentralblatt MATH Inhaltstext 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 6551. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Software engineering and formal methods 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (ed.) von Hierons, Robert M [Hrsg.] Merayo, Mercedes G [Hrsg.] Bravetti, Mario [Hrsg.] SEFM 11. 2013 Madrid [oth] Reihen: ; 813700 \| Lecture notes in computer science ; 8137 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 86308441 Verlag: Berlin Heidelberg [u.a.] Springer 2013 Online-Ressourcen: Inhaltstext Cover Inhaltsverzeichnis Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 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 8137. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha