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

Results
	281.	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
	282.	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
	283.	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
	284.	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
	285.	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
	286.	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
	287.	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
	288.	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
	289.	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
	290.	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
	291.	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
	292.	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
	293.	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
	294.	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
	295.	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
	296.	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
	297.	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
	298.	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
	299.	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
	300.	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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 505 results.