Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	5221.	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)
	5222.	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)
	5223.	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)
	5224.	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)
	5225.	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)
	5226.	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)
	5227.	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)
	5228.	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)
	5229.	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)
	5230.	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)
	5231.	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)
	5232.	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)
	5233.	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)
	5234.	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)
	5235.	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)
	5236.	Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / by Fiadeiro, José [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4961 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)
	5237.	Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings / by Baader, Franz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4533 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)
	5238.	Optical SuperComputing [electronic resource] : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings / by Dolev, Shlomi [editor.] Haist, Tobias [editor.] Oltean, Mihai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5172 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)
	5239.	AI 2007: Advances in Artificial Intelligence [electronic resource] : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings / by Orgun, Mehmet A [editor.] Thornton, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4830 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)
	5240.	Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / by Wismath, Stephen [editor.] Wolff, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8242 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.