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.)
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.)
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Bruno Buchberger (auth.), Ulrich Furbach, Natarajan Shankar (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.)
search