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.)
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
Psychoanalysis and Revolution: Critical Psychology for Liberation Movements
  • EPUB
  • English
  • Year: 2021
  • Author: Ian Parker, David Pavon-Cuellar
Psychoanalysis and Revolution: Critical Psychology for Liberation Movements
  • PDF
  • English
  • Year: 2021
  • Author: Ian Parker, David Pavon-Cuellar