Results of search for 'ccl=Provider:Springer, ' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3161.	Metaverse – METAVERSE 2022 [electronic resource] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings / by Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13737 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3162.	High Performance Computing [electronic resource] : 9th Latin American Conference, CARLA 2022, Porto Alegre, Brazil, September 26–30, 2022, Revised Selected Papers / by Navaux, Philippe [editor.] Barrios H., Carlos J [editor.] Osthoff, Carla [editor.] Guerrero, Ginés [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1660 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)
	3163.	SOFSEM 2023: Theory and Practice of Computer Science [electronic resource] : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings / by Gąsieniec, Leszek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13878 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)
	3164.	Technology and Innovation in Learning, Teaching and Education [electronic resource] : Third International Conference, TECH-EDU 2022, Lisbon, Portugal, August 31–September 2, 2022, Revised Selected Papers / by Reis, Arsénio [editor.] Barroso, João [editor.] Martins, Paulo [editor.] Jimoyiannis, Athanassios [editor.] Huang, Ray Yueh-Min [editor.] Henriques, Roberto [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1720 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3165.	Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by Farmer, William M [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3166.	Game Theory for Networks [electronic resource] : 11th International EAI Conference, GameNets 2022, Virtual Event, July 7–8, 2022, Proceedings / by Fang, Fang [editor.] Shu, Fu [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 457 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3167.	Distributed Computing and Intelligent Technology [electronic resource] : 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18–22, 2023, Proceedings / by Molla, Anisur Rahaman [editor.] Sharma, Gokarna [editor.] Kumar, Pradeep [editor.] Rawat, Sanjay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13776 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)
	3168.	Advancements in Smart Computing and Information Security [electronic resource] : First International Conference, ASCIS 2022, Rajkot, India, November 24–26, 2022, Revised Selected Papers, Part II / by Rajagopal, Sridaran [editor.] Faruki, Parvez [editor.] Popat, Kalpesh [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1760 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3169.	Recent Trends in Image Processing and Pattern Recognition [electronic resource] : 5th International Conference, RTIP2R 2022, Kingsville, TX, USA, December 1-2, 2022, Revised Selected Papers / by Santosh, KC [editor.] Goyal, Ayush [editor.] Aouada, Djamila [editor.] Makkar, Aaisha [editor.] Chiang, Yao-Yi [editor.] Singh, Satish K [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1704 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)
	3170.	Machine Learning for Cyber Security [electronic resource] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2–4, 2022, Proceedings, Part I / by Xu, Yuan [editor.] Yan, Hongyang [editor.] Teng, Huang [editor.] Cai, Jun [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13655 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)
	3171.	Content Distribution for Mobile Internet: A Cloud-based Approach [electronic resource] / by Li, Zhenhua [author.] Dai, Yafei [author.] Chen, Guihai [author.] Liu, Yunhao [author.] 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)
	3172.	Cybersecurity Teaching in Higher Education [electronic resource] / by Sikos, Leslie F [editor.] Haskell-Dowland, Paul [editor.] SpringerLink (Online service) 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)
	3173.	Modular Algorithms in Symbolic Summation and Symbolic Integration [electronic resource] / by Gerhard, Jürgen [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3218 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)
	3174.	Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3188 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)
	3175.	Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / by Alur, Rajeev [editor.] Pappas, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2993 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)
	3176.	Distributed Computing [electronic resource] : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3274 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)
	3177.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Jensen, Kurt [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2988 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)
	3178.	Multiple Classifier Systems [electronic resource] : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings / by Roli, Fabio [editor.] Kittler, Josef [editor.] Windeatt, Terry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3077 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)
	3179.	Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Ayala-Rincón, Mauricio [editor.] Muñoz, César A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10499 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)
	3180.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / by Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10471 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17571 results.