Vos, Alexis De, editor
Reversible computation : third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers
[Springer-Verlag, ], 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
Data privacy management and autonomous spontaneus security : 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers
edited by Joaquin Garcia-Alfaro
Springer-Verlag , 2012
 eBooks
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
<<   1 2 3   >>