Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Michael Leuschel (auth.), Maurizio Proietti (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
Handelsrecht: Schnell erfaßt
  • PDF
  • German
  • Year: 1996
  • Author: Roland Leuschel (auth.)
Handelsrecht: Schnell erfaßt
  • PDF
  • German
  • Year: 2000
  • Author: Roland Leuschel (auth.)
Handelsrecht: Schnell erfaßt
  • PDF
  • German
  • Year: 1995
  • Author: Roland Leuschel (auth.)
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)
Commemorating War and War Dead: Ancient and Modern
  • PDF
  • English
  • Year: 2019
  • Author: Maurizio Giangiulio, Elena Franchi, Giorgia Proietti
Lentivirus Gene Engineering Protocols
  • PDF
  • English
  • Year: 2003
  • Author: Maurizio Federico (auth.), Maurizio Federico (eds.)
search