Home Advanced Search

Advanced Search - Page 1

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Ivan Lanese, Eric Madelaine (eds.)
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Simon Devitt, Ivan Lanese (eds.)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (eds.)
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
Catalysts for Fine Chemical Synthesis: Metal Catalysed Carbon-Carbon Bond-Forming Reactions, Volume 3
  • PDF
  • English
  • Year: 2004
  • Author: Stanley M. Roberts, Ivan V. Kozhevnikov, Eric Derouane(eds.)
More Grandmothers Are Like Snowflakes...No Two Are Alike: A Treasury of Wit, Wisdom, and Heartwarming Observations
  • EPUB
  • English
  • Year: 2013
  • Author: Janet Lanese
Regio- and Stereo- Controlled Oxidations and Reductions, Volume 5
  • PDF
  • English
  • Year: 2007
  • Author: Stanley M. Roberts, Ivan V. Kozhevnikov, Eric G. Derouane(eds.)
search