Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
eBooks
Ambient intelligence: third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings
editor, Fabio Paterno
Springer, 2012
eBooks
Theory and applications of satisfiability testing – SAT 2012 : 15th international conference, Trento, Italy, June 17-20, 2012 : proceedings
editors, Alessandro Cimatti, Roberto Sebastiani
Springer-Verlag, 2012
eBooks
Fun with algorithms : 6th international conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings
edited by Evangelos Kranakis, Danny Krizanc and Flaminia Luccio
Springer-Verlag, 2012
eBooks
Advances in computational intelligence : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012 : proceedings, part I
edited by Salvatore Greco
Springer-Verlag, 2012
eBooks