Results of search for 'ccl=su:{Computer science and engineering}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1121.	NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Dutle, Aaron [editor.] Muñoz, César [editor.] Narkawicz, Anthony [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10811 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)
	1122.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 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)
	1123.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by Donatelli, Susanna [editor.] Haar, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11522 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)
	1124.	Description Logic, Theory Combination, and All That [electronic resource] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / by Lutz, Carsten [editor.] Sattler, Uli [editor.] Tinelli, Cesare [editor.] Turhan, Anni-Yasmin [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11560 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)
	1125.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by Slamanig, Daniel [editor.] Tsigaridas, Elias [editor.] Zafeirakopoulos, Zafeirakis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11989 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)
	1126.	Intelligent Human Computer Interaction [electronic resource] : 12th International Conference, IHCI 2020, Daegu, South Korea, November 24–26, 2020, Proceedings, Part I / by Singh, Madhusudan [editor.] Kang, Dae-Ki [editor.] Lee, Jong-Ha [editor.] Tiwary, Uma Shanker [editor.] Singh, Dhananjay [editor.] Chung, Wan-Young [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12615 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)
	1127.	Database Systems for Advanced Applications. DASFAA 2021 International Workshops [electronic resource] : BDQM, GDMA, MLDLDSA, MobiSocial, and MUST, Taipei, Taiwan, April 11–14, 2021, Proceedings / by Jensen, Christian S [editor.] Lim, Ee-Peng [editor.] Yang, De-Nian [editor.] Chang, Chia-Hui [editor.] Xu, Jianliang [editor.] Peng, Wen-Chih [editor.] Huang, Jen-Wei [editor.] Shen, Chih-Ya [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12680 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)
	1128.	Socio-Technical Aspects in Security and Trust [electronic resource] : 9th International Workshop, STAST 2019, Luxembourg City, Luxembourg, September 26, 2019, Revised Selected Papers / by Groß, Thomas [editor.] Tryfonas, Theo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11739 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)
	1129.	Production Research [electronic resource] : 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II / by Rossit, Daniel Alejandro [editor.] Tohmé, Fernando [editor.] Mejía Delgadillo, Gonzalo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1408 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)
	1130.	AIxIA 2020 – Advances in Artificial Intelligence [electronic resource] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by Baldoni, Matteo [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12414 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)
	1131.	Computational Intelligence in Communications and Business Analytics [electronic resource] : Third International Conference, CICBA 2021, Santiniketan, India, January 7–8, 2021, Revised Selected Papers / by Dutta, Paramartha [editor.] Mandal, Jyotsna K [editor.] Mukhopadhyay, Somnath [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1406 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)
	1132.	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)
	1133.	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)
	1134.	GreenEdge: New Perspectives to Energy Management and Supply in Mobile Edge Computing [electronic resource] / by Tang, Guoming [author.] Guo, Deke [author.] Wu, Kui [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1135.	Operations Research and Enterprise Systems [electronic resource] : 9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by Parlier, Greg H [editor.] Liberatore, Federico [editor.] Demange, Marc [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1623 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)
	1136.	Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings / by Chechik, Marsha [editor.] Katoen, Joost-Pieter [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14000 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1137.	Lesion Segmentation in Surgical and Diagnostic Applications [electronic resource] : MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18–22, 2022, Proceedings / by Xiao, Yiming [editor.] Yang, Guanyu [editor.] Song, Shuang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13648 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)
	1138.	Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings / by Gogolla, Martin [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6706 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1139.	Business Process Management [electronic resource] : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings / by Carmona, Josep [editor.] Engels, Gregor [editor.] Kumar, Akhil [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10445 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1140.	Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / by Lee, David [editor.] Lopes, Antonia [editor.] Poetzsch-Heffter, Arnd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5522 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 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

Titles

Your search returned 3843 results.