Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Distributed Systems: 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
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: 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
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: 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
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems. 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
  • PDF
  • English
  • Year: 2011
  • Author: Roberto Bruni, Juergen Dingel (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Juergen Dingel (auth.), Sudipto Ghosh (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Juergen Dingel (auth.), Sudipto Ghosh (eds.)
ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Guoqing Xu (auth.), Giuseppe Castagna (eds.)
Object-Oriented Programming A Unified Foundation
  • PDF
  • English
  • Year: 1996
  • Author: Giuseppe Castagna (auth.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.)
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Bernhard Schätz, Brian Elvesæter (auth.), Juergen Dingel, Arnor Solberg (eds.)
search