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

Results
	2301.	Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / by D'Souza, Deepak [editor.] Narayan Kumar, K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10482 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)
	2302.	Network and Parallel Computing [electronic resource] : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings / by Shi, Xuanhua [editor.] An, Hong [editor.] Wang, Chao [editor.] Kandemir, Mahmut [editor.] Jin, Hai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10578 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)
	2303.	Social Robotics [electronic resource] : 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017, Proceedings / by Kheddar, Abderrahmane [editor.] Yoshida, Eiichi [editor.] Ge, Shuzhi Sam [editor.] Suzuki, Kenji [editor.] Cabibihan, John-John [editor.] Eyssel, Friederike [editor.] He, Hongsheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10652 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)
	2304.	Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I / by Kalai, Yael [editor.] Reyzin, Leonid [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10677 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)
	2305.	Advances in Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings / by de Cesare, Sergio [editor.] Frank, Ulrich [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10651 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)
	2306.	Brain Informatics [electronic resource] : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings / by Zeng, Yi [editor.] He, Yong [editor.] Kotaleski, Jeanette Hellgren [editor.] Martone, Maryann [editor.] Xu, Bo [editor.] Peng, Hanchuan [editor.] Luo, Qingming [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10654 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)
	2307.	Critical Information Infrastructures Security [electronic resource] : 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers / by Havarneanu, Grigore [editor.] Setola, Roberto [editor.] Nassopoulos, Hypatia [editor.] Wolthusen, Stephen [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10242 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)
	2308.	Human-Computer Interaction – INTERACT 2017 [electronic resource] : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV / by Bernhaupt, Regina [editor.] Dalvi, Girish [editor.] Joshi, Anirudha [editor.] K. Balkrishan, Devanuj [editor.] O’Neill, Jacki [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10516 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)
	2309.	Intelligent Human Computer Interaction [electronic resource] : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings / by Horain, Patrick [editor.] Achard, Catherine [editor.] Mallem, Malik [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10688 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)
	2310.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / by Paskevich, Andrei [editor.] Wies, Thomas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10712 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)
	2311.	High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by Jarvis, Stephen [editor.] Wright, Steven [editor.] Hammond, Simon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10724 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)
	2312.	Information Security Theory and Practice [electronic resource] : 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings / by Hancke, Gerhard P [editor.] Damiani, Ernesto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10741 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)
	2313.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 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)
	2314.	Computational Science and Its Applications – ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Stankova, Elena [editor.] Torre, Carmelo M [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] Ryu, Yeonseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10962 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)
	2315.	Traffic Monitoring and Analysis [electronic resource] : 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012, Proceedings / by Pescapè, Antonio [editor.] Salgarelli, Luca [editor.] Dimitropoulos, Xenofontas [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7189 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2316.	Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction [electronic resource] : First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers / by Schwenker, Friedhelm [editor.] Scherer, Stefan [editor.] Morency, Louis-Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7742 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2317.	Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / by Herrmann, Guido [editor.] Pearson, Martin [editor.] Lenz, Alexander [editor.] Bremner, Paul [editor.] Spiers, Adam [editor.] Leonards, Ute [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8239 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2318.	Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings / by Wang, Xinbing [editor.] Zheng, Rong [editor.] Jing, Tao [editor.] Xing, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7405 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2319.	Cooperative Design, Visualization, and Engineering [electronic resource] : 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012, Proceedings / by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7467 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2320.	Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings / by Göschka, Karl Michael [editor.] Haridi, Seif [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7272 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 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.