Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Application software and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Transactions on Computational Science XXVII [electronic resource] / by Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 9570 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	82.	Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings / by Nanya, Takashi [editor.] Maruyama, Fumihiro [editor.] Pataricza, Andras [editor.] Malek, Miroslaw [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5017 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)
	83.	Advances in Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / by Maher, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3321 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)
	84.	Metainformatics [electronic resource] : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers / by Hicks, David L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3002 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)
	85.	Advances in Applied Artificial Intelligence [electronic resource] : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings / by Ali, Moonis [editor.] Dapoigny, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4031 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)
	86.	Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by Deng, Hepu [editor.] Miao, Duoqian [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7002 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)
	87.	Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [electronic resource] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / by Guiochet, Jérémie [editor.] Tonetta, Stefano [editor.] Schoitsch, Erwin [editor.] Roy, Matthieu [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14182 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	88.	Semantics of a Networked World. Semantics for Grid Databases [electronic resource] : First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers / by Bouzeghoub, Mokrane [editor.] Goble, Carole [editor.] Kashyap, Vipul [editor.] Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3226 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)
	89.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Cimatti, Alessandro [editor.] Titolo, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14290 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	90.	Building a National Distributed e-Infrastructure -- PL-Grid [electronic resource] : Scientific and Technical Achievements / by Bubak, Marian [editor.] Szepieniec, Tomasz [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7136 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)
	91.	Transactions of Computational Collective Intelligence IV [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6660 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)
	92.	The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments / by Streitz, Norbert [editor.] Kameas, Achilles [editor.] Mavrommati, Irene [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4500 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)
	93.	New Trends in Applied Artificial Intelligence [electronic resource] : 20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings / by Okuno, Hiroshi G [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4570 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)
	94.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Bernardino, Jorge [editor.] Masciari, Elio [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1718 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Sales, Tiago Prince [editor.] Araújo, João [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14319 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	96.	AIxIA 2023 – Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / by Basili, Roberto [editor.] Lembo, Domenico [editor.] Limongelli, Carla [editor.] Orlandini, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14318 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	97.	Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings / by Li, Yi [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14308 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	98.	Internet and Network Economics [electronic resource] : 8th International Workshop, WINE 2012, Singapore, December 11-14, 2012. Proceedings / by Goldberg, Paul W [editor.] Guo, Mingyu [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7695 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)
	99.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Salgado, Ana [editor.] Bernardino, Jorge [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1608 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)
	100.	Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003 Shanhai, China, December 7–10, 2003 Revised Papers, Part I / by Li, Minglu [editor.] Sun, Xian-He [editor.] Deng, Qianni [editor.] Ni, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3032 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 123 results.