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.)
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)
Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Natarajan Shankar, Harald Rueß (auth.), Sophie Tison (eds.)
Computational and combinatorial aspects of Coxeter groups [PhD thesis]
  • PDF
  • English
  • Year: 2008
  • Author: Henrik Eriksson
Trade Unions, Wage Formation and Macroeconomic Stability
  • PDF
  • English
  • Year: 1986
  • Author: Lars Calmfors, Henrik Horn (eds.)
Integrable Hierarchies and Modern Physical Theories
  • PDF
  • English
  • Year: 2001
  • Author: A. Marshakov (auth.), Henrik Aratyn, Alexander S. Sorin (eds.)
Litigation-PR: Alles was Recht ist: Zum systematischen Stand der strategischen Rechtskommunikation
  • PDF
  • German
  • Year: 2012
  • Author: Lars Rademacher, Alexander Schmitt-Geiger (auth.), Lars Rademacher, Alexander Schmitt-Geiger (eds.)
search