Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Branislav Rovan, editor
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Ricardo Pena, editor
Trends in functional programming : 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011 : revised selected papers
[, Springer-Verlag], 2012
 eBooks
Leonidas Bleris, editor
Bioinformatics research and applications : 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Ralf Klasing, editor
Experimental algorithms : 11th international symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks