Results of search for 'su:{Compilers Computer programs}' › National Library of India catalog

Results
	41.	Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings / edited by Chung-Kil Hur. by Hur, Chung-Kil [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.45. Place hold Save to lists
	42.	Programming Languages and Systems [electronic resource] : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / edited by Ilya Sergey. by Sergey, Ilya [editor.] Series: Lecture Notes in Computer Science ; 13658 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: 005.45. Place hold Save to lists
	43.	Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. by Musch, Olaf [author.] Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.11. Place hold Save to lists
	44.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings / edited by Georg Gottlob, Daniela Inclezan, Marco Maratea. by Gottlob, Georg [editor.] Inclezan, Daniela [editor.] Maratea, Marco [editor.] Series: Lecture Notes in Artificial Intelligence ; 13416 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
	45.	Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. by Porkoláb, Zoltán [editor.] Zsók, Viktória [editor.] Series: 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.11. Place hold Save to lists
	46.	Informatics in Schools. A Step Beyond Digital Education [electronic resource] : 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26-28, 2022, Proceedings / edited by Andreas Bollin, Gerald Futschek. by Bollin, Andreas [editor.] Futschek, Gerald [editor.] Series: Lecture Notes in Computer Science ; 13488 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
	47.	Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings / edited by Nikos Katzouris, Alexander Artikis. by Katzouris, Nikos [editor.] Artikis, Alexander [editor.] Series: Lecture Notes in Artificial Intelligence ; 13191 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: (1)Call number: 006.3. Place hold Save to lists
	48.	Accelerator Programming Using Directives [electronic resource] : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara. by Bhalachandra, Sridutt [editor.] Daley, Christopher [editor.] Melesse Vergara, Verónica [editor.] Series: Programming and Software Engineering ; 13194 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: 005.45. Place hold Save to lists
	49.	Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina. by Bloem, Roderick [editor.] Dimitrova, Rayna [editor.] Fan, Chuchu [editor.] Sharygina, Natasha [editor.] Series: Programming and Software Engineering ; 13124 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: (1)Call number: 004.0151. Place hold Save to lists
	50.	Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz. by Ciabattoni, Agata [editor.] Pimentel, Elaine [editor.] de Queiroz, Ruy J. G. B [editor.] Series: Lecture Notes in Computer Science ; 13468 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
	51.	Software Product Management [electronic resource] : The ISPMA®-Compliant Study Guide and Handbook / by Hans-Bernd Kittlaus. by Kittlaus, Hans-Bernd [author.] Edition: 2nd ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.6. Place hold Save to lists
	52.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi. by Katsaros, Panagiotis [editor.] Nenzi, Laura [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
	53.	ICT Education [electronic resource] : 50th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2021, Johannesburg, South Africa, July 16, 2021, Revised Selected Papers / edited by Wai Sze Leung, Marijke Coetzee, Duncan Coulter, Deon Cotterrell. by Leung, Wai Sze [editor.] Coetzee, Marijke [editor.] Coulter, Duncan [editor.] Cotterrell, Deon [editor.] Series: Communications in Computer and Information Science ; 1461 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
	54.	Networked Systems [electronic resource] : 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings / edited by Mohammed-Amine Koulali, Mira Mezini. by Koulali, Mohammed-Amine [editor.] Mezini, Mira [editor.] Series: Lecture Notes in Computer Science ; 13464 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.6. Place hold Save to lists
	55.	Database Systems for Advanced Applications. DASFAA 2023 International Workshops [electronic resource] : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings / edited by Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin. by El Abbadi, Amr [editor.] Dobbie, Gillian [editor.] Feng, Zhiyong [editor.] Chen, Lu [editor.] Tao, Xiaohui [editor.] Shao, Yingxia [editor.] Yin, Hongzhi [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: 6,312. Place hold Save to lists
	56.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman. by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] Series: Lecture Notes in Computer Science ; 13487 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: 005.45. Place hold Save to lists
	57.	Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11-14, 2022, Proceedings / edited by Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy. by Rage, Uday Kiran [editor.] Goyal, Vikram [editor.] Reddy, P. Krishna [editor.] Series: Lecture Notes in Computer Science ; 13248 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: (1)Call number: 006.312. Place hold Save to lists
	58.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Alessandro Cimatti, Laura Titolo. by Cimatti, Alessandro [editor.] Titolo, Laura [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.45. Place hold Save to lists
	59.	Formal Methods and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. by Li, Yi [editor.] Tahar, Sofiène [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: 004.0151. Place hold Save to lists
	60.	AIxIA 2022 - Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini. by Dovier, Agostino [editor.] Montanari, Angelo [editor.] Orlandini, Andrea [editor.] Series: 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: 006.3. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 72 results.