Home Advanced Search
Advanced Search - Page 1
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
- English
- Year: 2011
- Author: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
Constraints in Computational Logics. Theory and Applications CCL ’99
- english
- Year: 2001
- Author: Hubert Comon Claude Marché Ralf Treinen (eds.)
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
- English
- Year: 2012
- Author: Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)
German Annual of Spatial Research and Policy 2010: Urban Regional Resilience: How Do Cities and Regions Deal with Change?
- English
- Year: 2011
- Author: Bernhard Müller (auth.), Bernhard Müller (eds.)
Aldous Huxley and the Mysticism of Science
- English
- Year: 1996
- Author: June Deery (auth.)
Imagined futures : fictional expectations and capitalist dynamics
- EPUB
- English
- Year: 2016
- Author: Jens Beckert
Η αυτοκρατορία του βαμβακιού Μια παγκόσμια ιστορία
- Greek
- Year: 2022
- Author: Sven Beckert