Chris Hawblitzel, editor
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Springer-Verlag , 2012
 eBooks
Aoki, Toshiaki, editor
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Electronic healthcare : third international conference, eHealth 2010 Casablanca, Morocco, December 13-15, 2010 : revised selected papers
edited by Martin Szomszor, Patty Kostkova
Springer, 2011
 eBooks
Ambient intelligence: third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings
editor, Fabio Paterno
Springer, 2012
 eBooks
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
<<   1 2 3   >>