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

Results
	2281.	New Developments in Legal Reasoning and Logic [electronic resource] : From Ancient Law to Modern Legal Systems / edited by Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes. by Rahman, Shahid [editor.] Armgardt, Matthias [editor.] Kvernenes, Hans Christian Nordtveit [editor.] Series: Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences ; 23 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: 160. Place hold Save to lists
	2282.	Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales. by Hermenegildo, Manuel V [editor.] Morales, José F [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.0151. Place hold Save to lists
	2283.	Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings / edited by Gagandeep Singh, Caterina Urban. by Singh, Gagandeep [editor.] Urban, Caterina [editor.] Series: Lecture Notes in Computer Science ; 13790 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	2284.	Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu. by Fensel, Anna [editor.] Ozaki, Ana [editor.] Roman, Dumitru [editor.] Soylu, Ahmet [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.0151. Place hold Save to lists
	2285.	Machine Translation [electronic resource] : 19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023, Proceedings / edited by Yang Feng, Chong Feng. by Feng, Yang [editor.] Feng, Chong [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.35. Place hold Save to lists
	2286.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] Series: Texts in Theoretical Computer Science. An EATCS Series 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.0151. Place hold Save to lists
	2287.	Machine Translation [electronic resource] : 18th China Conference, CCMT 2022, Lhasa, China, August 6-10, 2022, Revised Selected Papers / edited by Tong Xiao, Juan Pino. by Xiao, Tong [editor.] Pino, Juan [editor.] Series: Communications in Computer and Information Science ; 1671 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.35. Place hold Save to lists
	2288.	High Performance Computing [electronic resource] : 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26-30, 2022, Revised Selected Papers / edited by Philippe Navaux, Carlos J. Barrios H., Carla Osthoff, Ginés Guerrero. by Navaux, Philippe [editor.] Barrios H., Carlos J [editor.] Osthoff, Carla [editor.] Guerrero, Ginés [editor.] Series: Communications in Computer and Information Science ; 1660 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: 621.39 \| 004.6. Place hold Save to lists
	2289.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by Libkin, Leonid [edt] Kohlenbach, Ulrich [edt] Queiroz, Ruy de [edt] Series: Lecture Notes in Computer Science ; 8071 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
	2290.	Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [edt] Ranise, Silvio [edt] Series: Lecture Notes in Computer Science ; 8203 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
	2291.	Software Engineering for Games in Serious Contexts [electronic resource] : Theories, Methods, Tools, and Experiences / edited by Kendra M. L. Cooper, Antonio Bucchiarone. by Cooper, Kendra M. L [editor.] Bucchiarone, Antonio [editor.] 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
	2292.	Computational and Corpus-Based Phraseology [electronic resource] : 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings / edited by Gloria Corpas Pastor, Ruslan Mitkov. by Corpas Pastor, Gloria [editor.] Mitkov, Ruslan [editor.] Series: Lecture Notes in Artificial Intelligence ; 13528 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
	2293.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh. by Gelbukh, Alexander [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: 006.35. Place hold Save to lists
	2294.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston. by Petrucci, Laure [editor.] Sproston, Jeremy [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.0151. Place hold Save to lists
	2295.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker. by Bogomolov, Sergiy [editor.] Parker, David [editor.] Series: Lecture Notes in Computer Science ; 13465 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.0151. Place hold Save to lists
	2296.	Human-Technology Interaction [electronic resource] : Shaping the Future of Industrial User Interfaces / edited by Carsten Röcker, Sebastian Büttner. by Röcker, Carsten [editor.] Büttner, Sebastian [editor.] Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : 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
	2297.	Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira. by de Paiva, Valeria [edt] de Queiroz, Ruy [edt] Moss, Lawrence S [edt] Leivant, Daniel [edt] de Oliveira, Anjolina G [edt] Series: Lecture Notes in Computer Science ; 9160 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	2298.	Computer Science and Education [electronic resource] : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III / edited by Wenxing Hong, Yang Weng. by Hong, Wenxing [editor.] Weng, Yang [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.3. Place hold Save to lists
	2299.	Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz. by Kohlenbach, Ulrich [edt] Barceló, Pablo [edt] Queiroz, Ruy de [edt] Series: Lecture Notes in Computer Science ; 8652 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
	2300.	Comparative Genomics [electronic resource] : 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022, Proceedings / edited by Lingling Jin, Dannie Durand. by Jin, Lingling [editor.] Durand, Dannie [editor.] Series: Lecture Notes in Bioinformatics ; 13234 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: 570.285. 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.