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

Results
	501.	Modelling and Development of Intelligent Systems [electronic resource] : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by Simian, Dana [editor.] Stoica, Laura Florentina [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1341 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)
	502.	Computational Collective Intelligence [electronic resource] : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by Nguyen, Ngoc Thanh [editor.] Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12876 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)
	503.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	504.	Genetic Programming Theory and Practice XIX [electronic resource] / by Trujillo, Leonardo [editor.] Winkler, Stephan M [editor.] Silva, Sara [editor.] Banzhaf, Wolfgang [editor.] SpringerLink (Online service) Series: Genetic and Evolutionary Computation 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)
	505.	Objective Information Theory [electronic resource] / by Xu, Jianfeng [author.] Wang, Shuliang [author.] Liu, Zhenyu [author.] Wang, Yashi [author.] Wang, Yingfei [author.] Dang, Yingxu [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	506.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 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)
	507.	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings / by Chaudron, Michel R. V [editor.] Szyperski, Clemens [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5282 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)
	508.	Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Koutny, Maciej [editor.] Kristensen, Lars Michael [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090 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)
	509.	Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by Sekerinski, Emil [editor.] Moreira, Nelma [editor.] Oliveira, José N [editor.] Ratiu, Daniel [editor.] Guidotti, Riccardo [editor.] Farrell, Marie [editor.] Luckcuck, Matt [editor.] Marmsoler, Diego [editor.] Campos, José [editor.] Astarte, Troy [editor.] Gonnord, Laure [editor.] Cerone, Antonio [editor.] Couto, Luis [editor.] Dongol, Brijesh [editor.] Kutrib, Martin [editor.] Monteiro, Pedro [editor.] Delmas, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12233 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)
	510.	WALCOM: Algorithms and Computation [electronic resource] : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by Uehara, Ryuhei [editor.] Hong, Seok-Hee [editor.] Nandy, Subhas C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12635 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)
	511.	Artificial Intelligence and Machine Learning [electronic resource] : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers / by Baratchi, Mitra [editor.] Cao, Lu [editor.] Kosters, Walter A [editor.] Lijffijt, Jefrey [editor.] van Rijn, Jan N [editor.] Takes, Frank W [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1398 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)
	512.	Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by Raschke, Alexander [editor.] Riccobene, Elvinia [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12750 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)
	513.	Membrane Computing [electronic resource] : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by Freund, Rudolf [editor.] Ishdorj, Tseren-Onolt [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12687 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)
	514.	Handbook of Computability and Complexity in Analysis [electronic resource] / by Brattka, Vasco [editor.] Hertling, Peter [editor.] SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe 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)
	515.	Artificial Intelligence [electronic resource] : 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings / by Kovalev, Sergei M [editor.] Kuznetsov, Sergei O [editor.] Panov, Aleksandr I [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12948 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)
	516.	WALCOM: Algorithms and Computation [electronic resource] : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings / by Lin, Chun-Cheng [editor.] Lin, Bertrand M. T [editor.] Liotta, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13973 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)
	517.	Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004 Calcutta, India, November 22–25, 2004 Proceedings / by Pal, Nikil R [editor.] Kasabov, Nikola [editor.] Mudi, Rajani K [editor.] Pal, Srimanta [editor.] Parui, Swapan K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3316 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)
	518.	Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by Hannig, Frank [editor.] Cardoso, João M.P [editor.] Pionteck, Thilo [editor.] Fey, Dietmar [editor.] Schröder-Preikschat, Wolfgang [editor.] Teich, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9637 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)
	519.	Semantics, Analytics, Visualization [electronic resource] : 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers / by González-Beltrán, Alejandra [editor.] Osborne, Francesco [editor.] Peroni, Silvio [editor.] Vahdati, Sahar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10959 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)
	520.	Computational Color Imaging [electronic resource] : 7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, Proceedings / by Tominaga, Shoji [editor.] Schettini, Raimondo [editor.] Trémeau, Alain [editor.] Horiuchi, Takahiko [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11418 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2786 results.