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

Results
	10721.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / by Jones, Neil [editor.] Müller-Olm, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5403 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)
	10722.	Social Informatics [electronic resource] : 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings / by Aberer, Karl [editor.] Flache, Andreas [editor.] Jager, Wander [editor.] Liu, Ling [editor.] Tang, Jie [editor.] Gueret, Christophe [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7710 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)
	10723.	Descriptional Complexity of Formal Systems [electronic resource] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / by Câmpeanu, Cezar [editor.] Manea, Florin [editor.] Shallit, Jeffrey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9777 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)
	10724.	Computational Social Networks [electronic resource] : 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings / by Thai, My T [editor.] Nguyen, Nam P [editor.] Shen, Huawei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9197 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)
	10725.	Advances in Cryptology -- CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings / by Safavi-Naini, Reihaneh [editor.] Canetti, Ran [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7417 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)
	10726.	Computer Vision Systems [electronic resource] : 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings / by Crowley, James L [editor.] Draper, Bruce [editor.] Thonnat, Monique [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6962 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10727.	Internet and Network Economics [electronic resource] : Third International Workshop,WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings / by Deng, Xiaotie [editor.] Graham, Fan Chung [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4858 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)
	10728.	Advanced Concepts for Intelligent Vision Systems [electronic resource] : 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012, Proceedings / by Blanc-Talon, Jaques [editor.] Philips, Wilfried [editor.] Popescu, Dan [editor.] Scheunders, Paul [editor.] Zemcik, Pavel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7517 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)
	10729.	Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / by Audebaud, Philippe [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5133 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)
	10730.	Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV / by Setchi, Rossitza [editor.] Jordanov, Ivan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6279 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)
	10731.	Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology [electronic resource] : Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers / by Phan, Raphaël C.-W [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10311 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)
	10732.	Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings / by Menezes, Alfred [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4622 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)
	10733.	Case-Based Reasoning Research and Development [electronic resource] : 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013, Proceedings / by Delany, Sarah Jane [editor.] Ontañon, Santiago [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7969 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)
	10734.	Active Media Technology [electronic resource] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / by Liu, Jiming [editor.] Wu, Jinglong [editor.] Yao, Yiyu Y [editor.] Nishida, Toyoaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5820 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)
	10735.	WALCOM: Algorithms and Computation [electronic resource] : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings / by Nakano, Shin-ichi [editor.] Rahman, Md. Saidur [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4921 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)
	10736.	Human-Computer Interaction -- INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III / by Campos, Pedro [editor.] Graham, Nicholas [editor.] Jorge, Joaquim [editor.] Nunes, Nuno [editor.] Palanque, Philippe [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6948 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10737.	Image and Signal Processing [electronic resource] : 6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings / by Elmoataz, Abderrahim [editor.] Lezoray, Olivier [editor.] Nouboud, Fathallah [editor.] Mammass, Driss [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8509 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)
	10738.	Scalable Uncertainty Management [electronic resource] : 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011, Proceedings / by Benferhat, Salem [editor.] Grant, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6929 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10739.	Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / by Giardini, Francesca [editor.] Amblard, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7838 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)
	10740.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Dunne, Steve [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4010 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 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 17575 results.