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

Results
	1841.	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
	1842.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [edt] Bensalem, Saddek [edt] Series: Lecture Notes in Computer Science ; 8174 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
	1843.	Teaching and learning with ICT in the primary school [electronic resource] / edited by Sarah Younie, Marilyn Leask, and Kevin Burden. by Burden, Kevin Leask, Marilyn, 1950- Younie, Sarah, 1967- Edition: 2nd ed. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: New York : Routledge, 2015 Online resources: Click here to view Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1844.	Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall. by Chalup, Stephan K [edt] Blair, Alan D [edt] Randall, Marcus [edt] Series: Lecture Notes in Computer Science ; 8955 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
	1845.	Artificial General Intelligence [electronic resource] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Bieger, Jordi [edt] Goertzel, Ben [edt] Potapov, Alexey [edt] Series: Lecture Notes in Computer Science ; 9205 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
	1846.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings / edited by Georg Gottlob, Daniela Inclezan, Marco Maratea. by Gottlob, Georg [editor.] Inclezan, Daniela [editor.] Maratea, Marco [editor.] Series: Lecture Notes in Artificial Intelligence ; 13416 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.3. Place hold Save to lists
	1847.	Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall. by Chalup, Stephan K [edt] Blair, Alan D [edt] Randall, Marcus [edt] Series: Lecture Notes in Computer Science ; 8955 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
	1848.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] Series: Lecture Notes in Computer Science ; 13230 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
	1849.	Distributed Computing and Intelligent Technology [electronic resource] : 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings / edited by Anisur Rahaman Molla, Gokarna Sharma, Pradeep Kumar, Sanjay Rawat. by Molla, Anisur Rahaman [editor.] Sharma, Gokarna [editor.] Kumar, Pradeep [editor.] Rawat, Sanjay [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: 6,213,821 \| 004.6. Place hold Save to lists
	1850.	Intelligent Virtual Agents [electronic resource] : 14th International Conference, IVA 2014, Boston, MA, USA, August 27-29, 2014. Proceedings / edited by Timothy Bickmore, Stacy Marsella, Candace Sidner. by Bickmore, Timothy [edt] Marsella, Stacy [edt] Sidner, Candace [edt] Series: Lecture Notes in Computer Science ; 8637 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
	1851.	Blended learning : research perspectives. Volume 3 / edited by Anthony Picciano, Charles D. Dziuban, Charles R. Graham, and Patsy D. Moskal by Picciano, Anthony G [editor.] Dziuban, Charles [editor,, author.] Graham, Charles R [editor,, author.] Moskal, Patsy D [editor.] Material type: Text; Literary form: Not fiction Language: English Publication details: New York, NY ; Milton Park, Abingdon, Oxon : Routledge, [2021] Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 371.3. Place hold Save to lists
	1852.	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
	1853.	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
	1854.	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
	1855.	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
	1856.	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
	1857.	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
	1858.	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
	1859.	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
	1860.	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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1904 results.