Your search returned 11 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.	Intelligent Computer Mathematics [electronic resource] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by Benzmüller, Christoph [editor.] Miller, Bruce [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12236 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)
	3.	Applied Computer Sciences in Engineering [electronic resource] : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by Figueroa-García, Juan Carlos [editor.] Garay-Rairán, Fabián Steven [editor.] Hernández-Pérez, Germán Jairo [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1274 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)
	4.	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)
	5.	Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / by Aykanat, Cevdet [editor.] Dayar, Tugrul [editor.] Korpeoglu, Ibrahim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3280 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)
	6.	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)
	7.	Agents for Games and Simulations II [electronic resource] : Trends in Techniques, Concepts and Design / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6525 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)
	8.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / by van der Aalst, Wil M. P [editor.] Ajmone Marsan, Marco [editor.] Franceschinis, Giuliana [editor.] Kleijn, Jetty [editor.] Kristensen, Lars M [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7400 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.	Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / by Arcaini, Paolo [editor.] Yue, Tao [editor.] Fredericks, Erik M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14415 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers / by Yavorskiy, Rostislav [editor.] Cavalli, Ana Rosa [editor.] Kalenkova, Anna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1559 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Zhao, Feng [editor.] Guibas, Leonidas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2634 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 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