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

Results
	8281.	Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / by Schneider, Klaus [editor.] Brandt, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4732 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)
	8282.	Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings / by Yorav, Karen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4899 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8283.	Computer Vision -- ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part IV / by Fleet, David [editor.] Pajdla, Tomas [editor.] Schiele, Bernt [editor.] Tuytelaars, Tinne [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8692 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8284.	Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / by Degano, Pierpaolo [editor.] Viganò, Luca [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5511 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)
	8285.	Computer Vision – ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III / by Fitzgibbon, Andrew [editor.] Lazebnik, Svetlana [editor.] Perona, Pietro [editor.] Sato, Yoichi [editor.] Schmid, Cordelia [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7574 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)
	8286.	Discrete and Computational Geometry and Graphs [electronic resource] : 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers / by Akiyama, Jin [editor.] Ito, Hiro [editor.] Sakai, Toshinori [editor.] Uno, Yushi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9943 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)
	8287.	Computer Vision -- ACCV 2009 [electronic resource] : 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III / by Zha, Hongbin [editor.] Taniguchi, Rin-ichiro [editor.] Maybank, Stephen [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5996 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8288.	Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / by Ghose, Aditya [editor.] Governatori, Guido [editor.] Sadananda, Ramakoti [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5044 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)
	8289.	High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / by Palma, José M. Laginha M [editor.] Amestoy, Patrick [editor.] Dayde, Michel [editor.] Mattoso, Marta [editor.] Correira Lopes, Joao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5336 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8290.	Gesture in Embodied Communication and Human Computer Interaction [electronic resource] : 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009 Revised Selected Papers / by Kopp, Stefan [editor.] Wachsmuth, Ipke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5934 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8291.	Language, Culture, Computation: Computational Linguistics and Linguistics [electronic resource] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III / by Dershowitz, Nachum [editor.] Nissan, Ephraim [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8003 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8292.	Distributed Applications and Interoperable Systems [electronic resource] : 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017, Proceedings / by Chen, Lydia Y [editor.] Reiser, Hans P [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10320 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)
	8293.	Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations / by Bennedsen, Jens [editor.] Caspersen, Michael E [editor.] Kölling, Michael [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4821 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8294.	Constraint Handling Rules [electronic resource] : Current Research Topics / by Schrijvers, Tom [editor.] Frühwirth, Thom [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5388 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8295.	Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by Kolehmainen, Ville [editor.] Toivanen, Pekka [editor.] Beliczynski, Bartlomiej [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5495 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)
	8296.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers / by Golumbic, Martin Charles [editor.] Stern, Michael [editor.] Levy, Avivit [editor.] Morgenstern, Gila [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7551 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)
	8297.	Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings / by Berbineau, Marion [editor.] Jonsson, Magnus [editor.] Bonnin, Jean-Marie [editor.] Cherkaoui, Soumaya [editor.] AGUADO, MARINA [editor.] Rico-Garcia, Cristina [editor.] Ghannoum, Hassan [editor.] Mehmood, Rashid [editor.] Vinel, Alexey [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7865 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)
	8298.	Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012, Proceedings / by Bolc, Leonard [editor.] Wojciechowski, Konrad [editor.] Tadeusiewicz, Ryszard [editor.] Chmielewski, Leszek J [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7594 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)
	8299.	Medical Content-Based Retrieval for Clinical Decision Support [electronic resource] : First MICCAI International Workshop, MCBR-CBS 2009, London, UK, September 20, 2009. Revised Selected Papers / by Müller, Henning [editor.] Syeda-Mahmood, Tanveer [editor.] Duncan, James [editor.] Wang, Fei [editor.] Kalpathy-Cramer, Jayashree [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5853 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8300.	Visual Data Mining [electronic resource] : Theory, Techniques and Tools for Visual Analytics / by Simoff, Simeon [editor.] Böhlen, Michael H [editor.] Mazeika, Arturas [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4404 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 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 16792 results.