Your search returned 2 results.

Results
	1.	Trustworthy global computing [electronic resource] : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (eds.). by TGC 2006 (2006 : Lucca, Italy) Montanari, U. (Ugo) Sannella, D. (Donald), 1956- Bruni, Roberto SpringerLink (Online service) Series: Lecture notes in computer science ; 4661 \| LNCS sublibrary. SL 1, Theoretical computer science and general issues Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: TGC 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Web services and formal methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / edited by Roberto Bruni, Karsten Wolf. by WS-FM 2008 (2008 : Milan, Italy.) Bruni, Roberto Wolf, Karsten SpringerLink (Online service) Series: Lecture notes in computer science ; 5387 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: International Workshop, WS-FM 2008 WS-FM 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search