Results of search for 'su:{Programming Language Electronic computers}'

Results
	321.	Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Shan, Chung-Chieh [edt] Series: Lecture Notes in Computer Science ; 8301 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	322.	Programming Languages and Systems [electronic resource] : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / edited by Xinyu Feng, Sungwoo Park. by Feng, Xinyu [edt] Park, Sungwoo [edt] Series: Lecture Notes in Computer Science ; 9458 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
	323.	Fundamental Approaches to Software Engineering [electronic resource] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink. by Gnesi, Stefania [edt] Rensink, Arend [edt] Series: Lecture Notes in Computer Science ; 8411 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
	324.	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
	325.	Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by Sagonas, Kostis [edt] Series: Lecture Notes in Computer Science ; 7752 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
	326.	Trends in Functional Programming [electronic resource] : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / edited by Jurriaan Hage, Jay McCarthy. by Hage, Jurriaan [edt] McCarthy, Jay [edt] Series: Lecture Notes in Computer Science ; 8843 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
	327.	Programming with c++ / D. Ravichandran by Ravichandran, D Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Tata McGraw-Hill Education, c1996 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.133 R 196. Place hold Request article Save to lists
	328.	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
	329.	Theoretical Aspects of Computing - ICTAC 2014 [electronic resource] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / edited by Gabriel Ciobanu, Dominique Méry. by Ciobanu, Gabriel [edt] Méry, Dominique [edt] Series: Lecture Notes in Computer Science ; 8687 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
	330.	Programming and computing with fortran 77/90 / P. S. Grover by Grover, P. S Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Allied Publishers, 1996 Availability: Items available for loan: National Library of India (1)Call number: E 005.13 G 919. Place hold Request article Save to lists
	331.	Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by Noble, James [edt] Johnson, Ralph [edt] Zdun, Uwe [edt] Wallingford, Eugene [edt] Series: Lecture Notes in Computer Science ; 7840 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
	332.	Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. by Bernardo, Marco [edt] Cortellessa, Vittorio [edt] Pierantonio, Alfonso [edt] Series: Lecture Notes in Computer Science ; 7320 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
	333.	Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings / edited by Frank Ortmeier, Antoine Rauzy. by Ortmeier, Frank [edt] Rauzy, Antoine [edt] Series: Lecture Notes in Computer Science ; 8822 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
	334.	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
	335.	Coordination Models and Languages [electronic resource] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli. by Holvoet, Tom [edt] Viroli, Mirko [edt] Series: Lecture Notes in Computer Science ; 9037 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
	336.	Semantics engineering with PLT Redex/ Matthias Felleisen, Robert Bruce Findler, Matthew Flatt by Felleisen, Matthias Findler, Robert Bruce Flatt, Matthew Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : PHI Learning, 2011 Availability: Items available for loan: National Library of India (1)Call number: E 005.11 F 33. Place hold Request article Save to lists
	337.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by Duddy, Keith [edt] Kappel, Gerti [edt] Series: Lecture Notes in Computer Science ; 7909 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
	338.	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
	339.	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
	340.	Theory and Practice of Model Transformations [electronic resource] : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer. by Kolovos, Dimitris [edt] Wimmer, Manuel [edt] Series: Lecture Notes in Computer Science ; 9152 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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 514 results.