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 I
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 II
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
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
edited by Martin Kutrib, Nelma Moreira and Rogerio Reis
Springer-Verlag, 2012
eBooks