1
Models of Computation [E-Book] /
Other Personal Name(s): ...Bruni, Roberto...

Full text 
2
Trustworthy Global Computing [E-Book]: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /
3
Formal Techniques for Distributed Systems [E-Book] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
4
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /
5
Trustworthy Global Computing [E-Book] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /