Your search returned 4 results.

Results
	1.	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)
	2.	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / by Etalle, Sandro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3573 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.	Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers / by Degano, Pierpaolo [editor.] Etalle, Sandro [editor.] Guttman, Joshua [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6561 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)
	4.	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Etalle, Sandro [editor.] Truszczynski, Miroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4079 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)

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