Home Advanced Search

Advanced Search - Page 1

Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program
  • PDF
  • English
  • Year: 2006
  • Author: Bertrand Meyer (auth.), Jürg Kohlas, Bertrand Meyer, André Schiper (eds.)
Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program
  • PDF
  • English
  • Year: 2006
  • Author: Bertrand Meyer (auth.), Jürg Kohlas, Bertrand Meyer, André Schiper (eds.)
Advances in Intensional Logic
  • PDF
  • English
  • Year: 1997
  • Author: Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)
Modal Quantifiers [PhD Thesis]
  • PDF
  • English
  • Year: 1995
  • Author: Natasha Alechina
Human Machine Interaction: Research Results of the MMI Program
  • PDF
  • English
  • Year: 2009
  • Author: Bruno Dumas, Denis Lalanne, Sharon Oviatt (auth.), Denis Lalanne, Jürg Kohlas (eds.)
A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence
  • PDF
  • English
  • Year: 1995
  • Author: Prof. Dr. Jürg Kohlas, Dr. Paul-André Monney (auth.)
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Konstantin Vikhorev, Natasha Alechina, Brian Logan (auth.), Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni (eds.)
Quantitative Methoden in den Wirtschaftswissenschaften: Hans Paul Künzi zum 65. Geburtstag
  • PDF
  • German
  • Year: 1989
  • Author: F. Weinberg (auth.), Prof. Dr. Peter Kall, Prof. Dr. Jürg Kohlas, Prof. Dr. Werner Popp, Prof. Dr. Carl August Zehnder (eds.)