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
Trust and trustworthy computing : 5th international conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings
edited by Stefan Katzenbeisser
Springer-Verlag, 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