Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
eBooks
Future control and automation: proceedings of the 2nd International Conference on Future Control and Automation (ICFCA 2012), volume 1
Wei Deng, editor
[Springer, ], 2012
eBooks
Future control and automation: proceedings of the 2nd International Conference on Future Control and Automation (ICFCA 2012), volume 2
Wei Deng, editor
[, Springer], 2012
eBooks
Marco Dorigo, editor
Swarm intelligence : 8th international conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
Progress in cryptology–LATINCRYPT 2012 : 2nd international conference on cryptology and information security in Latin America, Santiago, Chile, October 7-10, 2012 : proceedings
edited by Alejandro Hevia, Gregory Neven
Springer-Verlag, 2012
eBooks