Results of search for 'su:{Programming Techniques.}' › National Library of India catalog

Results
	61.	Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. by Lal, Akash [editor.] Tonetta, Stefano [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	62.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [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.0151. Place hold Save to lists
	63.	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
	64.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings / edited by Vincenzo Gervasi, Andreas Vogelsang. by Gervasi, Vincenzo [editor.] Vogelsang, Andreas [editor.] Series: Lecture Notes in Computer Science ; 13216 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: (1)Call number: 005.1. Place hold Save to lists
	65.	Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings / edited by Chung-Kil Hur. by Hur, Chung-Kil [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.45. Place hold Save to lists
	66.	Programming Languages and Systems [electronic resource] : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / edited by Ilya Sergey. by Sergey, Ilya [editor.] Series: Lecture Notes in Computer Science ; 13658 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.45. Place hold Save to lists
	67.	Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma. by Streib, James T [author.] Soma, Takako [author.] Series: Edition: 2nd ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.11. Place hold Save to lists
	68.	Mobile Applications [electronic resource] : Design, Development and Optimization / by Tejinder S. Randhawa. by Randhawa, Tejinder S [author.] 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: (1)Call number: 621.39 \| 004.6. Place hold Save to lists
	69.	MATLAB : a practical introduction to programming and problem solving / Stormy Attaway. by Attaway, Stormy Edition: 2nd ed. Material type: Text; Literary form: Not fiction Language: English Publication details: Waltham, MA : Butterworth-Heinemann, 2011 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	70.	Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey. by Gebser, Martin [editor.] Sergey, Ilya [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: 005.13. Place hold Save to lists
	71.	Languages and Compilers for Parallel Computing [electronic resource] : 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers / edited by Charith Mendis, Lawrence Rauchwerger. by Mendis, Charith [editor.] Rauchwerger, Lawrence [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: 005.13. Place hold Save to lists
	72.	Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira. by Chapman, Barbara [editor.] Moreira, José [editor.] Series: Theoretical Computer Science and General Issues ; 13149 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: (1)Call number: 005.13. Place hold Save to lists
	73.	Testing Software and Systems [electronic resource] : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings / edited by David Clark, Hector Menendez, Ana Rosa Cavalli. by Clark, David [editor.] Menendez, Hector [editor.] Cavalli, Ana Rosa [editor.] Series: Lecture Notes in Computer Science ; 13045 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: (1)Call number: 005.1. Place hold Save to lists
	74.	Design Patterns with Java [electronic resource] : An Introduction / by Olaf Musch. by Musch, Olaf [author.] Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.11. Place hold Save to lists
	75.	Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran. by Li, Xiaoming [editor.] Chandrasekaran, Sunita [editor.] Series: Lecture Notes in Computer Science ; 13181 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: (1)Call number: 005.13. Place hold Save to lists
	76.	WORKING WITH SOUND [electronic resource] : the future of audio work in interactive entertainment. by Bridgett, Rob Material type: Text; Literary form: Not fiction Language: English Publication details: [S.l.] : FOCAL, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 794.8028. Place hold Save to lists
	77.	Model-Driven Engineering and Software Development [electronic resource] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. by Pires, Luís Ferreira [editor.] Hammoudi, Slimane [editor.] Seidewitz, Edwin [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: 005.1. Place hold Save to lists
	78.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi. by Katsaros, Panagiotis [editor.] Nenzi, Laura [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: 005.1. Place hold Save to lists
	79.	Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi. by Isac, Omri [editor.] Ivanov, Radoslav [editor.] Katz, Guy [editor.] Narodytska, Nina [editor.] Nenzi, Laura [editor.] Series: Lecture Notes in Computer Science ; 13466 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: 004.0151. Place hold Save to lists
	80.	Concise Guide to Software Engineering [electronic resource] : From Fundamentals to Application Methods / by Gerard O'Regan. by O'Regan, Gerard [author.] Series: Undergraduate Topics in Computer Science Edition: 2nd 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.1. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Collections

Holding libraries

Languages

Your search returned 141 results.