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: 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.)
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
Models of Computation
  • PDF
  • english
  • Year: 2017
  • Author: Roberto Bruni, Ugo Montanari
Models of Computation
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Bruni, Ugo Montanari
Models of Computation
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Bruni, Ugo Montanari
Models of Computation
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Bruni, Ugo Montanari (auth.)
Numerical Integration of Differential Equations and Large Linear Systems: Proceedings of two Workshops Held at the University of Bielefeld Spring 1980
  • PDF
  • English
  • Year: 1982
  • Author: Don Secrest (auth.), Juergen Hinze (eds.)
Energy and Thermal Management, Air Conditioning, Waste Heat Recovery: 1st ETA Conference, December 1-2, 2016, Berlin, Germany
  • PDF
  • English
  • Year: 2017
  • Author: Christine Junior, Daniel Jänsch, Oliver Dingel (eds.)
Electron-Atom and Electron-Molecule Collisions
  • PDF
  • English
  • Year: 1983
  • Author: K. Blum, H. Kleinpoppen (auth.), Juergen Hinze (eds.)
search