Your search returned 9 results.

Results
	1.	Foundations of Security Analysis and Design II [electronic resource] : FOSAD 2001/2002 Tutorial Lectures / by Focardi, Riccardo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2946 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3655 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Foundations of Security Analysis and Design [electronic resource] : FOSAD 2006/2007 Turtorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4677 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009 / by Degano, Pierpaolo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5688 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by Gorrieri, Roberto [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4037 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6858 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2008/2009 Tutorial Lectures / by Aldini, Alessandro [editor.] Barthe, Gilles [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5705 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Degano, Pierpaolo [editor.] Gorrieri, Roberto [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1256 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / by Focardi, Riccardo [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2171 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in