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

Results
	12041.	NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / by Bobaru, Mihaela [editor.] Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6617 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)
	12042.	KI 2006 [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings / by Freksa, Christian [editor.] Kohlhase, Michael [editor.] Schill, Kerstin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4314 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)
	12043.	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings / by Gupta, Ashutosh [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8130 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)
	12044.	Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / by Ruhe, Günther [editor.] Zhang, Yuanyuan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8084 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)
	12045.	Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings / by Dawar, Anuj [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6247 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)
	12046.	Advances in Computation and Intelligence [electronic resource] : Third International Symposium on Intelligence Computation and Applications, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / by Yan, Xuesong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5370 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)
	12047.	Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by Heineman, George [editor.] Crnkovic, Ivica [editor.] Schmidt, Heinz W [editor.] Stafford, Judith A [editor.] Szyperski, Clemens [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3489 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)
	12048.	Internet of Vehicles - Safe and Intelligent Mobility [electronic resource] : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / by Hsu, Ching-Hsien [editor.] Feng, Xia [editor.] Liu, Xingang [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9502 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)
	12049.	Multi-Agent-Based Simulation VII [electronic resource] : International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / by Antunes, Luis [editor.] Takadama, Keiki [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4442 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)
	12050.	Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II / by Corchado, Emilio [editor.] Kurzynski, Marek [editor.] Wozniak, Michal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6679 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)
	12051.	Intelligent Cloud Computing [electronic resource] : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / by Al-Saidi, Asma [editor.] Fleischer, Rudolf [editor.] Maamar, Zakaria [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8993 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)
	12052.	Privacy Technologies and Policy [electronic resource] : 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings / by Schiffner, Stefan [editor.] Serna, Jetzabel [editor.] Ikonomou, Demosthenes [editor.] Rannenberg, Kai [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9857 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)
	12053.	WALCOM: Algorithms and Computation [electronic resource] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings / by Rahman, Md. Saidur [editor.] Fujita, Satoshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5942 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)
	12054.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings / by Zhou, Zhi-Hua [editor.] Li, Hang [editor.] Yang, Qiang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4426 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)
	12055.	Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / by Mukund, Madhavan [editor.] Chakraborty, Supratik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7561 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)
	12056.	Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012, Proceedings / by Machado, Penousal [editor.] Romero, Juan J [editor.] Carballal, Adrian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7247 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)
	12057.	Wireless Algorithms, Systems, and Applications [electronic resource] : 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings / by Pandurangan, Gopal [editor.] Kumar, V. S. Anil [editor.] Ming, Gu [editor.] Liu, Yunhao [editor.] Li, Yingshu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6221 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)
	12058.	Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 [electronic resource] : 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part III / by Fichtinger, Gabor [editor.] Martel, Anne [editor.] Peters, Terry [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6893 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)
	12059.	Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / by Dix, Jürgen [editor.] Fisher, Michael [editor.] Novák, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6214 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)
	12060.	On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3762 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17575 results.