Results of search for 'su:{Computer programming.}' › National Library of India catalog

Results
	2341.	Intelligent Systems [electronic resource] : 11th Brazilian Conference, BRACIS 2022, Campinas, Brazil, November 28 - December 1, 2022, Proceedings, Part I / edited by João Carlos Xavier-Junior, Ricardo Araújo Rios. by Xavier-Junior, João Carlos [editor.] Rios, Ricardo Araújo [editor.] Series: Lecture Notes in Artificial Intelligence ; 13653 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	2342.	Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption [electronic resource] : 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings / edited by Isabel Hilliger, Pedro J. Muñoz-Merino, Tinne De Laet, Alejandro Ortega-Arranz, Tracie Farrell. by Hilliger, Isabel [editor.] Muñoz-Merino, Pedro J [editor.] De Laet, Tinne [editor.] Ortega-Arranz, Alejandro [editor.] Farrell, Tracie [editor.] Series: Lecture Notes in Computer Science ; 13450 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 371.334. Place hold Save to lists
	2343.	String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat. by Kurland, Oren [edt] Lewenstein, Moshe [edt] Porat, Ely [edt] Series: Lecture Notes in Computer Science ; 8214 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2344.	NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri. by Rozier, Kristin Yvonne [editor.] Chaudhuri, Swarat [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	2345.	High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [edt] Marques, Osni [edt] Nakajima, Kengo [edt] Series: Lecture Notes in Computer Science ; 7851 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2346.	Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by Masulli, Francesco [edt] Pasi, Gabriella [edt] Yager, Ronald [edt] Series: Lecture Notes in Computer Science ; 8256 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2347.	Social Justice, Media and Technology in Teacher Education [electronic resource] : 27th ATEE Spring Conference, ATEE 2021, Florence, Italy, October 28-29, 2021, Revised Selected Papers / edited by Maria Ranieri, Marta Pellegrini, Laura Menichetti, Alice Roffi, Damiana Luzzi. by Ranieri, Maria [editor.] Pellegrini, Marta [editor.] Menichetti, Laura [editor.] Roffi, Alice [editor.] Luzzi, Damiana [editor.] Series: Communications in Computer and Information Science ; 1649 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 370.711. Place hold Save to lists
	2348.	Internet of Things. IoT through a Multi-disciplinary Perspective [electronic resource] : 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, The Netherlands, October 27-28, 2022, Proceedings / edited by Luis M. Camarinha-Matos, Luis Ribeiro, Leon Strous. by Camarinha-Matos, Luis M [editor.] Ribeiro, Luis [editor.] Strous, Leon [editor.] Series: IFIP Advances in Information and Communication Technology ; 665 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004. Place hold Save to lists
	2349.	AI 2022: Advances in Artificial Intelligence [electronic resource] : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings / edited by Haris Aziz, Débora Corrêa, Tim French. by Aziz, Haris [editor.] Corrêa, Débora [editor.] French, Tim [editor.] Series: Lecture Notes in Artificial Intelligence ; 13728 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	2350.	Computer Science - CACIC 2022 [electronic resource] : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers / edited by Patricia Pesado. by Pesado, Patricia [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.39 \| 004.6. Place hold Save to lists
	2351.	Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke. by Morgenstern, Leora [edt] Stefaneas, Petros [edt] Lévy, François [edt] Wyner, Adam [edt] Paschke, Adrian [edt] Series: Lecture Notes in Computer Science ; 8035 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2352.	Scalable Uncertainty Management [electronic resource] : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / edited by Christoph Beierle, Alex Dekhtyar. by Beierle, Christoph [edt] Dekhtyar, Alex [edt] Series: Lecture Notes in Computer Science ; 9310 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2353.	Combinatorial Optimization and Applications [electronic resource] : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / edited by Zhao Zhang, Lidong Wu, Wen Xu, Ding-Zhu Du. by Zhang, Zhao [edt] Wu, Lidong [edt] Xu, Wen [edt] Du, Ding-Zhu [edt] Series: Lecture Notes in Computer Science ; 8881 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2354.	Human Interface and the Management of Information [electronic resource] : Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Hirohiko Mori, Yumi Asahi. by Mori, Hirohiko [editor.] Asahi, Yumi [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.437 \| 004.019. Place hold Save to lists
	2355.	Adaptive and Natural Computing Algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser. by Tomassini, Marco [edt] Antonioni, Alberto [edt] Daolio, Fabio [edt] Buesser, Pierre [edt] Series: Lecture Notes in Computer Science ; 7824 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2356.	Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Järvisalo, Matti [edt] Van Gelder, Allen [edt] Series: Lecture Notes in Computer Science ; 7962 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2357.	CONCUR 2014 - Concurrency Theory [electronic resource] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings / edited by Paolo Baldan, Daniele Gorla. by Baldan, Paolo [edt] Gorla, Daniele [edt] Series: Lecture Notes in Computer Science ; 8704 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2358.	Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004. Place hold Save to lists
	2359.	Towards Autonomous Robotic Systems [electronic resource] : 23rd Annual Conference, TAROS 2022, Culham, UK, September 7-9, 2022, Proceedings / edited by Salvador Pacheco-Gutierrez, Alice Cryer, Ipek Caliskanelli, Harun Tugal, Robert Skilton. by Pacheco-Gutierrez, Salvador [editor.] Cryer, Alice [editor.] Caliskanelli, Ipek [editor.] Tugal, Harun [editor.] Skilton, Robert [editor.] Series: Lecture Notes in Artificial Intelligence ; 13546 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	2360.	Parallel Computational Technologies [electronic resource] : 16th International Conference, PCT 2022, Dubna, Russia, March 29-31, 2022, Revised Selected Papers / edited by Leonid Sokolinsky, Mikhail Zymbler. by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [editor.] Series: Communications in Computer and Information Science ; 1618 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.2. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 2465 results.