Home Advanced Search

Advanced Search - Page 1

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
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.)
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.)
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)
Elementos Politicos De Marxismo Lacaniano
  • PDF
  • Spanish
  • Author: Pavon Cuellar David
Marxisme lacanien: elements de marxisme lacanien
  • PDF
  • French
  • Author: David Pavon Cuellar
Quantum mechanics of fundamental systems: the quest for beauty and simplicity: Claudio Bunster festschrift
  • PDF
  • English
  • Year: 2009
  • Author: David Gross (auth.), Jorge Zanelli, Marc Henneaux (eds.)