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

Results
	541.	Information Technologies and Intelligent Decision Making Systems [electronic resource] : First International Conference, ITIDMS 2021, Virtual Event, January 25, 2021, Revised Selected Papers / edited by Arthur Gibadullin. by Gibadullin, Arthur [editor.] Series: Communications in Computer and Information Science ; 1703 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: 621.39 \| 004.6. Place hold Save to lists
	542.	Computer Safety, Reliability, and Security [electronic resource] : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings / edited by Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch. by Guiochet, Jérémie [editor.] Tonetta, Stefano [editor.] Bitsch, Friedemann [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
	543.	Parallel Problem Solving from Nature - PPSN XVII [electronic resource] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II / edited by Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar. by Rudolph, Günter [editor.] Kononova, Anna V [editor.] Aguirre, Hernán [editor.] Kerschke, Pascal [editor.] Ochoa, Gabriela [editor.] Tušar, Tea [editor.] Series: Lecture Notes in Computer Science ; 13399 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.31. Place hold Save to lists
	544.	Machine Learning and Knowledge Discovery in Databases: Research Track [electronic resource] : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part I / edited by Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi. by Koutra, Danai [editor.] Plant, Claudia [editor.] Gomez Rodriguez, Manuel [editor.] Baralis, Elena [editor.] Bonchi, Francesco [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
	545.	Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track [electronic resource] : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part VII / edited by Gianmarco De Francisci Morales, Claudia Perlich, Natali Ruchansky, Nicolas Kourtellis, Elena Baralis, Francesco Bonchi. by De Francisci Morales, Gianmarco [editor.] Perlich, Claudia [editor.] Ruchansky, Natali [editor.] Kourtellis, Nicolas [editor.] Baralis, Elena [editor.] Bonchi, Francesco [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
	546.	Machine Learning and Knowledge Discovery in Databases: Research Track [electronic resource] : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part IV / edited by Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi. by Koutra, Danai [editor.] Plant, Claudia [editor.] Gomez Rodriguez, Manuel [editor.] Baralis, Elena [editor.] Bonchi, Francesco [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
	547.	Machine Learning and Knowledge Discovery in Databases: Research Track [electronic resource] : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part V / edited by Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi. by Koutra, Danai [editor.] Plant, Claudia [editor.] Gomez Rodriguez, Manuel [editor.] Baralis, Elena [editor.] Bonchi, Francesco [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
	548.	Software agents/ edited by Jeffrey M. Bradshaw by Bradshaw, Jeffrey M [edt] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : PHI Learning, c1997 Availability: Items available for loan: National Library of India (1)Call number: E 006.3 So 23 b. Place hold Request article Save to lists
	549.	Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv. by Zeller, Andreas [edt.] Ziv, Avi [edt.] Namjoshi, Kedar [edt.] HVC 2009 (5th : 2009 : Haifa, Israel) Series: Lecture Notes in Computer Science ; 6405 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
	550.	Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. by International SPIN Workshop (18th : 2011 : Snowbird, USA) Musuvathi, Madanlal [edt.] Groce, Alex [edt.] Series: Lecture Notes in Computer Science ; 6823 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
	551.	Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. by Issarny, Valérie [edt.] Bernardo, Marco [edt.] International School on Formal Methods for the Design of Computer, Communication and Software Systems (11th : 2011 : Bertinoro, Italy ) Series: Lecture Notes in Computer Science ; 6659 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: SFM 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
	552.	Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev. by Koutny, Maciej [edt] Aalst, Wil M. P. van der [edt] Yakovlev, Alex [edt] Series: Lecture Notes in Computer Science ; 8100 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
	553.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev. by Koutny, Maciej [edt] Haddad, Serge [edt] Yakovlev, Alex [edt] Series: Lecture Notes in Computer Science ; 8910 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
	554.	Machine Vision and Augmented Intelligence [electronic resource] : Select Proceedings of MAI 2022 / edited by Koushlendra Kumar Singh, Manish Kumar Bajpai, Akbar Sheikh Akbari. by Kumar Singh, Koushlendra [editor.] Bajpai, Manish Kumar [editor.] Sheikh Akbari, Akbar [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
	555.	Computer Vision and Machine Intelligence Paradigms for SDGs [electronic resource] : Select Proceedings of ICRTAC-CVMIP 2021 / edited by R. Jagadeesh Kannan, Sabu M. Thampi, Shyh-Hau Wang. by Kannan, R. Jagadeesh [editor.] Thampi, Sabu M [editor.] Wang, Shyh-Hau [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: 006.3. Place hold Save to lists
	556.	Intelligent Systems and Human Machine Collaboration [electronic resource] : Select Proceedings of ICISHMC 2022 / edited by Siddhartha Bhattacharyya, Mario Koeppen, Debashis De, Vincenzo Piuri. by Bhattacharyya, Siddhartha [editor.] Koeppen, Mario [editor.] De, Debashis [editor.] Piuri, Vincenzo [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.437 \| 004.019. Place hold Save to lists
	557.	Futuristic Trends in Networks and Computing Technologies [electronic resource] : Select Proceedings of Fourth International Conference on FTNCT 2021 / edited by Pradeep Kumar Singh, Sławomir T. Wierzchoń, Jitender Kumar Chhabra, Sudeep Tanwar. by Singh, Pradeep Kumar [editor.] Wierzchoń, Sławomir T [editor.] Chhabra, Jitender Kumar [editor.] Tanwar, Sudeep [editor.] Series: Lecture Notes in Electrical Engineering ; 936 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: 004.6. Place hold Save to lists
	558.	Emerging Technology Trends in Electronics, Communication and Networking [electronic resource] : Select Proceedings of the Fourth International Conference, ET2ECN 2021 / edited by Rasika Dhavse, Vinay Kumar, Salvatore Monteleone. by Dhavse, Rasika [editor.] Kumar, Vinay [editor.] Monteleone, Salvatore [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
	559.	Product Lifecycle Management. Green and Blue Technologies to Support Smart and Sustainable Organizations [electronic resource] : 18th IFIP WG 5.1 International Conference, PLM 2021, Curitiba, Brazil, July 11-14, 2021, Revised Selected Papers, Part I / edited by Osiris Canciglieri Junior, Frédéric Noël, Louis Rivest, Abdelaziz Bouras. by Canciglieri Junior, Osiris [editor.] Noël, Frédéric [editor.] Rivest, Louis [editor.] Bouras, Abdelaziz [editor.] Series: IFIP Advances in Information and Communication Technology ; 639 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: 004.068. Place hold Save to lists
	560.	Advanced Research in Technologies, Information, Innovation and Sustainability [electronic resource] : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I / edited by Teresa Guarda, Filipe Portela, Maria Fernanda Augusto. by Guarda, Teresa [editor.] Portela, Filipe [editor.] Augusto, Maria Fernanda [editor.] Series: Communications in Computer and Information Science ; 1675 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: (1)Call number: 621.39 \| 004.6. 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.