Radu Calinescu, editor
Large-scale complex IT systems: development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers
Springer, 2012
eBooks
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part II
edited by Artur Czumaj
Springer-Verlag, 2012
eBooks
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part I
edited by Artur Czumaj
Springer-Verlag, 2012
eBooks
Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
eBooks
Ferruh Ozbudak, editor
Arithmetic of finite fields : 4th international workshop,WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks