Your search returned 15 results.

Results
	1.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by Ciardo, Gianfranco [editor.] Darondeau, Philippe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3536 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.	Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I / by Allen, Gabrielle [editor.] Nabrzyski, Jaroslaw [editor.] Seidel, Edward [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5544 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)
	4.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / by Kleijn, Jetty [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4546 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)
	5.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings / by Shen, Hong [editor.] Sang, Yingpeng [editor.] Zhang, Yong [editor.] Xiao, Nong [editor.] Arabnia, Hamid R [editor.] Fox, Geoffrey [editor.] Gupta, Ajay [editor.] Malek, Manu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13148 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / by Zhang, Wu [editor.] Chen, Zhangxin [editor.] Douglas, Craig C [editor.] Tong, Weiqin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5938 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)
	7.	Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II / by Allen, Gabrielle [editor.] Nabrzyski, Jaroslaw [editor.] Seidel, Edward [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5545 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.	Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings / by Cérin, Christophe [editor.] Li, Kuan-Ching [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4459 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)
	9.	Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / by Tempesti, Gianluca [editor.] Tyrrell, Andy [editor.] Miller, Julian F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6274 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)
	10.	Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by Chung, Yeh-Ching [editor.] Moreira, José E [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3947 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)
	11.	Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / by Tixeuil, Sébastien [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3764 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)
	12.	Architecture of Computing Systems - ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings / by Ungerer, Theo [editor.] Hochberger, Christian [editor.] Spallek, Rainer G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4934 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)
	13.	Distributed Computing – IWDC 2005 [electronic resource] : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings / by Pal, Ajit [editor.] Kshemkalyani, Ajay D [editor.] Kumar, Rajeev [editor.] Gupta, Arobinda [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3741 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)
	14.	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / by Donatelli, Susanna [editor.] Thiagarajan, P.S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4024 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)
	15.	Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings / by Tovar, Eduardo [editor.] Tsigas, Philippas [editor.] Fouchal, Hacène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4878 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)

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