Home Advanced Search

Advanced Search - Page 1

Artificial Intelligence: Methodology, Systems, and Applications: 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Krzysztof Stebel, Dariusz Choiński (auth.), Danail Dochev, Marco Pistore, Paolo Traverso (eds.)
Artificial intelligence: methodology, systems and applications
  • PDF
  • English
  • Year: 2008
  • Author: Daniel Dochev, Marco Pistore, Paolo Traverso
Artificial Intelligence: Methodology, Systems, and Applications: 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier (auth.), Darina Dicheva, Danail Dochev (eds.)
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009
  • PDF
  • English
  • Year: 2010
  • Author: Robert Tolksdorf, Anne Augustin, Sebastian Koske (auth.), Tanja Zseby, Reijo Savola, Marco Pistore (eds.)
Future Internet – FIS 2008: First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Michael L. Brodie (auth.), John Domingue, Dieter Fensel, Paolo Traverso (eds.)
Future Internet – FIS 2008: First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Michael L. Brodie (auth.), John Domingue, Dieter Fensel, Paolo Traverso (eds.)
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
Designing Organizational Systems: An Interdisciplinary Discourse
  • PDF
  • English
  • Year: 2013
  • Author: Paolo Spagnoletti, Richard Baskerville, Marco De Marco (auth.), Richard Baskerville, Marco De Marco, Paolo Spagnoletti (eds.)
Graph Theoretical Approaches to Chemical Reactivity
  • PDF
  • English
  • Year: 1994
  • Author: Haruo Hosoya (auth.), Danail Bonchev, Ovanes Mekenyan (eds.)
search