Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	101.	Science of Cyber Security [electronic resource] : Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers / by Liu, Feng [editor.] Xu, Jia [editor.] Xu, Shouhuai [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11933 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	102.	SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / by Chatzigeorgiou, Alexander [editor.] Dondi, Riccardo [editor.] Herodotou, Herodotos [editor.] Kapoutsis, Christos [editor.] Manolopoulos, Yannis [editor.] Papadopoulos, George A [editor.] Sikora, Florian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12011 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	103.	Emerging Technologies for Authorization and Authentication [electronic resource] : Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings / by Saracino, Andrea [editor.] Mori, Paolo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11967 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	104.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12477 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	105.	Interactive Storytelling [electronic resource] : 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings / by Bosser, Anne-Gwenn [editor.] Millard, David E [editor.] Hargood, Charlie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12497 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	106.	Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	107.	Strategy, Planning and Organization of Test Processes [electronic resource] : Basis for Successful Project Execution in Software Testing / by Witte, Frank [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	108.	Virtual Reality and Mixed Reality [electronic resource] : 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings / by Zachmann, Gabriel [editor.] Alcañiz Raya, Mariano [editor.] Bourdot, Patrick [editor.] Marchal, Maud [editor.] Stefanucci, Jeanine [editor.] Yang, Xubo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13484 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	109.	Quality of Information and Communications Technology [electronic resource] : 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12–14, 2022, Proceedings / by Vallecillo, Antonio [editor.] Visser, Joost [editor.] Pérez-Castillo, Ricardo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1621 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	110.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13487 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	111.	Information Technologies and Intelligent Decision Making Systems [electronic resource] : Second International Conference, ITIDMS 2022, Virtual Event, December 12–14, 2022, Revised Selected Papers / by Gibadullin, Arthur [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1821 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	112.	Engineering Secure Software and Systems [electronic resource] : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings / by Jürjens, Jan [editor.] Piessens, Frank [editor.] Bielova, Nataliia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8364 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	113.	Advances in Multimedia Information Processing - PCM 2013 [electronic resource] : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013, Proceedings / by Huet, Benoit [editor.] Ngo, Chong-Wah [editor.] Tang, Jinhui [editor.] Zhou, Zhi-Hua [editor.] Hauptmann, Alexander G [editor.] Yan, Shuicheng [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8294 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	114.	Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Bubak, Marian [editor.] Albada, Geert D.van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3036 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	115.	Service-Oriented Computing – ICSOC 2017 Workshops [electronic resource] : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by Braubach, Lars [editor.] Murillo, Juan M [editor.] Kaviani, Nima [editor.] Lama, Manuel [editor.] Burgueño, Loli [editor.] Moha, Naouel [editor.] Oriol, Marc [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10797 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	116.	Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by Baek, Joonsang [editor.] Susilo, Willy [editor.] Kim, Jongkil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11192 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	117.	Chinese Lexical Semantics [electronic resource] : 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers / by Hong, Jia-Fei [editor.] Su, Qi [editor.] Wu, Jiun-Shiung [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11173 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	118.	Supercomputing [electronic resource] : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 965 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	119.	Engineering Adaptive Software Systems [electronic resource] : Communications of NII Shonan Meetings / by Yu, Yijun [editor.] Bandara, Arosha [editor.] Honiden, Shinichi [editor.] Hu, Zhenjiang [editor.] Tamai, Tetsuo [editor.] Muller, Hausi [editor.] Mylopoulos, John [editor.] Nuseibeh, Bashar [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	120.	Computer Security [electronic resource] : ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by Katsikas, Sokratis K [editor.] Cuppens, Frédéric [editor.] Cuppens, Nora [editor.] Lambrinoudakis, Costas [editor.] Antón, Annie [editor.] Gritzalis, Stefanos [editor.] Mylopoulos, John [editor.] Kalloniatis, Christos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11387 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 4423 results.