Home Advanced Search

Advanced Search - Page 1

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.)
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: John Derrick, Jüri Vain
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.)
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.)
The Five-Factor Model of Personality Across Cultures
  • PDF
  • English
  • Year: 2002
  • Author: Robert R. McCrae, Jüri Allik (auth.), Robert R. McCrae, Jüri Allik (eds.)
Verdachts- und ereignisunabhängige Personenkontrollen: Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung
  • PDF
  • German
  • Year: 2006
  • Author: Graf, Susanne
Nonlinear Waves in Active Media
  • PDF
  • English
  • Year: 1989
  • Author: J. Engelbrecht (auth.), Professor Jüri Engelbrecht (eds.)
Questions About Elastic Waves
  • PDF
  • English
  • Year: 2015
  • Author: Jüri Engelbrecht (auth.)
Nonlinear Wave Dynamics: Complexity and Simplicity
  • PDF
  • English
  • Year: 1997
  • Author: Jüri Engelbrecht (auth.)
In the Trenches at Corinth
  • MOBI
  • English
  • Year: 2014
  • Author: Quinton, Howitt, John
search