1
Data Science and Artificial Intelligence [E-Book] : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
2
Theory and Practice of Formal Methods [E-Book] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Bonsangue, Marcello...”

Full text 
Favorites
Saved in:
3
Coalgebraic Methods in Computer Science [E-Book] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
4
Formal Methods for Components and Objects [E-Book] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
5
Formal Methods for Components and Objects [E-Book] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
6
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
7
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
8
Formal Methods for Components and Objects [E-Book] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
9
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
10
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
11
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
12
Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
13
Formal Methods for Components and Objects [E-Book] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Other Personal Name(s): “...Bonsangue, Marcello M....”

Full text 
Favorites
Saved in:
14
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Other Personal Name(s): “...Bonsangue, Marcello....”

Full text 
Favorites
Saved in:

Narrow Search Results