Top 1200 verona italy PDF Book Page 47

book image

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)
·363 Pages
·2013
·6.838 MB

book image

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
·250 Pages
·2009
·5.511 MB

book image

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
·532 Pages
·1995
·11.682 MB

book image

Evolutionary Trends of the Internet: 2001 Tyrrhenian International Workshop on Digital Communications, IWDC 2001 Taormina, Italy, September 17–20, 2001 Proceedings

Marc Vandenhoute, Francesco Masetti, Amaury Jourdan, Dominique Chiaroni (auth.), Sergio Palazzo (eds.)
·735 Pages
·2001
·12.74 MB

book image

Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti, Roberto Tagliaferri
·224 Pages
·2019
·20.268 MB

book image

Lasers in Photomedicine and Photobiology: Proceedings of the European Physical Society, Quantum Electronics Division, Conference, Florence, Italy, September 3–6, 1979

J. A. Parrish (auth.), Professor Dr. Riccardo Pratesi, Professor Dr. Carlo Alberto Sacchi (eds.)
·245 Pages
·1980
·8.293 MB

book image

AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings

Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile, Floriana Esposito (auth.), Amedeo Cappelli, Franco Turini (eds.)
·567 Pages
·2003
·6.929 MB

book image

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)
·523 Pages
·2008
·7.596 MB

book image

Politics in Western Europe: An Introduction to the Politics of the United Kingdom, France, Germany, Italy, Sweden, and the European Union

M. Donald Hancock, David P. Conradt, B. Guy Peters, William Safran, Raphael Zariski (auth.)
·630 Pages
·1998
·65.509 MB

book image

Quantum Transport: Modelling, Analysis and Asymptotics — Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy September 11–16, 2006

Grégoire Allaire, Anton Arnold, Pierre Degond, Thomas Yizhao Hou (auth.), Naoufel Ben Abdallah, Giovanni Frosali (eds.)
·271 Pages
·2008
·5.699 MB

book image

Organometallics of the f-Elements: Proceedings of the NATO Advanced Study Institute held at Sogesta, Urbino, Italy, September 11–22, 1978

Basil Kanellakopulos (auth.), Tobin J. Marks, R. Dieter Fischer (eds.)
·524 Pages
·1979
·10.527 MB