Service Oriented Computing - ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013 : revised selected papers

DE-634
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract

Computational logic in multi-agent systems 8th international workshop, CLIMA VIII, Porto, Portugal, September 10 - 11, 2007 ; revised selected and invited papers

Inhaltsverzeichnis

Logic programs, norms and action essays in honor of Marek J. Sergot on the occasion of his 60th birthday

Inhaltsverzeichnis

Model checking and artificial intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 ; revised selected and invited papers

Inhaltsverzeichnis

Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Inhaltsverzeichnis

Intelligent agents VIII agent theories, architectures, and languages ; 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1 - 3, 2001 ; revised papers

Inhaltsverzeichnis

Canosa ricerche storiche 2008 ; atti del convegno di studi, 15, 16, 17 febbraio 2008

Inhaltsverzeichnis

Service-oriented computing 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5 - 8, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

Inhaltsverzeichnis

The semantic web 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31 - June 4, 2009, research and applications ; proceedings

Inhaltsverzeichnis

Handbook of epistemic logic

Klappentext
Inhaltsverzeichnis

Service-oriented computing 10th international conference, ICSOC 2012, Shanghai, China, November 12 - 15, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis