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

Results
	741.	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)
	742.	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)
	743.	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)
	744.	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)
	745.	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)
	746.	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)
	747.	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)
	748.	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)
	749.	Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10479 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)
	750.	Search Based Software Engineering [electronic resource] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / by Menzies, Tim [editor.] Petke, Justyna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10452 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)
	751.	Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings / by Lee, Yann-Hang [editor.] Kim, Heung-Nam [editor.] Kim, Jong [editor.] Park, Yongwan [editor.] Yang, Laurence T [editor.] Kim, Sung Won [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4523 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	752.	Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I / by Felsberg, Michael [editor.] Heyden, Anders [editor.] Krüger, Norbert [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10424 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)
	753.	Artificial General Intelligence [electronic resource] : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / by Everitt, Tom [editor.] Goertzel, Ben [editor.] Potapov, Alexey [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10414 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)
	754.	Learning and Collaboration Technologies. Novel Learning Ecosystems [electronic resource] : 4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / by Zaphiris, Panayiotis [editor.] Ioannou, Andri [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10295 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)
	755.	Technologies for E-Services [electronic resource] : 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / by Shan, Ming-Chien [editor.] Dayal, Umeshwar [editor.] Hsu, Meichun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3324 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)
	756.	Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling [electronic resource] : 6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I / by Duffy, Vincent G [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9184 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	757.	Provable Security [electronic resource] : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings / by Okamoto, Tatsuaki [editor.] Yu, Yong [editor.] Au, Man Ho [editor.] Li, Yannan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10592 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)
	758.	Intelligent Computing Theories and Application [electronic resource] : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Premaratne, Prashan [editor.] Gupta, Phalguni [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10954 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)
	759.	Computer Vision – ECCV 2018 [electronic resource] : 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI / by Ferrari, Vittorio [editor.] Hebert, Martial [editor.] Sminchisescu, Cristian [editor.] Weiss, Yair [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11220 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)
	760.	Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by Colombo, Christian [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11237 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 4652 results.