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.)

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.)

Führung von Vertriebsorganisationen: Strategie - Koordination - Umsetzung

PDF
German
Year: 2013
Author: Lars Binckebanck (auth.), Lars Binckebanck, Ann-Kristin Hölter, Alexander Tiffert (eds.)

Virtual Applications: Applications with Virtual Inhabited 3D Worlds

PDF
English
Year: 2004
Author: Peter Bøgh Andersen, Lars Qvortrup (auth.), Peter Andersen, Lars Qvortrup (eds.)

Forming The Mind: Essays on the Internal Senses and the Mind/Body Problem from Avicenna to the Medical Enlightenment

PDF
English
Year: 2007
Author: Henrik Lagerlund (auth.), Henrik Lagerlund (eds.)

Growth Factors and the Cardiovascular System

PDF
English
Year: 1993
Author: Carl-Henrik Heldin, Lena Claesson-Welsh (auth.), Peter Cummins (eds.)