Groote, Philippe de, editor
Formal grammar 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011 : revised eelected papers
[Springer-Verlag;, ], 2012
eBooks
Nick Bezhanishvili, editor
Lectures on logic and computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes
[, Springer-Verlag], 2012
eBooks
Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
Springer-Verlag, 2011
eBooks
Security and trust management : 7th international workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011 : revised selected papers
edited by Catherine Meadows, Carmen Fernandez-Gago
Springer-Verlag, 2012
eBooks
Global security, safety and sustainability & e-democracy : 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011 Thessaloniki, Greece, August 24-26, 2011 : revised selected papers
edited by Christos K. Georgiadis
[Springer, ], 2012
eBooks