Results of search for 'ccl=su:{Computation}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	181.	Agents and Artificial Intelligence [electronic resource] : 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers / by Rocha, Ana Paula [editor.] Steels, Luc [editor.] van den Herik, Jaap [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12613 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	182.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / by Kotsireas, Ilias S [editor.] Rump, Siegfried M [editor.] Yap, Chee K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9582 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)
	183.	NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11460 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	184.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	185.	Innovations and Interdisciplinary Solutions for Underserved Areas [electronic resource] : Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings / by Bassioni, Ghada [editor.] Kebe, Cheikh M.F [editor.] Gueye, Assane [editor.] Ndiaye, Ababacar [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 296 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	186.	Theory of Evolutionary Computation [electronic resource] : Recent Developments in Discrete Optimization / by Doerr, Benjamin [editor.] Neumann, Frank [editor.] SpringerLink (Online service) Series: Natural Computing Series 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)
	187.	Model-Driven Engineering and Software Development [electronic resource] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by Hammoudi, Slimane [editor.] Pires, Luís Ferreira [editor.] Selić, Bran [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1161 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)
	188.	Algorithms and Models for the Web Graph [electronic resource] : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings / by Kamiński, Bogumił [editor.] Prałat, Paweł [editor.] Szufel, Przemysław [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12091 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)
	189.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
	190.	Parallel Problem Solving from Nature – PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / by Bäck, Thomas [editor.] Preuss, Mike [editor.] Deutz, André [editor.] Wang, Hao [editor.] Doerr, Carola [editor.] Emmerich, Michael [editor.] Trautmann, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12269 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)
	191.	Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings / by Huynh, Van-Nam [editor.] Entani, Tomoe [editor.] Jeenanunta, Chawalit [editor.] Inuiguchi, Masahiro [editor.] Yenradee, Pisal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12482 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)
	192.	Foundations of Intelligent Systems [electronic resource] : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings / by Kryszkiewicz, Marzena [editor.] Appice, Annalisa [editor.] Ślęzak, Dominik [editor.] Rybinski, Henryk [editor.] Skowron, Andrzej [editor.] Raś, Zbigniew W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10352 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)
	193.	Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / by Ferrández Vicente, José Manuel [editor.] Álvarez-Sánchez, José Ramón [editor.] de la Paz López, Félix [editor.] Toledo-Moreo, Fco. Javier [editor.] Adeli, Hojjat [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9108 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)
	194.	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)
	195.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Pipek, Volkmar [editor.] Rosson, Mary-Beth [editor.] Wulf, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5435 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)
	196.	Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by Kaliszyk, Cezary [editor.] Brady, Edwin [editor.] Kohlhase, Andrea [editor.] Sacerdoti Coen, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11617 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	197.	Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by S. Barbosa, Luís [editor.] Ali Abam, Mohammad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12281 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)
	198.	Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Gribaudo, Marco [editor.] Jansen, David N [editor.] Remke, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12289 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)
	199.	Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by Papadakis, Mike [editor.] Vergilio, Silvia Regina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13711 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)
	200.	Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy [electronic resource] : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers / by Sun, Maosong [editor.] Qi, Guilin [editor.] Liu, Kang [editor.] Ren, Jiadong [editor.] Xu, Bin [editor.] Feng, Yansong [editor.] Liu, Yongbin [editor.] Chen, Yubo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1669 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2786 results.