Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
edited by Marielle Stoelinga and Ralf Pinger
Springer-Verlag , 2012
 eBooks
Nora Cuppens-Boulahia, editor
Data and applications security and privacy XXVI : 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13, 2012 : proceedings
[Springer, ], 2012
 eBooks
Resource discovery : third international workshop, RED 2010 Paris, France, November 5, 2010 : revised selected papers
editors, Zoe Lacroix, Maria Esther Vidal
Springer-Verlag, 2012
 eBooks
Foundations and practice of security: 4th Canada-France MITACS workshop, FPS 2011 Paris, France, May 12-13, 2011 : revised selected papers
editors, Joaquin Garcia-Alfaro, Pascal Lafourcade
Springer-Verlag, 2012
 eBooks
Real algebraic geometry: proceedings of the conference held in Rennes, France, June 24-28, 1991
editors, M. Coste, L. Mahe, M.F. Roy
Springer-Verlag, 1992
 Buku Teks