Ihre Suche erzielte 3 Treffer.

Ergebnisse
	1.	Proceedings / CONCUR '92 Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24 - 27, 1992. W. R. Cleaveland (ed.) von CONCUR 3 1992 Stony Brook, NY [aut] Cleaveland, Walter R [Hrsg.] Reihen: ; 630 \| Lecture notes in computer science ; 630 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992 Online-Ressourcen: Cover 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 630. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Tools and algorithms for the construction and analysis of systems first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers TACAS '95. E. Brinksma ... (ed.) von Brinksma, Ed, 1957- [oth] Cleaveland, Walter R, 1961- [HerausgeberIn] Larsen, Kim Guldstrand, 1957- [HerausgeberIn] Margaria-Steffen, Tiziana, 1964- [HerausgeberIn] Steffen, Bernhard, 1958- [HerausgeberIn] TACAS 1 1995 Århus [oth] Reihen: ; 101900 \| Lecture notes in computer science ; 1019 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1995 Weitere Titel: TACAS '95 Online-Ressourcen: 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 1019. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Tools and algorithms for the construction and analysis of systems 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings W. Rance Cleaveland, ed. von Cleaveland, W. Rance [oth] Cleaveland, Walter R [Hrsg.] TACAS 5 1999 Amsterdam [oth] ETAPS 2 1999 Amsterdam [oth] Reihen: ; 157900 \| Lecture notes in computer science ; 1579 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999 Online-Ressourcen: Cover 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 1579. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha