Benoit M. Dawant, editor
Biomedical image registration : 5th international workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Reneta P. Barneva, editor
Combinatorial image analysis: 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012 : proceedings
Springer-Verlag , 2012
 eBooks
P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Anupam Gupta, editor
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th international workshop, APPROX 2012 and 16th International Workshop, RANDOM 2012 Cambridge, MA, USA, August 15-17, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Donaldson, Alasatair, editor
Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>