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

Results
	261.	Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle. by Chiba, Shigeru [edt] Tanter, Éric [edt] Bodden, Eric [edt] Maoz, Shahar [edt] Kienzle, Jörg [edt] Series: Lecture Notes in Computer Science ; 8400 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
	262.	Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Counsell, Steve [edt] Núñez, Manuel [edt] Series: Lecture Notes in Computer Science ; 8368 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
	263.	Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer. by Zsók, Viktória [edt] Horváth, Zoltán [edt] Plasmeijer, Rinus [edt] Series: Lecture Notes in Computer Science ; 7241 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
	264.	Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker. by Donaldson, Alastair [edt] Parker, David [edt] Series: Lecture Notes in Computer Science ; 7385 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
	265.	Trends in Functional Programming [electronic resource] : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy. by McCarthy, Jay [edt] Series: Lecture Notes in Computer Science ; 8322 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
	266.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari. by Devillers, Raymond [edt] Valmari, Antti [edt] Series: Lecture Notes in Computer Science ; 9115 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
	267.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin. by Bañares, José Ángel [editor.] Altmann, Jörn [editor.] Agmon Ben-Yehuda, Orna [editor.] Djemame, Karim [editor.] Stankovski, Vlado [editor.] Tuffin, Bruno [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: 004.6. Place hold Save to lists
	268.	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
	269.	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
	270.	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
	271.	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
	272.	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
	273.	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
	274.	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
	275.	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
	276.	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
	277.	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
	278.	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
	279.	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
	280.	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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 499 results.