Results of search for 'ccl=su:{ Computer science } and su-to:Computer Science and Engineering and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2961.	Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Sokolsky, Oleg [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4839 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)
	2962.	Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Patitz, Matthew J [editor.] Stannett, Mike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10240 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)
	2963.	Knowledge and Systems Sciences [electronic resource] : 21st International Symposium, KSS 2022, Beijing, China, June 11–12, 2022, Proceedings / by Chen, Jian [editor.] Hashimoto, Takashi [editor.] Tang, Xijin [editor.] Wu, Jiangning [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1592 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2964.	Engineering Multi-Agent Systems [electronic resource] : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers / by Ciortea, Andrei [editor.] Dastani, Mehdi [editor.] Luo, Jieting [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14378 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)
	2965.	Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by Yao, Xin [editor.] Burke, Edmund [editor.] Lozano, Jose A [editor.] Smith, Jim [editor.] Merelo-Guervós, Juan J [editor.] Bullinaria, John A [editor.] Rowe, Jonathan [editor.] Tino, Peter [editor.] Kabán, Ata [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3242 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)
	2966.	Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy [electronic resource] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I / by Mira, Jose [editor.] Ferrández, José M [editor.] Alvarez Sanchez, Jose-Ramon [editor.] Paz, Felix [editor.] Toledo, Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5601 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)
	2967.	Algorithms, Probability, Networks, and Games [electronic resource] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by Zaroliagis, Christos [editor.] Pantziou, Grammati [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9295 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)
	2968.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Jobstmann, Barbara [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9583 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)
	2969.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings / by Koch, Andreas [editor.] Krishnamurthy, Ram [editor.] McAllister, John [editor.] Woods, Roger [editor.] El-Ghazawi, Tarek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6578 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)
	2970.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / by Ouaknine, Joel [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5813 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)
	2971.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2972.	Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / by Berghammer, Rudolf [editor.] Jaoua, Ali [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5827 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)
	2973.	LATIN 2018: Theoretical Informatics [electronic resource] : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by Bender, Michael A [editor.] Farach-Colton, Martín [editor.] Mosteiro, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10807 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)
	2974.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10860 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)
	2975.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10861 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)
	2976.	Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by Iliopoulos, Costas [editor.] Leong, Hon Wai [editor.] Sung, Wing-Kin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10979 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)
	2977.	Interactivity, Game Creation, Design, Learning, and Innovation [electronic resource] : 8th EAI International Conference, ArtsIT 2019, and 4th EAI International Conference, DLI 2019, Aalborg, Denmark, November 6–8, 2019, Proceedings / by Brooks, Anthony [editor.] Brooks, Eva Irene [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 328 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)
	2978.	ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [electronic resource] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / by Bellatreche, Ladjel [editor.] Bieliková, Mária [editor.] Boussaïd, Omar [editor.] Catania, Barbara [editor.] Darmont, Jérôme [editor.] Demidova, Elena [editor.] Duchateau, Fabien [editor.] Hall, Mark [editor.] Merčun, Tanja [editor.] Novikov, Boris [editor.] Papatheodorou, Christos [editor.] Risse, Thomas [editor.] Romero, Oscar [editor.] Sautot, Lucile [editor.] Talens, Guilaine [editor.] Wrembel, Robert [editor.] Žumer, Maja [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1260 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)
	2979.	Computational Collective Intelligence [electronic resource] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / by Nguyen, Ngoc Thanh [editor.] Botzheim, János [editor.] Gulyás, László [editor.] Núñez, Manuel [editor.] Treur, Jan [editor.] Vossen, Gottfried [editor.] Kozierkiewicz, Adrianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14162 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)
	2980.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : Proceedings of PDCAT 2023 / by Park, Ji Su [editor.] Takizawa, Hiroyuki [editor.] Shen, Hong [editor.] Park, James J [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 1112 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)