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

Results
	1781.	OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg. by McIntosh-Smith, Simon [editor.] Klemm, Michael [editor.] de Supinski, Bronis R [editor.] Deakin, Tom [editor.] Klinkenberg, Jannis [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.22. Place hold Save to lists
	1782.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler. by Ciardo, Gianfranco [edt] Kindler, Ekkart [edt] Series: Lecture Notes in Computer Science ; 8489 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
	1783.	Vue. JS Framework [electronic resource] : Design and Implementation / by HcySun Yang. by Yang, HcySun [author.] 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.76. Place hold Save to lists
	1784.	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Arbab, Farhad [edt] Ölveczky, Peter Csaba [edt] Series: Lecture Notes in Computer Science ; 7253 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
	1785.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch. by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] Series: Lecture Notes in Computer Science ; 13414 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: 621.39 \| 004.6. Place hold Save to lists
	1786.	Leading dynamic information literacy programs : best practices and stories from instruction coordinators / edited by Anne C. Behler. by Behler, Anne C [editor.] Material type: Text; Literary form: Not fiction Language: English Publication details: Abingdon, Oxon ; New York, NY : Routledge, 2023; ©2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 028.7071/173. Place hold Save to lists
	1787.	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by Beckert, Bernhard [edt] Damiani, Ferruccio [edt] Boer, Frank S. de [edt] Bonsangue, Marcello M [edt] Series: Lecture Notes in Computer Science ; 7542 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
	1788.	Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by Drira, Khalil [edt] Series: Lecture Notes in Computer Science ; 7957 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
	1789.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin. by Bañares, José Ángel [editor.] Altmann, Jörn [editor.] Agmon Ben-Yehuda, Orna [editor.] Djemame, Karim [editor.] Stankovski, Vlado [editor.] Tuffin, Bruno [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
	1790.	Computer Science and Education [electronic resource] : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III / edited by Wenxing Hong, Yang Weng. by Hong, Wenxing [editor.] Weng, Yang [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
	1791.	Cooperative Design, Visualization, and Engineering [electronic resource] : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [edt] Series: Lecture Notes in Computer Science ; 9320 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
	1792.	Learning Technology for Education Challenges [electronic resource] : 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings / edited by Lorna Uden, Dario Liberona. by Uden, Lorna [editor.] Liberona, Dario [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: 371.334. Place hold Save to lists
	1793.	Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak. by Varzinczak, Ivan [editor.] Series: Lecture Notes 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.131. Place hold Save to lists
	1794.	Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [edt] Zhang, Xingyuan [edt] Series: Lecture Notes in Computer Science ; 9236 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
	1795.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 8802 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
	1796.	Foundations of Information and Knowledge Systems [electronic resource] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / edited by Christoph Beierle, Carlo Meghini. by Beierle, Christoph [edt] Meghini, Carlo [edt] Series: Lecture Notes in Computer Science ; 8367 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
	1797.	Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by Glück, Robert [edt] Yokoyama, Tetsuo [edt] Series: Lecture Notes in Computer Science ; 7581 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
	1798.	Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [edt] Madelaine, Eric [edt] Series: Lecture Notes in Computer Science ; 8997 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
	1799.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki [edt] Ando, Noriaki [edt] Brugali, Davide [edt] Kuffner, James J [edt] Series: Lecture Notes in Computer Science ; 7628 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
	1800.	Advances in Computing and Data Sciences [electronic resource] : 6th International Conference, ICACDS 2022, Kurnool, India, April 22-23, 2022, Revised Selected Papers, Part I / edited by Mayank Singh, Vipin Tyagi, P. K. Gupta, Jan Flusser, Tuncer Ören. by Singh, Mayank [editor.] Tyagi, Vipin [editor.] Gupta, P. K [editor.] Flusser, Jan [editor.] Ören, Tuncer [editor.] Series: Communications in Computer and Information Science ; 1613 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.73 \| 003.54. 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.