Channels - Foundations of Security Analysis and Design V : :: Biblioteca ITESO

Slični predmeti: Foundations of Security Analysis and Design V :

Quick Look
Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures /
Quick Look
Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures /
Quick Look
Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures /
Quick Look
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures /
Quick Look
Foundations of Security Analysis and Design : Tutorial Lectures /
Quick Look
Foundations of Security Analysis and Design VII : FOSAD 2012-2013 : Tutorial Lectures /
Quick Look
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
Quick Look
Foundation Analysis and Design /
Quick Look
Foundations of Location Analysis /
Quick Look
Foundations and Practice of Security : 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers /
Quick Look
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Quick Look
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
Quick Look
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers /
Quick Look
Mathematical Methods for Protein Structure Analysis and Design : Advanced Lectures /
Quick Look
Foundations of mathematical analysis /
Quick Look
Foundation Flash CS5 For Designers /
Quick Look
Constructive Side-Channel Analysis and Secure Design : Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings /
Quick Look
Analysis and Design of Advice /
Quick Look
Foundations and Practice of Security : 6th International Symposium, FPS 2013, La Rochelle, France, October 21–22, 2013 : Revised Selected Papers /
Quick Look
Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /
Quick Look
Constructive Side-Channel Analysis and Secure Design : 5th International Workshop, COSADE 2014, Paris, France, April 13–15, 2014 : Revised Selected Papers /
Quick Look
Constructive Side-Channel Analysis and Secure Design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers /
Quick Look
Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
Quick Look
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings /

Autor: Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Quick Look
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0