Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. (English)
Lecture Notes in Computer Science 7261. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). xi, 263~p. EUR~42.99 (2012).
1
Emotionality in text as predictor of behavior (English)
ICWSM (2009).
2
Proceedings of the 6th international conference on autonomic computing, ICAC 2009, June 15-19, 2009, Barcelona, Spain (English)
ICAC (2009).
3
Agent-mediated electronic commerce and trading agent design and analysis, AAMAS 2007 workshop, AMEC 2007, Honolulu, hawaii, May 14, 2007, and AAAI 2007 workshop, TADA 2007, Vancouver, Canada, July 23, 2007, selected and revised papers (English)
Lecture Notes in Business Information Processing: AMEC/TADA 13 (2009).
4
6th international joint conference on autonomous agents and multiagent systems (AAMAS 2007), Honolulu, hawaii, USA, May 14-18, 2007 (English)
AAMAS (2007).
5
Proceedings of the 5th international conference on electronic commerce, ICEC 2003, Pittsburgh, pennsylvania, USA, September 30 - October 03, 2003 (English)
ACM International Conference Proceeding Series: ICEC 50 (2003).
6
Agent-mediated electronic commerce IV. Designing mechanisms and systems. AAMAS 2002 workshop on agent-mediated electronic commerce, Bologna, Italy, July 16, 2002. Revised papers. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2531. Berlin: Springer. xvii, 339 p. EUR 48.00/net; \$ 62.00; \sterling 33.50; sFr 82.50 (2002).
7
Cooperative information agents VI. 6th international workshop, CIA 2002, Madrid, Spain, September 18‒20, 2002, Proceedings. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2446. Berlin: Springer. xi, 321 p. EUR 44.00/net; \$ 56.00; \sterling 31.00; sFr 75.50 (2002).
8