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

Results
	2121.	Java 2 certification exam guide for programmers and developers / Barry Boone [and] William R. Stanek by Boone, Barry Stanek, William R [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2000 Availability: Items available for loan: National Library of India (1)Call number: E 005.369076 B 644. Place hold Request article Save to lists
	2122.	Introduction to Auto CAD 2000 / J. T. Roberts by Roberts, J. T Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : BPB Publications, c2001 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.262 R 542. Place hold Request article Save to lists
	2123.	Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki [edt] Sardina, Sebastian [edt] Vasconcelos, Wamberto [edt] Winikoff, Michael [edt] Series: Lecture Notes in Computer Science ; 7169 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2124.	Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings / edited by Eduardo Fermé, João Leite. by Fermé, Eduardo [edt] Leite, João [edt] Series: Lecture Notes in Computer Science ; 8761 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
	2125.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link. by Hameurlain, Abdelkader [edt] Küng, Josef [edt] Wagner, Roland [edt] Decker, Hendrik [edt] Lhotska, Lenka [edt] Link, Sebastian [edt] Series: Lecture Notes in Computer Science ; 8980 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
	2126.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 7610 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2127.	Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Di Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael [edt] D'Ambra, Pasqua [edt] Belloum, Adam [edt] Bosilca, George [edt] Cannataro, Mario [edt] Danelutto, Marco [edt] Martino, Beniamino Di [edt] Gerndt, Michael [edt] Jeannot, Emmanuel [edt] Namyst, Raymond [edt] Roman, Jean [edt] Scott, Stephen L [edt] Traff, Jesper Larsson [edt] Vallée, Geoffroy [edt] Weidendorfer, Josef [edt] Series: Lecture Notes in Computer Science ; 7155 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2128.	Research in Attacks, Intrusions, and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings / edited by Davide Balzarotti, Salvatore J. Stolfo, Marco Cova. by Balzarotti, Davide [edt] Stolfo, Salvatore J [edt] Cova, Marco [edt] Series: Lecture Notes in Computer Science ; 7462 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2129.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen. by D'Souza, Deepak [edt] Lal, Akash [edt] Larsen, Kim Guldstrand [edt] Series: Lecture Notes in Computer Science ; 8931 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
	2130.	Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. by Fantechi, Alessandro [edt] Pelliccione, Patrizio [edt] Series: Lecture Notes in Computer Science ; 9274 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
	2131.	Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin. by Cabot, Jordi [edt] Rubin, Julia [edt] Series: Lecture Notes in Computer Science ; 8569 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
	2132.	Rudiments of modern computer application / Joyrup Bhattacharya by Bhattacharya, Joyrup Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Kolkata : Academic Publishers, 2019 Availability: Items available for loan: National Library of India (1)Call number: E 005.3019 B 469. Place hold Request article Save to lists
	2133.	Higher order basis based integral equation solver(HOBBIES) / Yu Zhang . . . [et al] by Zhang, Yu, 1978 - Yu Zhang Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Hoboken, New Jersey : John Whiley & Sons, 2012 Availability: Items available for loan: National Library of India (1)Call number: E 621.38413502855275 Z 61. Place hold Request article Save to lists
	2134.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin. by Bañares, José Ángel [editor.] Altmann, Jörn [editor.] Agmon Ben-Yehuda, Orna [editor.] Djemame, Karim [editor.] Stankovski, Vlado [editor.] Tuffin, Bruno [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.6. Place hold Save to lists
	2135.	Machine Intelligence and Emerging Technologies [electronic resource] : First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II / edited by Md. Shahriare Satu, Mohammad Ali Moni, M. Shamim Kaiser, Mohammad Shamsul Arefin. by Satu, Md. Shahriare [editor.] Moni, Mohammad Ali [editor.] Kaiser, M. Shamim [editor.] Arefin, Mohammad Shamsul [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.6. Place hold Save to lists
	2136.	Algorithms - ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / edited by Leah Epstein, Paolo Ferragina. by Epstein, Leah [edt] Ferragina, Paolo [edt] Series: Lecture Notes in Computer Science ; 7501 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2137.	Autonomous Driving Perception [electronic resource] : Fundamentals and Applications / edited by Rui Fan, Sicen Guo, Mohammud Junaid Bocus. by Fan, Rui [editor.] Guo, Sicen [editor.] Bocus, Mohammud Junaid [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: 629,892. Place hold Save to lists
	2138.	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
	2139.	Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. by Lal, Akash [editor.] Tonetta, Stefano [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: 004.0151. Place hold Save to lists
	2140.	Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings / edited by Adrian Riesco, Min Zhang. by Riesco, Adrian [editor.] Zhang, Min [editor.] Series: Lecture Notes in Computer Science ; 13478 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 2465 results.