Home Advanced Search

Advanced Search - Page 1

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: David von Oheimb (auth.), Jorge Cuellar (eds.)
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)
Transactions on Aspect-Oriented Software Development VIII
  • PDF
  • English
  • Year: 2011
  • Author: Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)
Multiobjective Optimization: Interactive and Evolutionary Approaches
  • PDF
  • English
  • Year: 2008
  • Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)
Multiobjective Optimization: Interactive and Evolutionary Approaches
  • PDF
  • English
  • Year: 2008
  • Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Autovalori e autosoluzioni
  • PDF
  • Italian-English
  • Year: 2011
  • Author: Shmuel Agmon (auth.), G. Fichera (eds.)
search