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

Results
	1561.	Architecture of Computing Systems - ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by Kubátová, Hana [edt] Hochberger, Christian [edt] Daněk, Martin [edt] Sick, Bernhard [edt] Series: Lecture Notes in Computer Science ; 7767 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
	1562.	Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings / edited by Paris Avgeriou, Uwe Zdun. by Avgeriou, Paris [edt] Zdun, Uwe [edt] Series: Lecture Notes in Computer Science ; 8627 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
	1563.	System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher. by Amyot, Daniel [edt] Fonseca i Casas, Pau [edt] Mussbacher, Gunter [edt] Series: Lecture Notes in Computer Science ; 8769 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
	1564.	Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [edt] van Gulijk, Coen [edt] Series: Lecture Notes in Computer Science ; 9337 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
	1565.	Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko. by Cohen, Ernie [edt] Rybalchenko, Andrey [edt] Series: Lecture Notes in Computer Science ; 8164 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
	1566.	Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel. by Parisi-Presicce, Francesco [edt] Westfechtel, Bernhard [edt] Series: Lecture Notes in Computer Science ; 9151 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
	1567.	Visual Heritage: Digital Approaches in Heritage Science [electronic resource] / edited by Eugene Ch'ng, Henry Chapman, Vincent Gaffney, Andrew S. Wilson. by Ch'ng, Eugene [editor.] Chapman, Henry [editor.] Gaffney, Vincent [editor.] Wilson, Andrew S [editor.] Series: Springer Series on Cultural Computing 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: 005.3. Place hold Save to lists
	1568.	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
	1569.	Reproducible Research in Pattern Recognition [electronic resource] : Fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Adrien Krähenbühl, Daniel Lopresti, Pascal Monasse, Benjamin Perret. by Kerautret, Bertrand [editor.] Colom, Miguel [editor.] Krähenbühl, Adrien [editor.] Lopresti, Daniel [editor.] Monasse, Pascal [editor.] Perret, Benjamin [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
	1570.	Information Technology in Disaster Risk Reduction [electronic resource] : 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers / edited by Terje Gjøsæter, Jaziar Radianti, Yuko Murayama. by Gjøsæter, Terje [editor.] Radianti, Jaziar [editor.] Murayama, Yuko [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
	1571.	Innovations for Community Services [electronic resource] : 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13-15, 2022, Proceedings / edited by Frank Phillipson, Gerald Eichler, Christian Erfurth, Günter Fahrnberger. by Phillipson, Frank [editor.] Eichler, Gerald [editor.] Erfurth, Christian [editor.] Fahrnberger, Günter [editor.] Series: Communications in Computer and Information Science ; 1585 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.6. Place hold Save to lists
	1572.	Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova. by Özgün, Aybüke [editor.] Zinova, Yulia [editor.] Series: Lecture Notes in Computer Science ; 13206 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.131. Place hold Save to lists
	1573.	Structured Object-Oriented Formal Language and Method [electronic resource] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Ai Liu. by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Liu, Ai [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: 005.1. Place hold Save to lists
	1574.	Advances in Computing and Data Sciences [electronic resource] : 6th International Conference, ICACDS 2022, Kurnool, India, April 22-23, 2022, Revised Selected Papers, Part II / edited by Mayank Singh, Vipin Tyagi, P. K. Gupta, Jan Flusser, Tuncer Ören. by Singh, Mayank [editor.] Tyagi, Vipin [editor.] Gupta, P. K [editor.] Flusser, Jan [editor.] Ören, Tuncer [editor.] Series: Communications in Computer and Information Science ; 1614 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: 005.73 \| 003.54. Place hold Save to lists
	1575.	Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I / edited by Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil. by Strauss, Christine [editor.] Amagasa, Toshiyuki [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [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.74. Place hold Save to lists
	1576.	Machine Learning and Knowledge Extraction [electronic resource] : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23-26, 2022, Proceedings / edited by Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar Weippl. by Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] Series: Lecture Notes in Computer Science ; 13480 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: 006.3. Place hold Save to lists
	1577.	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
	1578.	Advanced Network Technologies and Intelligent Computing [electronic resource] : Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II / edited by Isaac Woungang, Sanjay Kumar Dhurandher, Kiran Kumar Pattanaik, Anshul Verma, Pradeepika Verma. by Woungang, Isaac [editor.] Dhurandher, Sanjay Kumar [editor.] Pattanaik, Kiran Kumar [editor.] Verma, Anshul [editor.] Verma, Pradeepika [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: 621.39 \| 004.6. Place hold Save to lists
	1579.	PRICAI 2022: Trends in Artificial Intelligence [electronic resource] : 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, Proceedings, Part III / edited by Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu. by Khanna, Sankalp [editor.] Cao, Jian [editor.] Bai, Quan [editor.] Xu, Guandong [editor.] Series: Lecture Notes in Computer Science ; 13631 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: 006.3. Place hold Save to lists
	1580.	AIxIA 2023 - Advances in Artificial Intelligence [electronic resource] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini. by Basili, Roberto [editor.] Lembo, Domenico [editor.] Limongelli, Carla [editor.] Orlandini, Andrea [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: 006.3. 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.