Results of search for 'ccl=Provider:Springer, and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2461.	Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / by Strichman, Ofer [editor.] Tzoref-Brill, Rachel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10629 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)
	2462.	Descriptional Complexity of Formal Systems [electronic resource] : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings / by Han, Yo-Sub [editor.] Ko, Sang-Ki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13037 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)
	2463.	Ubiquitous Security [electronic resource] : First International Conference, UbiSec 2021, Guangzhou, China, December 28–31, 2021, Revised Selected Papers / by Wang, Guojun [editor.] Choo, Kim-Kwang Raymond [editor.] Ko, Ryan K. L [editor.] Xu, Yang [editor.] Crispo, Bruno [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1557 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)
	2464.	Public-Key Cryptography – PKC 2022 [electronic resource] : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I / by Hanaoka, Goichiro [editor.] Shikata, Junji [editor.] Watanabe, Yohei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13177 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)
	2465.	Public-Key Cryptography – PKC 2022 [electronic resource] : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part II / by Hanaoka, Goichiro [editor.] Shikata, Junji [editor.] Watanabe, Yohei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13178 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)
	2466.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I / by Gama, João [editor.] Li, Tianrui [editor.] Yu, Yang [editor.] Chen, Enhong [editor.] Zheng, Yu [editor.] Teng, Fei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13280 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)
	2467.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part II / by Gama, João [editor.] Li, Tianrui [editor.] Yu, Yang [editor.] Chen, Enhong [editor.] Zheng, Yu [editor.] Teng, Fei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13281 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)
	2468.	Post-Quantum Cryptography [electronic resource] : 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16–18, 2023, Proceedings / by Johansson, Thomas [editor.] Smith-Tone, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14154 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)
	2469.	Representation Learning for Natural Language Processing [electronic resource] / by Liu, Zhiyuan [editor.] Lin, Yankai [editor.] Sun, Maosong [editor.] SpringerLink (Online service) Edition: 2nd ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2470.	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / by Jin, Hai [editor.] Gao, Guangrong [editor.] Xu, Zhiwei [editor.] Chen, Hao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3222 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)
	2471.	Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings / by Fages, Francois [editor.] Soliman, Sylvain [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3703 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2472.	Computer Vision – ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III / by Chen, Chu-Song [editor.] Lu, Jiwen [editor.] Ma, Kai-Kuang [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10118 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)
	2473.	Algorithms in Bioinformatics [electronic resource] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / by Frith, Martin [editor.] Storm Pedersen, Christian Nørgaard [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9838 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2474.	Bioinspired Optimization Methods and Their Applications [electronic resource] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by Korošec, Peter [editor.] Melab, Nouredine [editor.] Talbi, El-Ghazali [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10835 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)
	2475.	Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Dimuro, Graçaliz Pereira [editor.] Antunes, Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10798 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)
	2476.	Artificial Intelligence Algorithms and Applications [electronic resource] : 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers / by Li, Kangshun [editor.] Li, Wei [editor.] Wang, Hui [editor.] Liu, Yong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1205 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2477.	Advances in Information Systems Development [electronic resource] : Information Systems Beyond 2020 / by Siarheyeva, Alena [editor.] Barry, Chris [editor.] Lang, Michael [editor.] Linger, Henry [editor.] Schneider, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Information Systems and Organisation ; 39 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)
	2478.	Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22–25, 2020, Proceedings / by Arampatzis, Avi [editor.] Kanoulas, Evangelos [editor.] Tsikrika, Theodora [editor.] Vrochidis, Stefanos [editor.] Joho, Hideo [editor.] Lioma, Christina [editor.] Eickhoff, Carsten [editor.] Névéol, Aurélie [editor.] Cappellato, Linda [editor.] Ferro, Nicola [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12260 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)
	2479.	Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 12th International Conference of the CLEF Association, CLEF 2021, Virtual Event, September 21–24, 2021, Proceedings / by Candan, K. Selçuk [editor.] Ionescu, Bogdan [editor.] Goeuriot, Lorraine [editor.] Larsen, Birger [editor.] Müller, Henning [editor.] Joly, Alexis [editor.] Maistro, Maria [editor.] Piroi, Florina [editor.] Faggioli, Guglielmo [editor.] Ferro, Nicola [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12880 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)
	2480.	AI Approaches to the Complexity of Legal Systems XI-XII [electronic resource] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers / by Rodríguez-Doncel, Víctor [editor.] Palmirani, Monica [editor.] Araszkiewicz, Michał [editor.] Casanovas, Pompeu [editor.] Pagallo, Ugo [editor.] Sartor, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13048 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

Places

Topics

Titles

Your search returned 7935 results.