Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)
Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8–10, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Mihalis Yannakakis (auth.), Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.)
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.)
Human Exposure to Pollutants via Dermal Absorption and Inhalation
  • PDF
  • English
  • Year: 2010
  • Author: Mihalis Lazaridis, Ian Colbeck (auth.), Mihalis Lazaridis, Ian Colbeck (eds.)
Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Susanne Graf, Sophie Quinton (auth.), John Derrick, Jüri Vain (eds.)
Verdachts- und ereignisunabhängige Personenkontrollen: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung
  • PDF
  • German
  • Year: 2006
  • Author: Graf, Susanne
Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Susanne Albers (auth.), Ding-Zhu Du, Guochuan Zhang (eds.)
EU Policy-Making on GMOs: The False Promise of Proceduralism
  • PDF
  • English
  • Year: 2018
  • Author: Mihalis Kritikos (auth.)
First Principles of Meteorology and Air Pollution
  • PDF
  • English
  • Year: 2011
  • Author: Mihalis Lazaridis (auth.)
First Principles of Meteorology and Air Pollution
  • PDF
  • English
  • Year: 2011
  • Author: Mihalis Lazaridis (auth.)
search