Results of search for 'ccl=copydate:"©2021" and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	Cybersecurity in Emerging Digital Era [electronic resource] : First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers / by Agrawal, Rajeev [editor.] Sanyal, Goutam [editor.] Curran, Kevin [editor.] Balas, Valentina Emilia [editor.] Gaur, Madhu Sharma [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1436 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	142.	Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by O'Reilly, Una-May [editor.] Devroey, Xavier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12914 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	143.	Runtime Verification [electronic resource] : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings / by Feng, Lu [editor.] Fisman, Dana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12974 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	144.	Concise Guide to Databases [electronic resource] : A Practical Introduction / by Domdouzis, Konstantinos [author.] Lake, Peter [author.] Crowther, Paul [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	145.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	146.	Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by Hou, Zhe [editor.] Ganesh, Vijay [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12971 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	147.	Statistical Language and Speech Processing [electronic resource] : 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / by Espinosa-Anke, Luis [editor.] Martín-Vide, Carlos [editor.] Spasić, Irena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13062 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	148.	Intelligent Robotics and Applications [electronic resource] : 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part I / by Liu, Xin-Jun [editor.] Nie, Zhenguo [editor.] Yu, Jingjun [editor.] Xie, Fugui [editor.] Song, Rui [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13013 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	149.	Electronic Government [electronic resource] : 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings / by Scholl, Hans Jochen [editor.] Gil-Garcia, J. Ramon [editor.] Janssen, Marijn [editor.] Kalampokis, Evangelos [editor.] Lindgren, Ida [editor.] Rodríguez Bolívar, Manuel Pedro [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12850 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	150.	Conceptual Modeling [electronic resource] : 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings / by Ghose, Aditya [editor.] Horkoff, Jennifer [editor.] Silva Souza, Vítor E [editor.] Parsons, Jeffrey [editor.] Evermann, Joerg [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 13011 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	151.	Advances in Computational Intelligence [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I / by Batyrshin, Ildar [editor.] Gelbukh, Alexander [editor.] Sidorov, Grigori [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13067 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	152.	Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by Salaün, Gwen [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13077 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	153.	Domain Science and Engineering [electronic resource] : A Foundation for Software Development / by Bjørner, Dines [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	154.	Secure IT Systems [electronic resource] : 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings / by Tuveri, Nicola [editor.] Michalas, Antonis [editor.] Brumley, Billy Bob [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13115 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	155.	Formal Methods: Foundations and Applications [electronic resource] : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / by Campos, Sérgio [editor.] Minea, Marius [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13130 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	156.	Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Britto, André [editor.] Valdivia Delgado, Karina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13073 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	157.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	158.	Innovation Through Information Systems [electronic resource] : Volume III: A Collection of Latest Research on Management Issues / by Ahlemann, Frederik [editor.] Schütte, Reinhard [editor.] Stieglitz, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Information Systems and Organisation ; 48 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	159.	Composing Model-Based Analysis Tools [electronic resource] / by Heinrich, Robert [editor.] Durán, Francisco [editor.] Talcott, Carolyn [editor.] Zschaler, Steffen [editor.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	160.	Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13030 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 219 results.