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

Results
	121.	Embedded software : the works / Colin Walls. by Walls, Colin Edition: 2nd ed. Material type: Text; Literary form: Not fiction Language: English Publication details: Oxford : Newnes, 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
	122.	No cover image available Computer programming and autocodes / D. G. Burnett-Hall, L. A. G. Dresel [and] P. A. Samet by Burnett-Hall, D. G Dresel, L. A. G [jt. aut] Samet, P. A [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : English Universities Press, 1964 Availability: Items available for loan: National Library of India (1)Call number: E/O 510.7834 B 934. Place hold Request article Save to lists
	123.	Programming Language Design and Implementation [electronic resource] / by Torben Ægidius Mogensen. by Ægidius Mogensen, Torben [author.] Series: Texts 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
	124.	Software engineering and programming languages/ S. Prabha by Prabha, S Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Thiruchirappalli : TiSSL Pub., 2008 Availability: Items available for loan: National Library of India (1)Call number: E 005.1 P 88. Place hold Request article Save to lists
	125.	No cover image available A new look at a greedy algorithm for soloving a fclass of convex programming problems / by Nilotpal Chakravarti by Chakravarti, Nilotpal Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta : Indian Institute of Management, 1991 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.13 C 349. Place hold Request article Save to lists
	126.	No cover image available A view of programming languages / Bernard A. Galler [and] Alan J. Perlis by Galler, Bernard A, 1928- Perlis, Alan J [jt. aut] Series: Addison-Wesley series in computer science and information processing Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Reading, Mass. : Addison-Wesley Pub., 1970 Availability: Items available for loan: National Library of India (1)Call number: E519.92 G136. Place hold Request article Save to lists
	127.	Fundamental concepts of programming systems / Jeffrey D. Ullman by Ullman, Jeffrey D Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: California : Addison-Wesley Pub., c1976 Availability: Items available for loan: National Library of India (1)Call number: E 001.642 Ul 4. Place hold Request article Save to lists
	128.	Fundamental concepts of programming systems / Jeffrey D. Ullman by Ullman, Jeffrey D Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: California : Addison-Wesley Pub., c1976 Availability: Items available for loan: National Library of India (1)Call number: E 001.642 Ul 4. Place hold Request article Save to lists
	129.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [edt] Potapov, Igor [edt] Series: Lecture Notes in Computer Science ; 8169 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
	130.	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [edt] Ong, Luke [edt] Panangaden, Prakash [edt] Series: Lecture Notes in Computer Science ; 7860 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
	131.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 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 Erika Ábrahám, Klaus Havelund. by Ábrahám, Erika [edt] Havelund, Klaus [edt] Series: Lecture Notes in Computer Science ; 8413 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
	132.	Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings / edited by Claire Le Goues, Shin Yoo. by Goues, Claire Le [edt] Yoo, Shin [edt] Series: Lecture Notes in Computer Science ; 8636 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
	133.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 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 Christel Baier, Cesare Tinelli. by Baier, Christel [edt] Tinelli, Cesare [edt] Series: Lecture Notes in Computer Science ; 9035 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
	134.	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E [edt] Person, Suzette [edt] Series: Lecture Notes in Computer Science ; 7226 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
	135.	Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso [edt] Series: Lecture Notes in Computer Science ; 7571 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
	136.	Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 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 Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [edt] Varró, Dániel [edt] Series: Lecture Notes in Computer Science ; 7793 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
	137.	Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe. by Düsterhöft, Antje [edt] Klettke, Meike [edt] Schewe, Klaus-Dieter [edt] Series: Lecture Notes in Computer Science ; 7260 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
	138.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Núñez, Manuel [edt] Güdemann, Matthias [edt] Series: Lecture Notes in Computer Science ; 9128 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
	139.	No cover image available Shieldose : a computer code for space-sheilding radiation dose calculations / Stephen Seltzer by Seltzer, Stephen Series: National Bureau of Standars, technical no ; 1116 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Washington, D.C. : U.S. Government Printing Office, 1980 Availability: Items available for loan: National Library of India (1)Call number: U.S 658.18018 Se 49. Place hold Request article Save to lists
	140.	Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by Kasahara, Hironori [edt] Kimura, Keiji [edt] Series: Lecture Notes in Computer Science ; 7760 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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 514 results.