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

Results
	821.	Programming Languages [electronic resource] : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Francisco Heron de Carvalho Junior, Luis Soares Barbosa. by Carvalho Junior, Francisco Heron de [edt] Barbosa, Luis Soares [edt] Series: Lecture Notes in Computer Science ; 7554 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
	822.	Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob van Nieuwpoort. by Varbanescu, Ana Lucia [edt] Molnos, Anca [edt] Nieuwpoort, Rob van [edt] Series: Lecture Notes in Computer Science ; 6161 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
	823.	Transactions on Aspect-Oriented Software Development XI [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle. by Chiba, Shigeru [edt] Tanter, Éric [edt] Bodden, Eric [edt] Maoz, Shahar [edt] Kienzle, Jörg [edt] Series: Lecture Notes in Computer Science ; 8400 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
	824.	Distributed Applications and Interoperable Systems [electronic resource] : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Alysson Bessani, Sara Bouchenak. by Bessani, Alysson [edt] Bouchenak, Sara [edt] Series: Lecture Notes in Computer Science ; 9038 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
	825.	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [edt] Păsăreanu, Corina S [edt] Series: Lecture Notes in Computer Science ; 9206 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
	826.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [electronic resource] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / edited by Yves Demazeau, Keith S. Decker, Javier Bajo Pérez, Fernando de la Prieta. by Demazeau, Yves [edt] Decker, Keith S [edt] Bajo Pérez, Javier [edt] de la Prieta, Fernando [edt] Series: Lecture Notes in Computer Science ; 9086 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
	827.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai. by Cirne, Walfredo [edt] Desai, Narayan [edt] Series: Lecture Notes in Computer Science ; 8828 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
	828.	Distributed Applications and Interoperable Systems [electronic resource] : 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Kostas Magoutis, Peter Pietzuch. by Magoutis, Kostas [edt] Pietzuch, Peter [edt] Series: Lecture Notes in Computer Science ; 8460 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
	829.	Advancements in Smart Computing and Information Security [electronic resource] : First International Conference, ASCIS 2022, Rajkot, India, November 24-26, 2022, Revised Selected Papers, Part I / edited by Sridaran Rajagopal, Parvez Faruki, Kalpesh Popat. by Rajagopal, Sridaran [editor.] Faruki, Parvez [editor.] Popat, Kalpesh [editor.] Series: Communications in Computer and Information Science ; 1759 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
	830.	Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part V / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne. by Iliadis, Lazaros [editor.] Papaleonidas, Antonios [editor.] Angelov, Plamen [editor.] Jayne, Chrisina [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
	831.	Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VII / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne. by Iliadis, Lazaros [editor.] Papaleonidas, Antonios [editor.] Angelov, Plamen [editor.] Jayne, Chrisina [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
	832.	Artificial Neural Networks and Machine Learning - ICANN 2023 [electronic resource] : 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IX / edited by Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne. by Iliadis, Lazaros [editor.] Papaleonidas, Antonios [editor.] Angelov, Plamen [editor.] Jayne, Chrisina [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
	833.	Mathematics of Program Construction [electronic resource] : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings / edited by Ekaterina Komendantskaya. by Komendantskaya, Ekaterina [editor.] Series: Lecture Notes in Computer Science ; 13544 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
	834.	ICTERI 2021 Workshops [electronic resource] : ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28-October 2, 2021, Proceedings / edited by Oleksii Ignatenko, Vyacheslav Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Yulia Tarasich, Vadim Ermolayev, David Esteban, Vitaliy Yakovyna, Aleksander Spivakovsky. by Ignatenko, Oleksii [editor.] Kharchenko, Vyacheslav [editor.] Kobets, Vitaliy [editor.] Kravtsov, Hennadiy [editor.] Tarasich, Yulia [editor.] Ermolayev, Vadim [editor.] Esteban, David [editor.] Yakovyna, Vitaliy [editor.] Spivakovsky, Aleksander [editor.] Series: Communications in Computer and Information Science ; 1635 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: 371.334. Place hold Save to lists
	835.	Innovations in Intelligent Computing and Communication [electronic resource] : First International Conference, ICIICC 2022, Bhubaneswar, Odisha, India, December 16-17, 2022, Proceedings / edited by Mrutyunjaya Panda, Satchidananda Dehuri, Manas Ranjan Patra, Prafulla Kumar Behera, George A. Tsihrintzis, Sung-Bae Cho, Carlos A. Coello Coello. by Panda, Mrutyunjaya [editor.] Dehuri, Satchidananda [editor.] Patra, Manas Ranjan [editor.] Behera, Prafulla Kumar [editor.] Tsihrintzis, George A [editor.] Cho, Sung-Bae [editor.] Coello Coello, Carlos A [editor.] Series: Communications in Computer and Information Science ; 1737 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: 006.3. Place hold Save to lists
	836.	Computing, Communication and Learning [electronic resource] : First International Conference, CoCoLe 2022, Warangal, India, October 27-29, 2022, Proceedings / edited by Sanjaya Kumar Panda, Rashmi Ranjan Rout, Ravi Chandra Sadam, Bala Venkata Subramaanyam Rayanoothala, Kuan-Ching Li, Rajkumar Buyya. by Panda, Sanjaya Kumar [editor.] Rout, Rashmi Ranjan [editor.] Sadam, Ravi Chandra [editor.] Rayanoothala, Bala Venkata Subramaanyam [editor.] Li, Kuan-Ching [editor.] Buyya, Rajkumar [editor.] Series: Communications in Computer and Information Science ; 1729 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: 006.3. Place hold Save to lists
	837.	Artificial Neural Networks and Machine Learning - ICANN 2022 [electronic resource] : 31st International Conference on Artificial Neural Networks, Bristol, UK, September 6-9, 2022, Proceedings, Part I / edited by Elias Pimenidis, Plamen Angelov, Chrisina Jayne, Antonios Papaleonidas, Mehmet Aydin. by Pimenidis, Elias [editor.] Angelov, Plamen [editor.] Jayne, Chrisina [editor.] Papaleonidas, Antonios [editor.] Aydin, Mehmet [editor.] Series: Lecture Notes in Computer Science ; 13529 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: 006.3. Place hold Save to lists
	838.	Advances in Mobile Computing and Multimedia Intelligence [electronic resource] : 21st International Conference, MoMM 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings / edited by Pari Delir Haghighi, Ismail Khalil, Gabriele Kotsis, Ngurah Agus Sanjaya ER. by Delir Haghighi, Pari [editor.] Khalil, Ismail [editor.] Kotsis, Gabriele [editor.] ER, Ngurah Agus Sanjaya [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
	839.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [edt] Ramakrishnan, C. R [edt] Series: Lecture Notes in Computer Science ; 7976 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
	840.	Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by Daniel, Florian [edt] Papadopoulos, George A [edt] Thiran, Philippe [edt] Series: Lecture Notes in Computer Science ; 8093 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.