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

Results
	1.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 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)
	2.	Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by ter Beek, Maurice H [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12327 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.	Transactions on Computational Collective Intelligence XXXV [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Mercik, Jacek [editor.] Motylska-Kuźma, Anna [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 12330 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Social, Cultural, and Behavioral Modeling [electronic resource] : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / by Thomson, Robert [editor.] Dancy, Christopher [editor.] Hyder, Ayaz [editor.] Bisgin, Halil [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10899 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)
	5.	Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / by Xiao, Bin [editor.] Yang, Laurence T [editor.] Muller-Schloer, Christian [editor.] Hua, Yu [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4610 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)
	6.	Applications of Evolutionary Computation [electronic resource] : 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Castillo, Pedro A [editor.] Jiménez Laredo, Juan Luis [editor.] Fernández de Vega, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12104 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)
	7.	Multiple Classifier Systems [electronic resource] : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings / by Roli, Fabio [editor.] Kittler, Josef [editor.] Windeatt, Terry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3077 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)
	8.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 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)
	9.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Palma, José M.L.M [editor.] Couthino, Álvaro L.G.A [editor.] Pacitti, Esther [editor.] Correia Lopes, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4395 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)
	10.	Advances in Information Systems [electronic resource] : Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings / by Yakhno, Tatyana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3261 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)
	11.	Artificial Life and Computational Intelligence [electronic resource] : Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings / by Ray, Tapabrata [editor.] Sarker, Ruhul [editor.] Li, Xiaodong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9592 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I / by Hao, Yue [editor.] Liu, Jiming [editor.] Wang, Yuping [editor.] Cheung, Yiu-ming [editor.] Yin, Hujun [editor.] Jiao, Licheng [editor.] Ma, Jianfeng [editor.] Jiao, Yong-Chang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3801 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)
	13.	Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Premaratne, Prashan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9225 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III / by Loo, Chu Kiong [editor.] Keem Siah, Yap [editor.] Wong, Kok Wai [editor.] Beng Jin, Andrew Teoh [editor.] Huang, Kaizhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8836 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Intelligent Computing Theories and Application [electronic resource] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Premaratne, Prashan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9771 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Risks and Security of Internet and Systems [electronic resource] : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers / by Cuppens, Frédéric [editor.] Cuppens, Nora [editor.] Lanet, Jean-Louis [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10158 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Transactions on Computational Science XXXIII [electronic resource] / by Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 10990 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings / by Geffert, Villiam [editor.] Karhumäki, Juhani [editor.] Bertoni, Alberto [editor.] Preneel, Bart [editor.] Návrat, Pavol [editor.] Bieliková, Mária [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4910 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)
	19.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 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)
	20.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 135 results.