Results of search for 'su:{Software Engineering.}' › National Library of India catalog

Results
	681.	Computer Science and Education [electronic resource] : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I / edited by Wenxing Hong, Yang Weng. by Hong, Wenxing [editor.] Weng, Yang [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.3. Place hold Save to lists
	682.	CMMI : a framework for building world class saftware and systems enterprises/ Raghav S. Nandyal by Nandyal, Raghav S 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.1 N 153 r. Place hold Request article Save to lists
	683.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. by Marché, Claude [edt.] Beckert, Bernhard [edt.] FoVeOOS 2010 (2010 : Paris, France) Series: Lecture Notes in Computer Science ; 6528 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	684.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by ITP 2011 (2nd : 2011 : Berg en Dal, The Netherlands) Eekelen, Marko [edt.] Series: Lecture Notes in Computer Science ; 6898 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	685.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. by Asian Symposium on Programming Languages and Systems (9th : 2011 : Kenting, Taiwan) Yang, Hongseok [edt.] Series: Lecture Notes in Computer Science ; 7078 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: APLAS 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
	686.	No cover image available ICT and classroom transaction : ( as per new B.Ed. syllabus of Guwahati University w.e.f. 2015-2016 academic session) / Jyotismita Talukdar, Pran Hari Talukdar by Talukdar, Jyotismita Talukdar, Pran Hari Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Guwahati : Mani Manik Prakash, 2015 Availability: Items available for loan: National Library of India (1)Call number: E 004.0151 T 149. Place hold Request article Save to lists
	687.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. by FORMATS 2011 (9th : 2011 : Aalborg, Denmark) Tripakis, Stavros [edt.] Fahrenberg, Uli [edt.] Series: Lecture Notes in Computer Science ; 6919 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	688.	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil. by International Symposium on Implementation and Application of Functional Languages (20th : 2008 : Hatfield, UK) Chitil, Olaf [edt.] Scholz, Sven-Bodo [edt.] Series: Lecture Notes in Computer Science ; 5836 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: IFL 2008 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	689.	Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. by International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland) Sofronie-Stokkermans, Viorica [edt.] Bjørner, Nikolaj [edt.] Series: Lecture Notes in Computer Science ; 6803 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: CADE-23 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	690.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by Bernardo, Marco [edt] Vink, Erik de [edt] Pierro, Alessandra Di [edt] Wiklicky, Herbert [edt] Series: Lecture Notes in Computer Science ; 7938 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
	691.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by Giachino, Elena [edt] Hähnle, Reiner [edt] Boer, Frank S. de [edt] Bonsangue, Marcello M [edt] Series: Lecture Notes in Computer Science ; 7866 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
	692.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [edt] Fribourg, Laurent [edt] Series: Lecture Notes in Computer Science ; 8053 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
	693.	Low Power Architectures for IoT Applications [electronic resource] / edited by Devendra Kumar Sharma, Rohit Sharma, Gwanggil Jeon, Zdzislaw Polkowski. by Sharma, Devendra Kumar [editor.] Sharma, Rohit [editor.] Jeon, Gwanggil [editor.] Polkowski, Zdzislaw [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: 004.6. Place hold Save to lists
	694.	Building web applications with Vue.js [electronic resource] : MVVM patterns for conventional and single-page websites / by Ralph Steyer. by Steyer, Ralph [author.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.76. Place hold Save to lists
	695.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae. by Bae, Kyungmin [editor.] Series: Lecture Notes in Computer Science ; 13252 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
	696.	Service-Oriented Computing - ICSOC 2022 Workshops [electronic resource] : ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings / edited by Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés. by Troya, Javier [editor.] Mirandola, Raffaela [editor.] Navarro, Elena [editor.] Delgado, Andrea [editor.] Segura, Sergio [editor.] Ortiz, Guadalupe [editor.] Pautasso, Cesare [editor.] Zirpins, Christian [editor.] Fernández, Pablo [editor.] Ruiz-Cortés, Antonio [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.3. Place hold Save to lists
	697.	Computer Science and Education [electronic resource] : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III / edited by Wenxing Hong, Yang Weng. by Hong, Wenxing [editor.] Weng, Yang [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.3. Place hold Save to lists
	698.	Computer Science and Education [electronic resource] : 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II / edited by Wenxing Hong, Yang Weng. by Hong, Wenxing [editor.] Weng, Yang [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.3. Place hold Save to lists
	699.	Advances in Cryptology - EUROCRYPT 2023 [electronic resource] : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II / edited by Carmit Hazay, Martijn Stam. by Hazay, Carmit [editor.] Stam, Martijn [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.824. Place hold Save to lists
	700.	Advances in Cryptology - EUROCRYPT 2023 [electronic resource] : 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I / edited by Carmit Hazay, Martijn Stam. by Hazay, Carmit [editor.] Stam, Martijn [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.824. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.