Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
editors, Lennart Beringer, Amy Felty
Springer-Verlag, 2012
 eBooks
Hybrid learning : 5th international conference, ICHL 2012, Guangzhou, China, August 13-15, 2012 : proceedings
edited by Simon K.S. Cheung
Springer-Verlag, 2012
 eBooks
Chris Hawblitzel, editor
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Springer-Verlag , 2012
 eBooks
Dieste, Oscar, editor
Product-focused software process improvement : 13th international conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Ambient intelligence: third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings
editor, Fabio Paterno
Springer, 2012
 eBooks
<<   1 2 3   >>