Finkel, Alain, editor
Reachability problems : 6th international workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedingsds.)
[, Springer-Verlag], 2012
 eBooks
Antonis Bikakis, editor
Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Antoine Mine, editor
Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Analytical and stochastic modeling techniques and applications : 19th international conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings
edited by Khalid Al-Begain, Dieter Fiems and Jean-Marc Vincent
Springer-Verlag, 2012
 eBooks