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

Results
	501.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] Series: Lecture Notes in Computer Science ; 13230 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
	502.	Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. by Horváth, Zoltán [edt.] Zsók, Viktória [edt.] Page, Rex [edt.] TFP 2010 (11th : 2010 : Norman, USA) Series: Lecture Notes in Computer Science ; 6546 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
	503.	Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff. by TAP 2011 (5th : 2011 : Zurich, Switzerland) Wolff, Burkhart [edt.] Gogolla, Martin [edt.] Series: Lecture Notes in Computer Science ; 6706 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
	504.	Coordination Models and Languages [electronic resource] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Eva Kühn, Rosario Pugliese. by Kühn, Eva [edt] Pugliese, Rosario [edt] Series: Lecture Notes in Computer Science ; 8459 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
	505.	Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán. by Morazán, Marco T [edt.] Hage, Jurriaan [edt.] IFL 2010 (22nd : 2010 : Alphen aan den Rijn, The Netherlands) Series: Lecture Notes in Computer Science ; 6647 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
	506.	Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. by PETRI NETS 2011 (32nd : 2011 : Newcastle, UK) Petrucci, Laure [edt.] Kristensen, Lars M [edt.] Series: Lecture Notes in Computer Science ; 6709 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
	507.	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by International Conference on Testing Software and Systems (23rd : 2011 : Paris, France) Zaïdi, Fatiha [edt.] Wolff, Burkhart [edt.] Series: Lecture Notes in Computer Science ; 7019 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
	508.	Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner...[et.al] by Barner, Sharon [edt.] HVC 2010 (6th : 2010 : Haifa, Israel) Series: Lecture Notes in Computer Science ; 6504 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
	509.	Proceedings of the International Health Informatics Conference [electronic resource] : IHIC 2022 / edited by Sarika Jain, Sven Groppe, Nandana Mihindukulasooriya. by Jain, Sarika [editor.] Groppe, Sven [editor.] Mihindukulasooriya, Nandana [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
	510.	Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs. by Huisman, Marieke [author.] Wijs, Anton [author.] 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.14. Place hold Save to lists
	511.	Emerging Networking Architecture and Technologies [electronic resource] : First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings / edited by Wei Quan. by Quan, Wei [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: 621.39 \| 004.6. Place hold Save to lists
	512.	Artificial Intelligence Applications and Innovations. AIAI 2023 IFIP WG 12.5 International Workshops [electronic resource] : MHDW 2023, 5G-PINE 2023, ΑΙBMG 2023, and VAA-CP-EB 2023, León, Spain, June 14-17, 2023, Proceedings / edited by Ilias Maglogiannis, Lazaros Iliadis, Antonios Papaleonidas, Ioannis Chochliouros. by Maglogiannis, Ilias [editor.] Iliadis, Lazaros [editor.] Papaleonidas, Antonios [editor.] Chochliouros, Ioannis [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
	513.	Technology-Enabled Innovations in Education [electronic resource] : Select Proceedings of CIIE 2020 / edited by Samira Hosseini, Diego Hernan Peluffo, Julius Nganji, Arturo Arrona-Palacios. by Hosseini, Samira [editor.] Peluffo, Diego Hernan [editor.] Nganji, Julius [editor.] Arrona-Palacios, Arturo [editor.] Series: Transactions on Computer Systems and Networks 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: 005.3. Place hold Save to lists
	514.	Distributed Computing for Emerging Smart Networks [electronic resource] : Third International Workshop, DiCES-N 2022, Bizerte, Tunisia, February 11, 2022, Proceedings / edited by Imen Jemili, Mohamed Mosbah. by Jemili, Imen [editor.] Mosbah, Mohamed [editor.] Series: Communications in Computer and Information Science ; 1564 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: 621.39 \| 004.6. Place hold Save to lists
	515.	Applications of Artificial Intelligence and Machine Learning [electronic resource] : Select Proceedings of ICAAAIML 2021 / edited by Bhuvan Unhelker, Hari Mohan Pandey, Gaurav Raj. by Unhelker, Bhuvan [editor.] Pandey, Hari Mohan [editor.] Raj, Gaurav [editor.] Series: Lecture Notes in Electrical Engineering ; 925 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: 006.3. Place hold Save to lists
	516.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers / edited by Manabu Okumura, Daisuke Bekki, Ken Satoh. by Okumura, Manabu [edt] Bekki, Daisuke [edt] Satoh, Ken [edt] Series: Lecture Notes in Computer Science ; 7258 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
	517.	Navigating the challenges of AI testing : The ultimate professional guide to mastering solutions / Ilan Sezhiyan Jayaraman, Bidhu Ranjan Sahoo, Annu Roy by Jayaraman, Ilan Sezhiyan Sahoo, Bidhu Ranjan Roy, Annu Publication details: Mumbai : Arcchie Publication, 2024 Availability: Items available for loan: National Library of India (1)Call number: E 005.14 J 334 nav. Place hold Request article Save to lists
	518.	Internet computing : principles of distributed systems and emerging internet-based technologies / Ali Sunyaev by Sunyaev, Ali Publication details: Cham, Switzerland : Springer Nature, c2020 Availability: Items available for loan: National Library of India (1)Call number: E 006.76 Su 74. Place hold Request article Save to lists
	519.	Transactions on Petri Nets and Other Models of Concurrency X [electronic resource] / edited by Maciej Koutny, Jörg Desel, Serge Haddad. by Koutny, Maciej [edt] Desel, Jörg [edt] Haddad, Serge [edt] Series: Lecture Notes in Computer Science ; 9410 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
	520.	Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. by International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy) Schätz, Bernhard [edt.] Salaün, Gwen [edt.] Series: Lecture Notes in Computer Science ; 6959 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Other title: FMICS 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1885 results.