Results of search for 'su:{Computer programming.}' › National Library of India catalog

Results
	1981.	Using and Improving OpenMP for Devices, Tasks, and More [electronic resource] : 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings / edited by Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman, Matthias S. Müller. by DeRose, Luiz [edt] Supinski, Bronis R. de [edt] Olivier, Stephen L [edt] Chapman, Barbara M [edt] Müller, Matthias S [edt] Series: Lecture Notes in Computer Science ; 8766 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
	1982.	Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / edited by Davide Di Ruscio, Dániel Varró. by Ruscio, Davide Di [edt] Varró, Dániel [edt] Series: Lecture Notes in Computer Science ; 8568 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
	1983.	Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Frédéric Lang, Francesco Flammini. by Lang, Frédéric [edt] Flammini, Francesco [edt] Series: Lecture Notes in Computer Science ; 8718 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
	1984.	Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 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 Andrew Pitts. by Pitts, Andrew [edt] Series: Lecture Notes in Computer Science ; 9034 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
	1985.	Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio [edt] Tolvanen, Juha-Pekka [edt] Kindler, Ekkart [edt] Störrle, Harald [edt] Kolovos, Dimitris [edt] Series: Lecture Notes in Computer Science ; 7349 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
	1986.	Reliable Software Technologies - Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [edt] Plödereder, Erhard [edt] Dencker, Peter [edt] Klenk, Herbert [edt] Series: Lecture Notes in Computer Science ; 7896 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
	1987.	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
	1988.	Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach. by Haxthausen, Anne E [editor.] Huang, Wen-ling [editor.] Roggenbach, Markus [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.1. Place hold Save to lists
	1989.	'O' Level module Ml.2 internet and web page design / V. K. Jain by Jain, V. K Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : BPB Publications, 2000 Availability: Items available for loan: National Library of India (1)Call number: E/O 004.678 J 199. Place hold Request article Save to lists
	1990.	Fundamentals of microprocessor/ S. Sudha by Sudha, S Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Tiruchirappalli : Raja Pub., 2009 Availability: Items available for loan: National Library of India (1)Call number: E 005.18 Su 22. Place hold Request article Save to lists
	1991.	Computer basics and internet / R. ArunaDevi ...[et al.] by Arunadevi, R Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Trichy, TamilNadu : Agasthiar Noolagam , 2012 Availability: Items available for loan: National Library of India (1)Call number: E/O 005 C 739. Place hold Request article Save to lists
	1992.	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
	1993.	Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez Perez, Kenli Li. by Wang, Guojun [edt] Zomaya, Albert [edt] Martinez Perez, Gregorio [edt] Li, Kenli [edt] Series: Lecture Notes in Computer Science ; 9528 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
	1994.	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
	1995.	Clouds AI edition : learning computers and coding 4 / Deepa Bhandari by Bhandari, Deepa Series: Clouds AI edition Publication details: Noida : S. Chand School Books, 2025 Availability: Items available for loan: National Library of India (1)Call number: J/E/O 005.13 B 469 cl (Class-4). Place hold Request article Save to lists
	1996.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Leite, João [edt] Son, Tran Cao [edt] Torroni, Paolo [edt] Torre, Leon van der [edt] Woltran, Stefan [edt] Series: Lecture Notes in Computer Science ; 8143 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
	1997.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Biere, Armin [edt] Nahir, Amir [edt] Vos, Tanja [edt] Series: Lecture Notes in Computer Science ; 7857 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
	1998.	Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [edt] Platzer, André [edt] Wehrheim, Heike [edt] Series: Lecture Notes in Computer Science ; 9360 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
	1999.	No cover image available Software engineering / Stephen R. Schach by Schach, Stephen R Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : McGraw-Hill, c2007 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 Sch 11. Place hold Request article Save to lists
	2000.	Euro-Par 2022: Parallel Processing [electronic resource] : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings / edited by José Cano, Phil Trinder. by Cano, José [editor.] Trinder, Phil [editor.] Series: Lecture Notes in Computer Science ; 13440 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.1. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 2465 results.