2007

Agent-mediated electronic commerce : automated negotiation and strategy design for electronic markets : AAMAS 2006 workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006 : selected and revised papers

TADA/AMEC 2006 (2006 : Hakodate-shi, Japan)



 

2014

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets : AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and A

Cham : Springer International Publishing : Imprint : Springer, 2014

 

2014

Agent-oriented software engineering : reflections on architectures, methodologies, languages, and frameworks

Berlin : Springer, 2014

 

2020

Engineering dependable and secure machine learning systems : third international workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020 : revised selected papers

AAAI Workshop on Engineering Dependable and Secure Machine Learning Systems (3rd : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2012

Hardware and software : Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers

International Haifa Verification Conference (7th : 2011 : Haifa, Israel)



 

2016

Multiagent system technologies : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

MATES (Conference) (14th : 2016 : Klagenfurt, Austria)

Cham : Springer, 2016