Results of search for 'su:{Computer program language}' › National Library of India catalog

Results
	1721.	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
	1722.	Rules and Reasoning [electronic resource] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings / edited by Guido Governatori, Anni-Yasmin Turhan. by Governatori, Guido [editor.] Turhan, Anni-Yasmin [editor.] Series: Lecture Notes in Computer Science ; 13752 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
	1723.	No cover image available Object technology & UML (IT); B.Tech 3rd year 1st semester, in accordance with WBUT syllabus/ Anirban Datta by Datta, Anirban West Bengal University of Technology (Kolkata) Series: Matrix reference series Edition: 4th rev. ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Kolkata : Matrix Educare, 2009 Availability: Items available for loan: National Library of India (1)Call number: E 005.117 D 262. Place hold Request article Save to lists
	1724.	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
	1725.	PLC Programming In Instruction List According To IEC 61131-3 [electronic resource] : A Systematic And Action-Oriented Introduction In Structured Programming / by Hans-Joachim Adam, Mathias Adam. by Adam, Hans-Joachim [author.] Adam, Mathias [author.] Edition: 1st 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: 629.8. Place hold Save to lists
	1726.	Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by Cossentino, Massimo [edt] Fallah Seghrouchni, Amal El [edt] Winikoff, Michael [edt] Series: Lecture Notes in Computer Science ; 8245 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
	1727.	Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma. by Streib, James T [author.] Soma, Takako [author.] Series: Edition: 2nd 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
	1728.	Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. by Dubois, Catherine [editor.] San Pietro, Pierluigi [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: 511.3. Place hold Save to lists
	1729.	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
	1730.	Java 2 Web developer certification study guide / Natalie Levi by Levi, Natalie Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : BPB Publications, 2003 Availability: Items available for loan: National Library of India (1)Call number: E 005.262 L 578. Place hold Request article Save to lists
	1731.	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
	1732.	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
	1733.	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
	1734.	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
	1735.	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
	1736.	Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems [electronic resource] : 5th International Conference, ICC3 2021, Coimbatore, India, December 16-18, 2021, Revised Selected Papers / edited by Indhumathi Raman, Poonthalir Ganesan, Venkatasamy Sureshkumar, Latha Ranganathan. by Raman, Indhumathi [editor.] Ganesan, Poonthalir [editor.] Sureshkumar, Venkatasamy [editor.] Ranganathan, Latha [editor.] Series: Communications in Computer and Information Science ; 1631 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.8. Place hold Save to lists
	1737.	OCaml Scientific Computing [electronic resource] : Functional Programming in Data Science and Artificial Intelligence / by Liang Wang, Jianxin Zhao, Richard Mortier. by Wang, Liang [author.] Zhao, Jianxin [author.] Mortier, Richard [author.] Series: Undergraduate Topics 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.13. Place hold Save to lists
	1738.	DNA Computing and Molecular Programming [electronic resource] : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / edited by Satoshi Murata, Satoshi Kobayashi. by Murata, Satoshi [edt] Kobayashi, Satoshi [edt] Series: Lecture Notes in Computer Science ; 8727 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
	1739.	Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Björn Franke. by Franke, Björn [edt] Series: Lecture Notes in Computer Science ; 9031 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
	1740.	MCSA/MCSE self-paced training kit : microsoft windows 2000 server - exam 70-215 Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publication details: new Delhi : Prentice-Hall, 2003 Availability: Items available for loan: National Library of India (1)Call number: E 005.262 M 583 s (2). Place hold Request article Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1904 results.