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

Results
	201.	R-Calculus, IV: Propositional Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution 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)
	202.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12143 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)
	203.	Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Britto, André [editor.] Valdivia Delgado, Karina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13073 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)
	204.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / by Gomes, Luis [editor.] Lorenz, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13929 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)
	205.	Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / by Cavalheiro, Simone [editor.] Fiadeiro, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10623 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)
	206.	Entertainment Computing – ICEC 2021 [electronic resource] : 20th IFIP TC 14 International Conference, ICEC 2021, Coimbra, Portugal, November 2–5, 2021, Proceedings / by Baalsrud Hauge, Jannicke [editor.] C. S. Cardoso, Jorge [editor.] Roque, Licínio [editor.] Gonzalez-Calero, Pedro A [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 13056 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)
	207.	Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Correia, João [editor.] Smith, Stephen [editor.] Qaddoura, Raneem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13989 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)
	208.	Artificial Intelligence Applications and Innovations [electronic resource] : 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14–17, 2023, Proceedings, Part II / by Maglogiannis, Ilias [editor.] Iliadis, Lazaros [editor.] MacIntyre, John [editor.] Dominguez, Manuel [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 676 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)
	209.	Artificial Intelligence Applications and Innovations [electronic resource] : 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14–17, 2023, Proceedings, Part I / by Maglogiannis, Ilias [editor.] Iliadis, Lazaros [editor.] MacIntyre, John [editor.] Dominguez, Manuel [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 675 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)
	210.	Quality of Information and Communications Technology [electronic resource] : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings / by Piattini, Mario [editor.] Rupino da Cunha, Paulo [editor.] García Rodríguez de Guzmán, Ignacio [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1010 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)
	211.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Pérez Cáceres, Leslie [editor.] Stützle, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13987 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)
	212.	Mathematical Optimization Theory and Operations Research [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by Pardalos, Panos [editor.] Khachay, Michael [editor.] Kazakov, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12755 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)
	213.	Optimization and Applications [electronic resource] : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / by Olenev, Nicholas N [editor.] Evtushenko, Yuri G [editor.] Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13078 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)
	214.	Service-Oriented Computing [electronic resource] : 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings / by Hacid, Hakim [editor.] Kao, Odej [editor.] Mecella, Massimo [editor.] Moha, Naouel [editor.] Paik, Hye-young [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13121 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)
	215.	Performance Engineering and Stochastic Modeling [electronic resource] : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by Ballarini, Paolo [editor.] Castel, Hind [editor.] Dimitriou, Ioannis [editor.] Iacono, Mauro [editor.] Phung-Duc, Tuan [editor.] Walraevens, Joris [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13104 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)
	216.	Functional and Logic Programming [electronic resource] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by Gallagher, John P [editor.] Sulzmann, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10818 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)
	217.	Introduction to Computation [electronic resource] : Haskell, Logic and Automata / by Sannella, Donald [author.] Fourman, Michael [author.] Peng, Haoran [author.] Wadler, Philip [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	218.	Services Computing – SCC 2021 [electronic resource] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by Katangur, Ajay [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12995 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)
	219.	Mobile Forensics – The File Format Handbook [electronic resource] : Common File Formats and File Systems Used in Mobile Devices / by Hummert, Christian [editor.] Pawlaszczyk, Dirk [editor.] SpringerLink (Online service) 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)
	220.	Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by Diekert, Volker [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13257 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 435 results.