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

Results
	1861.	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)
	1862.	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)
	1863.	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)
	1864.	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)
	1865.	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)
	1866.	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)
	1867.	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)
	1868.	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)
	1869.	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)
	1870.	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)
	1871.	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)
	1872.	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)
	1873.	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)
	1874.	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)
	1875.	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)
	1876.	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)
	1877.	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)
	1878.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / by Cassez, Franck [editor.] Jard, Claude [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5215 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)
	1879.	Affect and Emotion in Human-Computer Interaction [electronic resource] : From Theory to Applications / by Peter, Christian [editor.] Beale, Russell [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4868 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)
	1880.	User Modeling, Adaptation, and Personalization [electronic resource] : 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009, Proceedings / by Houben, Geert-Jan [editor.] McCalla, Gord [editor.] Pianesi, Fabio [editor.] Zancanaro, Massimo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5535 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7426 results.