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

Results
	1861.	Teaching and learning with technologies in the primary school / edited by Sarah Younie and Marilyn Leask. by Younie, Sarah, 1967- [editor.] Leask, Marilyn, 1950- [editor.] Edition: Third edition. Material type: Text; Literary form: Not fiction Publication details: Abingdon, Oxon ; New York, NY : Routledge, 2024 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 372.133/40941. Place hold Save to lists
	1862.	Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings / edited by Jaakko Hollmén, Frank Klawonn, Allan Tucker. by Hollmén, Jaakko [edt] Klawonn, Frank [edt] Tucker, Allan [edt] Series: Lecture Notes in Computer Science ; 7619 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
	1863.	Fundamental chemistry with Matlab / Daniele Mazza and Enrico Canuto. by Mazza, Daniele [author.] Canuto, Enrico [author.] Material type: Text; Literary form: Not fiction Language: English Publication details: Amsterdam, Netherlands : Elsevier, 2022 Online resources: Click Here Availability: Items available for loan: (1). Place hold Save to lists
	1864.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 7609 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
	1865.	Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption [electronic resource] : 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings / edited by Isabel Hilliger, Pedro J. Muñoz-Merino, Tinne De Laet, Alejandro Ortega-Arranz, Tracie Farrell. by Hilliger, Isabel [editor.] Muñoz-Merino, Pedro J [editor.] De Laet, Tinne [editor.] Ortega-Arranz, Alejandro [editor.] Farrell, Tracie [editor.] Series: Lecture Notes in Computer Science ; 13450 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: 371.334. Place hold Save to lists
	1866.	Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings / edited by Paris Avgeriou, Uwe Zdun. by Avgeriou, Paris [edt] Zdun, Uwe [edt] Series: Lecture Notes in Computer Science ; 8627 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
	1867.	Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [edt] Iwama, Kazuo [edt] Kobayashi, Naoki [edt] Speckmann, Bettina [edt] Series: Lecture Notes in Computer Science ; 9135 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
	1868.	Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt. by Tanveer, Mohammad [editor.] Agarwal, Sonali [editor.] Ozawa, Seiichi [editor.] Ekbal, Asif [editor.] Jatowt, Adam [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.4. Place hold Save to lists
	1869.	Bayesian data analysis in ecology using linear models with R, BUGS, and Stan / Fr�anzi Korner-Nievergelt [and five others]. by Korner-Nievergelt, Fr�anzi [author.] Material type: Text; Literary form: Not fiction Language: English Publication details: Amsterdam ; Boston : Academic Press, an imprint of Elsevier, [2015] Online resources: Click Here Availability: Items available for loan: (1). Place hold Save to lists
	1870.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings / edited by Allan Ramsay, Gennady Agre. by Ramsay, Allan [edt] Agre, Gennady [edt] Series: Lecture Notes in Computer Science ; 7557 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
	1871.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [edt] Middeldorp, Aart [edt] Voronkov, Andrei [edt] Series: Lecture Notes in Computer Science ; 8312 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
	1872.	FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun. by Jones, Cliff [edt] Pihlajasaari, Pekka [edt] Sun, Jun [edt] Series: Lecture Notes in Computer Science ; 8442 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
	1873.	Information for a Better World: Normality, Virtuality, Physicality, Inclusivity [electronic resource] : 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I / edited by Isaac Sserwanga, Anne Goulding, Heather Moulaison-Sandy, Jia Tina Du, António Lucas Soares, Viviane Hessami, Rebecca D. Frank. by Sserwanga, Isaac [editor.] Goulding, Anne [editor.] Moulaison-Sandy, Heather [editor.] Du, Jia Tina [editor.] Soares, António Lucas [editor.] Hessami, Viviane [editor.] Frank, Rebecca D [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.3. Place hold Save to lists
	1874.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by Piterman, Nir [edt] Smolka, Scott A [edt] Series: Lecture Notes in Computer Science ; 7795 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
	1875.	SOFSEM 2015: Theory and Practice of Computer Science [electronic resource] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings / edited by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer. by Italiano, Giuseppe F [edt] Margaria-Steffen, Tiziana [edt] Pokorný, Jaroslav [edt] Quisquater, Jean-Jacques [edt] Wattenhofer, Roger [edt] Series: Lecture Notes in Computer Science ; 8939 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
	1876.	Ubiquitous Security [electronic resource] : Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers / edited by Guojun Wang, Kim-Kwang Raymond Choo, Jie Wu, Ernesto Damiani. by Wang, Guojun [editor.] Choo, Kim-Kwang Raymond [editor.] Wu, Jie [editor.] Damiani, Ernesto [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: 005.3. Place hold Save to lists
	1877.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by Piterman, Nir [edt] Smolka, Scott A [edt] Series: Lecture Notes in Computer Science ; 7795 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
	1878.	Progress in Artificial Intelligence [electronic resource] : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / edited by Francisco Pereira, Penousal Machado, Ernesto Costa, Amílcar Cardoso. by Pereira, Francisco [edt] Machado, Penousal [edt] Costa, Ernesto [edt] Cardoso, Amílcar [edt] Series: Lecture Notes in Computer Science ; 9273 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
	1879.	Computer Vision - ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by Lee, Kyoung Mu [edt] Matsushita, Yasuyuki [edt] Rehg, James M [edt] Hu, Zhanyi [edt] Series: Lecture Notes in Computer Science ; 7727 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
	1880.	Computational Science and Its Applications - ICCSA 2023 [electronic resource] : 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, David Taniar, Bernady O. Apduhan, Ana Cristina Braga, Chiara Garau, Anastasia Stratigea. by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Braga, Ana Cristina [editor.] Garau, Chiara [editor.] Stratigea, Anastasia [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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1913 results.