Graph structures for knowledge representation and reasoning : second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011 : revised selected papers
edited by Madalina Croitoru
Springer-Verlag, 2012
 eBooks
Theory and applications of formal argumentation : first international workshop, TAFA 2011, Barcelona, Spain, July 16-17, 2011 : revised selected papers
edited by Sanjay Modgil, Nir Oren, Francesca Toni
Springer-Verlag, 2012
 eBooks
Mobile lightweight wireless systems : Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers
edited by Javier Del Ser
Springer, 2012
 eBooks
Adaptive and learning agents : international workshop, ALA 2011, held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised selected papers
editors, Peter Vrancx, Matthew Knudson, Marek Grze´s
Springer, 2012
 eBooks
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>