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

Results
	2021.	The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré. by Moot, Richard Retoré, Christian [jt.aut] Series: Lecture Notes in Computer Science ; 6850 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
	2022.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [edt] Potapov, Igor [edt] Series: Lecture Notes in Computer Science ; 8169 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
	2023.	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [edt] Ong, Luke [edt] Panangaden, Prakash [edt] Series: Lecture Notes in Computer Science ; 7860 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
	2024.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / edited by Erika Ábrahám, Klaus Havelund. by Ábrahám, Erika [edt] Havelund, Klaus [edt] Series: Lecture Notes in Computer Science ; 8413 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
	2025.	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures / edited by Anne Remke, Mariëlle Stoelinga. by Remke, Anne [edt] Stoelinga, Mariëlle [edt] Series: Lecture Notes in Computer Science ; 8453 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
	2026.	Clouds AI edition : learning computers and coding 8 / Sarika Kaushal by Kaushal, Sarika Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 K 167 cl (Class-8). Place hold Request article Save to lists
	2027.	Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth. by Roubtsova, Ella [edt] McNeile, Ashley [edt] Kindler, Ekkart [edt] Gerth, Christian [edt] Series: Lecture Notes in Computer Science ; 6368 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
	2028.	Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann. by Sloane, Anthony [edt] Aßmann, Uwe [edt] Series: Lecture Notes in Computer Science ; 6940 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
	2029.	Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jérôme Leroux, Igor Potapov. by Finkel, Alain [edt] Leroux, Jérôme [edt] Potapov, Igor [edt] Series: Lecture Notes in Computer Science ; 7550 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
	2030.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos. by Bulling, Nils [edt] Torre, Leendert van der [edt] Villata, Serena [edt] Jamroga, Wojtek [edt] Vasconcelos, Wamberto [edt] Series: Lecture Notes in Computer Science ; 8624 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
	2031.	Clouds AI edition : learning computers and coding 6 / Sarika Kaushal by Kaushal, Sarika Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 K 167 cl (class-6). Place hold Request article Save to lists
	2032.	Clouds AI edition : learning computers and coding 7 / Sarika Kaushal by Kaushal, Sarika Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 K 167 cl (Class-7). Place hold Request article Save to lists
	2033.	Clouds AI edition : learning computers and coding 2 / Deepa Bhandari by Bhandari, Deepa Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 B 469 cl (Class-2). Place hold Request article Save to lists
	2034.	Clouds AI edition : learning computers and coding 3 / Deepa Bhandari by Bhandari, Deepa Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 B 469 cl (Class-3). Place hold Request article Save to lists
	2035.	Microsoft .Net remoting / Scott McLean, James Naftel [and] Kim Williams by McLean, Scott Naftel, James [jt. aut] Williams, Kim [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Tata McGraw-Hill Education, c2003 Availability: Items available for loan: National Library of India (1)Call number: E 004.65 M 223. Place hold Request article Save to lists
	2036.	No cover image available Real-time systems design and analysis: an engineer's handbook/ Phillip A. Laplante by Laplante, Phillip A Edition: 2nd ed. Material type: Text; Format: print Language: English Publication details: New Delhi: Prentice-Hall of India, 2000 Availability: Items available for loan: National Library of India (1)Call number: E 621.392 L 316. Place hold Request article Save to lists
	2037.	No cover image available Interactive computer graphics : data structures, algorithms, languages / Wolfgang K. Giloi by Giloi, Wolfgang K Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hall of India, 1988 Availability: Items available for loan: National Library of India (1)Call number: S.T 001.6084 G 426. Place hold Request article Save to lists
	2038.	Computer Fundamentals : Concepts, systems & applications / Pradeep K. Sinha and Priti Sinha by Sinha, Pradeep K Edition: 8th ed. Publication details: New Delhi : BPB Publications , 2021 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.3 Si 64 (8). Place hold Request article Save to lists
	2039.	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
	2040.	The Quadratic Unconstrained Binary Optimization Problem [electronic resource] : Theory, Algorithms, and Applications / edited by Abraham P. Punnen. by Punnen, Abraham P [editor.] 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: 658.403. 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.