Your search returned 499 results.

Results
	481.	Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. by Cerone, Antonio [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.1. Place hold Save to lists
	482.	Object oriented programming with C++/ M. T. Somashekara ... [et al.] by Somaskhekara, M. T Guru, D. S Nagendraswamy, H. S Manjunatha, K. S Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : PHI Learning, 2012 Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Ob 3. Place hold Request article Save to lists
	483.	No cover image available Perfect Computer Course پرفیکٹ کمپیوٹر کورس / نییم احسن Nayeem Ashan by نییم احسن Material type: Text; Format: print ; Literary form: Not fiction Language: Urdu Publication details: New Delhi: Al-Ala Publications, 2015 Availability: Items available for loan: National Library of India (1)Call number: U 005.102 N 749 pe. Place hold Request article Save to lists
	484.	Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. by Chechik, Marsha [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [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.1. Place hold Save to lists
	485.	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
	486.	Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira. by Chapman, Barbara [editor.] Moreira, José [editor.] Series: Theoretical Computer Science and General Issues ; 13149 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: 005.13. Place hold Save to lists
	487.	Programming in Two Semesters [electronic resource] : Using Python and Java / by Quentin Charatan, Aaron Kans. by Charatan, Quentin [author.] Kans, Aaron [author.] Series: Texts in Computer Science 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.11. Place hold Save to lists
	488.	Artificial Intelligence with Python [electronic resource] / by Teik Toe Teoh, Zheng Rong. by Teoh, Teik Toe [author.] Rong, Zheng [author.] Series: Machine Learning: Foundations, Methodologies, and Applications 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: (1)Call number: 006.3. Place hold Save to lists
	489.	Genetic Programming [electronic resource] : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by Gisele Pappa, Mario Giacobini, Zdenek Vasicek. by Pappa, Gisele [editor.] Giacobini, Mario [editor.] Vasicek, Zdenek [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.13. Place hold Save to lists
	490.	Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Eric Medvet, Gisele Pappa, Bing Xue. by Medvet, Eric [editor.] Pappa, Gisele [editor.] Xue, Bing [editor.] Series: Lecture Notes in Computer Science ; 13223 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.13. Place hold Save to lists
	491.	Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang. by Chang, Stephen [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.11. Place hold Save to lists
	492.	Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers / edited by Wouter Swierstra, Nicolas Wu. by Swierstra, Wouter [editor.] Wu, Nicolas [editor.] Series: Lecture Notes in Computer Science ; 13401 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.11. Place hold Save to lists
	493.	Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi. by Hanus, Michael [editor.] Igarashi, Atsushi [editor.] Series: Lecture Notes in Computer Science ; 13215 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: 005.1. Place hold Save to lists
	494.	Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey. by Gebser, Martin [editor.] Sergey, Ilya [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.13. Place hold Save to lists
	495.	Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri. by Cheney, James [editor.] Perri, Simona [editor.] Series: Programming and Software Engineering ; 13165 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.13. Place hold Save to lists
	496.	Vue. JS Framework [electronic resource] : Design and Implementation / by HcySun Yang. by Yang, HcySun [author.] 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.76. Place hold Save to lists
	497.	Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak. by Varzinczak, Ivan [editor.] Series: Lecture Notes in Computer Science 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.131. Place hold Save to lists
	498.	Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan. by Hanus, Michael [editor.] Inclezan, Daniela [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.13. Place hold Save to lists
	499.	Service-Oriented Computing - ICSOC 2021 Workshops [electronic resource] : AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22-25, 2021, Proceedings / edited by Hakim Hacid, Monther Aldwairi, Mohamed Reda Bouadjenek, Marinella Petrocchi, Noura Faci, Fatma Outay, Amin Beheshti, Lauritz Thamsen, Hai Dong. by Hacid, Hakim [editor.] Aldwairi, Monther [editor.] Bouadjenek, Mohamed Reda [editor.] Petrocchi, Marinella [editor.] Faci, Noura [editor.] Outay, Fatma [editor.] Beheshti, Amin [editor.] Thamsen, Lauritz [editor.] Dong, Hai [editor.] Series: Lecture Notes in Computer Science ; 13236 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.3. Place hold Save to lists

First
Previous
16
17
18
19
20
21
22
23
24
25

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India