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

Results
	281.	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory. by Eder, Kerstin [edt] Lourenço, João [edt] Shehory, Onn [edt] Series: Lecture Notes in Computer Science ; 7261 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
	282.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [edt] Petre, Luigia [edt] Series: Lecture Notes in Computer Science ; 7940 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
	283.	Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [edt] Duan, Zhenhua [edt] Series: Lecture Notes in Computer Science ; 8979 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
	284.	Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [edt] Idani, Akram [edt] Series: Lecture Notes in Computer Science ; 8938 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
	285.	Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [edt] Duan, Zhenhua [edt] Series: Lecture Notes in Computer Science ; 8332 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
	286.	Microprocessor and applications / P. Thirumoorthy by Thirumoorthy, P Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Tamil Nadu : Kongu Nadu Literature, 2009 Availability: Items available for loan: National Library of India (1)Call number: E 004.16 T 349. Place hold Request article Save to lists
	287.	Microsoft Visual C# 2008 : step by step/ John Sharp by Sharp, John Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hall, 2008 Availability: Items available for loan: National Library of India (1)Call number: E 005.133 Sh 23 (1). Place hold Request article Save to lists
	288.	No cover image available Fundamentals of digital computer and gui applications / M. Chinnusamy by Chinnusamy, M Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Tiruchengode : Pranav Pub., 2008 Availability: Items available for loan: National Library of India (1)Call number: E 005.1 C 441. Place hold Request article Save to lists
	289.	Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [edt] Son, Tran Cao [edt] Series: Lecture Notes in Computer Science ; 9131 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
	290.	Static Analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen. by Blazy, Sandrine [edt] Jensen, Thomas [edt] Series: Lecture Notes in Computer Science ; 9291 Edition: 1st ed. 2015. 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
	291.	No cover image available A study of general categories applicable to classification and coding in documentation / Eric de Grolier by Grolier, Eric de Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: French Publication details: Paris : UNESCO, 1962 Availability: Items available for loan: National Library of India (4)Call number: E 010 G 895, ... Place hold Request article Save to lists
	292.	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Miné, David Schmidt. by Miné, Antoine [edt] Schmidt, David [edt] Series: Lecture Notes in Computer Science ; 7460 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
	293.	Programming Languages and Systems [electronic resource] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / edited by Jacques Garrigue. by Garrigue, Jacques [edt] Series: Lecture Notes in Computer Science ; 8858 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
	294.	Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski. by Albert, Elvira [edt] Sekerinski, Emil [edt] Series: Lecture Notes in Computer Science ; 8739 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
	295.	Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus Müller-Olm, Helmut Seidl. by Müller-Olm, Markus [edt] Seidl, Helmut [edt] Series: Lecture Notes in Computer Science ; 8723 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
	296.	Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata. by Iida, Shusaku [edt] Meseguer, José [edt] Ogata, Kazuhiro [edt] Series: Lecture Notes in Computer Science ; 8373 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
	297.	Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [edt] Horváth, Zoltán [edt] Csató, Lehel [edt] Series: Lecture Notes in Computer Science ; 8606 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
	298.	Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 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 Alexander Egyed, Ina Schaefer. by Egyed, Alexander [edt] Schaefer, Ina [edt] Series: Lecture Notes in Computer Science ; 9033 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
	299.	Compiler Construction [electronic resource] : 24th International Conference, CC 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 Björn Franke. by Franke, Björn [edt] Series: Lecture Notes in Computer Science ; 9031 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
	300.	Selected computer programs in FORTRAN for fish stock assessment / edited by S. Eugene Sims by Sims, S. Eugene [edt] Food and Agriculture Organization of the United Nations (Rome) Series: FAO fisheries technical paper ; 259 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Rome : FAO, 1985 Availability: Items available for loan: National Library of India (2)Call number: UN639.2 F686(ser.259), ... Place hold Request article Save to lists

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 499 results.