Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures / Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy) Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi Series: LNCS sublibrary. SL 2, Programming and software engineering. \| Lecture notes in computer science ; 5569. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009 Other title: SFM 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings / edited by Marco Aldinucci, Luca Padovani, Massimo Torquati. by International EURO-PAR Conference (24th : 2018 : Turin, Italy) Aldinucci, Marco [editor.] Padovani, Luca [editor.] Torquati, Massimo [editor.] Series: Lecture notes in computer science ; 11014. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha