Your search returned 13 results.

Results
	1.	Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / by Cuellar, Jorge [editor.] Lopez, Javier [editor.] Barthe, Gilles [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6710 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)
	2.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / by Barthe, Gilles [editor.] Pardo, Alberto [editor.] Schneider, Gerardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7041 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)
	3.	Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by Barthe, Gilles [editor.] Fournet, Cédric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4912 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / by Barthe, Gilles [editor.] Datta, Anupam [editor.] Etalle, Sandro [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7140 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / by Barthe, Gilles [editor.] Burdy, Lilian [editor.] Huisman, Marieke [editor.] Lanet, Jean-Louis [editor.] Muntean, Traian [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3362 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)
	6.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / by Barthe, Gilles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5051 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / by Barthe, Gilles [editor.] Gregoire, Benjamin [editor.] Huisman, Marieke [editor.] Lanet, Jean-Luis [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3956 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)
	8.	Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings / by Barthe, Gilles [editor.] Livshits, Ben [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7159 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Security and Trust Management [electronic resource] : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / by Barthe, Gilles [editor.] Markatos, Evangelos [editor.] Samarati, Pierangela [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9871 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Barthe, Gilles [editor.] Hermenegildo, Manuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5944 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Barthe, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6602 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)
	12.	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)
	13.	Applied Semantics [electronic resource] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / by Barthe, Gilles [editor.] Dybjer, Peter [editor.] Pinto, Luis [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2395 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 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