Your search returned 6 results.

Results
	1.	Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Chen, Qingfeng [author.] Zhang, Chengqi [author.] Zhang, Shichao [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5111 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)
	2.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by Baier, Christel [editor.] Caires, Luís [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10854 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bouyssounouse, Bruno [editor.] Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3436 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)
	5.	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 / by Yang, Laurence T [editor.] Jin, Hai [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4158 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.	Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by Ramos, Felix F [editor.] Lrios Rosillo, Victor [editor.] Unger, Herwig [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3563 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)

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