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

Results
	1401.	Videogame Sciences and Arts [electronic resource] : 12th International Conference, VJ 2020, Mirandela, Portugal, November 26-28, 2020, Revised Selected Papers / edited by Inês Barbedo, Bárbara Barroso, Beatriz Legerén, Licínio Roque, João Paulo Sousa. by Barbedo, Inês [editor.] Barroso, Bárbara [editor.] Legerén, Beatriz [editor.] Roque, Licínio [editor.] Sousa, João Paulo [editor.] Series: Communications in Computer and Information Science ; 1531 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.437 \| 004.019. Place hold Save to lists
	1402.	Simplifying Medical Ultrasound [electronic resource] : Third International Workshop, ASMUS 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings / edited by Stephen Aylward, J. Alison Noble, Yipeng Hu, Su-Lin Lee, Zachary Baum, Zhe Min. by Aylward, Stephen [editor.] Noble, J. Alison [editor.] Hu, Yipeng [editor.] Lee, Su-Lin [editor.] Baum, Zachary [editor.] Min, Zhe [editor.] Series: Lecture Notes in Computer Science ; 13565 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. Place hold Save to lists
	1403.	Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath [editor.] Poess, Meikel [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. Place hold Save to lists
	1404.	Data Science [electronic resource] : 8th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2022, Chengdu, China, August 19-22, 2022, Proceedings, Part II / edited by Yang Wang, Guobin Zhu, Qilong Han, Liehui Zhang, Xianhua Song, Zeguang Lu. by Wang, Yang [editor.] Zhu, Guobin [editor.] Han, Qilong [editor.] Zhang, Liehui [editor.] Song, Xianhua [editor.] Lu, Zeguang [editor.] Series: Communications in Computer and Information Science ; 1629 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: (1)Call number: 006.312. Place hold Save to lists
	1405.	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 III / 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 ; 13531 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
	1406.	Networked Systems [electronic resource] : 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings / edited by Mohammed-Amine Koulali, Mira Mezini. by Koulali, Mohammed-Amine [editor.] Mezini, Mira [editor.] Series: Lecture Notes in Computer Science ; 13464 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
	1407.	Mobile and Ubiquitous Systems: Computing, Networking and Services [electronic resource] : 18th EAI International Conference, MobiQuitous 2021, Virtual Event, November 8-11, 2021, Proceedings / edited by Takahiro Hara, Hirozumi Yamaguchi. by Hara, Takahiro [editor.] Yamaguchi, Hirozumi [editor.] Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 419 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.6. Place hold Save to lists
	1408.	Edge Computing and IoT: Systems, Management and Security [electronic resource] : Second EAI International Conference, ICECI 2021, Virtual Event, December 22-23, 2021, Proceedings / edited by Kaishun Wu, Lu Wang, Yanjiao Chen. by Wu, Kaishun [editor.] Wang, Lu [editor.] Chen, Yanjiao [editor.] Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 437 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.6. Place hold Save to lists
	1409.	Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska. by Peña, Ricardo [edt] Eekelen, Marko van [edt] Shkaravska, Olha [edt] Series: Lecture Notes in Computer Science ; 7177 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
	1410.	Computer Security - ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli. by Foresti, Sara [edt] Yung, Moti [edt] Martinelli, Fabio [edt] Series: Lecture Notes in Computer Science ; 7459 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
	1411.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [edt] Bensalem, Saddek [edt] Series: Lecture Notes in Computer Science ; 8174 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
	1412.	Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund [edt] Virbitskaite, Irina [edt] Voronkov, Andrei [edt] Series: Lecture Notes in Computer Science ; 7162 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
	1413.	Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by Guyot, Vincent [edt] Series: Lecture Notes in Computer Science ; 7593 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
	1414.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković. by Jurdziński, Marcin [edt] Ničković, Dejan [edt] Series: Lecture Notes in Computer Science ; 7595 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
	1415.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Albert, Elvira [edt] Series: Lecture Notes in Computer Science ; 7844 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
	1416.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Beckert, Bernhard [edt] Damiani, Ferruccio [edt] Gurov, Dilian [edt] Series: Lecture Notes in Computer Science ; 7421 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
	1417.	Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi. by Bansal, Nikhil [edt] Finocchi, Irene [edt] Series: Lecture Notes in Computer Science ; 9294 Edition: 1st ed. 2015. 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
	1418.	Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / edited by Tim Güneysu, Helena Handschuh. by Güneysu, Tim [edt] Handschuh, Helena [edt] Series: Lecture Notes in Computer Science ; 9293 Edition: 1st ed. 2015. 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
	1419.	Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Chen, Yunji [edt] Ienne, Paolo [edt] Ji, Qing [edt] Series: Lecture Notes in Computer Science ; 9231 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
	1420.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 8802 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.