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

Results
	1741.	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
	1742.	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
	1743.	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
	1744.	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
	1745.	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
	1746.	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
	1747.	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
	1748.	Chatbot Research and Design [electronic resource] : 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg. by Følstad, Asbjørn [editor.] Araujo, Theo [editor.] Papadopoulos, Symeon [editor.] Law, Effie L.-C [editor.] Luger, Ewa [editor.] Goodwin, Morten [editor.] Brandtzaeg, Petter Bae [editor.] Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 13171 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.35. Place hold Save to lists
	1749.	Regression and machine learning for education sciences using R / Cody Dingsen. by Dingsen, Cody [author.] Material type: Text; Literary form: Not fiction Publication details: New York, NY : Routledge, 2024 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 370.72/7. Place hold Save to lists
	1750.	Differential equations with Mathematica [electronic resource] / Martha L. Abell and James P. Braselton. by Abell, Martha L, 1962- [author.] Braselton, James P, 1965- [author.] Material type: Text; Literary form: Not fiction Language: English Publication details: London, United Kingdom : Academic Press, [2023] Online resources: Click Here Availability: Items available for loan: (1). Place hold Save to lists
	1751.	Logging in Java with the JDK 1.4 logging API and Apache log4j / Samudra Gupta by Gupta, Samudra, 1974- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berkeley : Apress, c2003 Availability: Items available for loan: National Library of India (1)Call number: E 005.133 G 959. Place hold Request article Save to lists
	1752.	Chatbot Research and Design [electronic resource] : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg. by Følstad, Asbjørn [editor.] Araujo, Theo [editor.] Papadopoulos, Symeon [editor.] Law, Effie L.-C [editor.] Luger, Ewa [editor.] Goodwin, Morten [editor.] Brandtzaeg, Petter Bae [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.35. Place hold Save to lists
	1753.	Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels. by Steels, Luc [edt] Series: Lecture Notes in Computer Science ; 7249 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
	1754.	Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / edited by Matthew Flatt, Hai-Feng Guo. by Flatt, Matthew [edt] Guo, Hai-Feng [edt] Series: Lecture Notes in Computer Science ; 8324 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
	1755.	Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by Jhala, Ranjit [edt] Bosschere, Koen De [edt] Series: Lecture Notes in Computer Science ; 7791 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
	1756.	Advances in Quantitative Ethnography [electronic resource] : 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings / edited by Golnaz Arastoopour Irgens, Simon Knight. by Arastoopour Irgens, Golnaz [editor.] Knight, Simon [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: 621.39 \| 004.6. Place hold Save to lists
	1757.	Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran. by Li, Xiaoming [editor.] Chandrasekaran, Sunita [editor.] Series: Lecture Notes in Computer Science ; 13181 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
	1758.	From Programs to Systems. The Systems perspective in Computing [electronic resource] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings / edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay. by Bensalem, Saddek [edt] Lakhneck, Yassine [edt] Legay, Axel [edt] Series: Lecture Notes in Computer Science ; 8415 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
	1759.	Web Reasoning and Rule Systems [electronic resource] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / edited by Balder ten Cate, Alessandra Mileo. by ten Cate, Balder [edt] Mileo, Alessandra [edt] Series: Lecture Notes in Computer Science ; 9209 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
	1760.	ECOOP 2014 - Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings / edited by Richard Jones. by Jones, Richard [edt] Series: Lecture Notes in Computer Science ; 8586 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1913 results.