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

Results
	1441.	Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Joël Ouaknine, Igor Potapov, James Worrell. by Ouaknine, Joël [edt] Potapov, Igor [edt] Worrell, James [edt] Series: Lecture Notes in Computer Science ; 8762 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
	1442.	Agent Environments for Multi-Agent Systems IV [electronic resource] : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers / edited by Danny Weyns, Fabien Michel. by Weyns, Danny [edt] Michel, Fabien [edt] Series: Lecture Notes in Computer Science ; 9068 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
	1443.	Reliable Software Technologies - Ada-Europe 2015 [electronic resource] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / edited by Juan Antonio de la Puente, Tullio Vardanega. by de la Puente, Juan Antonio [edt] Vardanega, Tullio [edt] Series: Lecture Notes in Computer Science ; 9111 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
	1444.	OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller. by Terboven, Christian [edt] de Supinski, Bronis R [edt] Reble, Pablo [edt] Chapman, Barbara M [edt] Müller, Matthias S [edt] Series: Lecture Notes in Computer Science ; 9342 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
	1445.	Human Aspects of Information Security, Privacy, and Trust [electronic resource] : Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / edited by Theo Tryfonas, Ioannis Askoxylakis. by Tryfonas, Theo [edt] Askoxylakis, Ioannis [edt] Series: Lecture Notes in Computer Science ; 9190 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
	1446.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 8803 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
	1447.	HCI in Mobility, Transport, and Automotive Systems [electronic resource] : 5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Heidi Krömker. by Krömker, Heidi [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.437 \| 004.019. Place hold Save to lists
	1448.	AIxIA 2021 - Advances in Artificial Intelligence [electronic resource] : 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers / edited by Stefania Bandini, Francesca Gasparini, Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari. by Bandini, Stefania [editor.] Gasparini, Francesca [editor.] Mascardi, Viviana [editor.] Palmonari, Matteo [editor.] Vizzari, Giuseppe [editor.] Series: Lecture Notes in Artificial Intelligence ; 13196 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
	1449.	Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi. by Hanus, Michael [editor.] Igarashi, Atsushi [editor.] Series: Lecture Notes in Computer Science ; 13215 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.1. Place hold Save to lists
	1450.	Perspectives in Business Informatics Research [electronic resource] : 21st International Conference on Business Informatics Research, BIR 2022, Rostock, Germany, September 21-23, 2022, Proceedings / edited by Ērika Nazaruka, Kurt Sandkuhl, Ulf Seigerroth. by Nazaruka, Ērika [editor.] Sandkuhl, Kurt [editor.] Seigerroth, Ulf [editor.] Series: Lecture Notes in Business Information Processing ; 462 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
	1451.	Security and Trust Management [electronic resource] : 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings / edited by Gabriele Lenzini, Weizhi Meng. by Lenzini, Gabriele [editor.] Meng, Weizhi [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.8. Place hold Save to lists
	1452.	Geographical Information Systems Theory, Applications and Management [electronic resource] : 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers / edited by Cédric Grueau, Robert Laurini, Lemonia Ragia. by Grueau, Cédric [editor.] Laurini, Robert [editor.] Ragia, Lemonia [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
	1453.	Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings / edited by Tiago Prince Sales, João Araújo, José Borbinha, Giancarlo Guizzardi. by Sales, Tiago Prince [editor.] Araújo, João [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [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.1. Place hold Save to lists
	1454.	Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey. by Gebser, Martin [editor.] Sergey, Ilya [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.13. Place hold Save to lists
	1455.	Big Data and Social Computing [electronic resource] : 7th China National Conference, BDSC 2022, Hangzhou, China, August 11-13, 2022, Revised Selected Papers / edited by Xiaofeng Meng, Qi Xuan, Yang Yang, Yang Yue, Zi-Ke Zhang. by Meng, Xiaofeng [editor.] Xuan, Qi [editor.] Yang, Yang [editor.] Yue, Yang [editor.] Zhang, Zi-Ke [editor.] Series: Communications in Computer and Information Science ; 1640 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: 621.39 \| 004.6. Place hold Save to lists
	1456.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch. by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] Series: Lecture Notes in Computer Science ; 13414 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
	1457.	Digital Transformation and Global Society [electronic resource] : 6th International Conference, DTGS 2021, St. Petersburg, Russia, June 23-25, 2021, Revised Selected Papers / edited by Daniel A. Alexandrov, Alexander V. Boukhanovsky, Andrei V. Chugunov, Yury Kabanov, Olessia Koltsova, Ilya Musabirov, Sergei Pashakhin. by Alexandrov, Daniel A [editor.] Boukhanovsky, Alexander V [editor.] Chugunov, Andrei V [editor.] Kabanov, Yury [editor.] Koltsova, Olessia [editor.] Musabirov, Ilya [editor.] Pashakhin, Sergei [editor.] Series: Communications in Computer and Information Science ; 1503 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
	1458.	Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings/ edited by Zhiguo Gong...[et al.] by WISM 2011 (2011 : Taiyuan, China) Gong, Zhiguo [edt] Series: Lecture Notes in Computer Science ; 6987 \| Lecture Notes in Computer Science ; 6988 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 Click here to access online Availability: Items available for loan: National Library of India (2). Place hold Request article Save to lists
	1459.	Data Management in Grid and Peer-to-Peer Systems [electronic resource] : 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa. by Globe 2011 (4th : 2011 : Toulouse, France) Tjoa, A Min [edt.] Hameurlain, Abdelkader [edt.] Series: Lecture Notes in Computer Science ; 6864 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
	1460.	Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings/ edited by Beniamino Murgante...[et al.] by ICCSA 2011 (2011 : Santander, Spain) Murgante, Beniamino [edt.] Series: Lecture Notes in Computer Science ; 6782 \| Lecture Notes in Computer Science ; 6783 \| Lecture Notes in Computer Science ; 6784 \| Lecture Notes in Computer Science ; 6785 \| Lecture Notes in Computer Science ; 6786 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Online resources: Part II Part III Part V Part IV Part I Availability: Items available for loan: National Library of India (5). 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.