Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks
  • PDF
  • English
  • Year: 2014
  • Author: Onn Shehory, Arnon Sturm (eds.)
Agent-Oriented Software Engineering: Reflections on Architectures
  • PDF
  • English
  • Year: 2014
  • Author: Onn Shehory
Cooperative Information Agents III: Third International Workshop, CIA’99 Uppsala, Sweden, July 31–August 2, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Walt Truszkowski, Harold Hallock (auth.), Matthias Klusch, Onn M. Shehory, Gerhard Weiss (eds.)
Cooperative Information Agents VI: 6th International Workshop, CIA 2002 Madrid, Spain, September 18–20, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ricardo Baeza-Yates, José Miguel Piquer (auth.), Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.)
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets: AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Sofia Ceppi, Nicola Gatti (auth.), Esther David, Enrico Gerding, David Sarne, Onn Shehory (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
Handbook of satisfiability
  • PDF
  • English
  • Year: 2021
  • Author: Armin Biere
search