Home Advanced Search

Advanced Search - Page 1

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Natarajan Shankar (auth.), Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Natarajan Shankar (auth.), Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Natarajan Shankar (auth.), Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Los jardines de la Luna
  • EPUB
  • Spanish
  • Author: Steven Eriksson
Strongly convergent games and Coxeter groups
  • PDF
  • English
  • Year: 1993
  • Author: Kimmo Eriksson
Targeting Peace: Understanding UN and EU Targeted Sanctions
  • EPUB
  • English
  • Year: 2011
  • Author: Mikael Eriksson
Justice in Transition
  • EPUB
  • English
  • Year: 2013
  • Author: Anna Eriksson