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

Results
	281.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [edt] Ramakrishnan, C. R [edt] Series: Lecture Notes in Computer Science ; 7976 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
	282.	No cover image available Programme languages: history and fundamentals/ Jean E. Sammet by Sammet, Jean E Series: Prentice-Hall series in automatic computation Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey: Prentice-Hall, 1969 Availability: Items available for loan: National Library of India (1)Call number: E 651.26 Sa 45. Place hold Request article Save to lists
	283.	Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys. by Fischer, Bernd [edt] Geldenhuys, Jaco [edt] Series: Lecture Notes in Computer Science ; 9232 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
	284.	Microsoft Visual C# 2005 : 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 of India, 2006 Availability: Items available for loan: National Library of India (1)Call number: E005.133 Sh23. Place hold Request article Save to lists
	285.	No cover image available Simscript : a simulation programming language / Harry M. Markowitz, Bernard Hausner [and] Herbert W. Karr by Markowitz, Harry Max, 1927- Hausner, Bernard [jt. aut] Karr, Herbert W [jt. aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1963 Availability: Items available for loan: National Library of India (1)Call number: E/O 519.92 M 342. Place hold Request article Save to lists
	286.	A paradigm for program semantics : power structures and duality / Chris Brink [and] Ingrid Rewitzky by Brink, Chris, 1951- Rewitzky, Ingrid M, 1968- [jt. aut] Series: Studies in logic, languageand information ; no. 17 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: California : Centre for the study of Language and Information Standford, 2001 Availability: Items available for loan: National Library of India (1)Call number: E 160 B 771. Place hold Request article Save to lists
	287.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by Piterman, Nir [edt] Smolka, Scott A [edt] Series: Lecture Notes in Computer Science ; 7795 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
	288.	Microsoft visual basic 2010 : step by step / Michael Halvorson by Halvorson, Michael Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : PHI Learning, c2010 Availability: Items available for loan: National Library of India (1)Call number: E 005.133 H 169 mi. Place hold Request article Save to lists
	289.	The First Line of Code [electronic resource] : Android Programming with Kotlin / by Lin Guo. by Guo, Lin [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.11. Place hold Save to lists
	290.	Schaum's outline of theory and problems of data structure with C++/ John R. Hubbard. by Hubbard, John R Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Tata McGraw-Hill Education, 2004 Availability: Items available for loan: National Library of India (1)Call number: E/O 005.13 H 861. Place hold Request article Save to lists
	291.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by Piterman, Nir [edt] Smolka, Scott A [edt] Series: Lecture Notes in Computer Science ; 7795 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
	292.	Verilog digital computer design: algorithms into hardware/ Mark Gordon Arnold by Arnold, Mark Gordon Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey: Prentice-Hall, c1999 Availability: Items available for loan: National Library of India (1)Call number: E 621.392 Ar 65. Place hold Request article Save to lists
	293.	Software Architecture [electronic resource] : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic. by Weyns, Danny [edt] Mirandola, Raffaela [edt] Crnkovic, Ivica [edt] Series: Lecture Notes in Computer Science ; 9278 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
	294.	Natural language understanding and logic programming : proceedings / International Workshop on Natural Language Understanding and Logic Programming, Rennes ; edited by Veronica Dahl and Patrick Saint-Dizier by International Workshop on Natural Language Understanding and Logic Programming (1st : 18-20Sept;1984 : Rennes, France) Dahl, Veronica [edt] Saint-Dizier, Patrick [edt] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holand, 1985 Availability: Items available for loan: National Library of India (1)Call number: E 001.6424 I n 8 n.. Place hold Request article Save to lists
	295.	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
	296.	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
	297.	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
	298.	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
	299.	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
	300.	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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 514 results.