Donaldson, Alasatair, editor
Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
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
Ferruh Ozbudak, editor
Arithmetic of finite fields : 4th international workshop,WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>