Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	5801.	Artificial Evolution [electronic resource] : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers / by Bonnevay, Stéphane [editor.] Legrand, Pierrick [editor.] Monmarché, Nicolas [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9554 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)
	5802.	Advances in Artificial Intelligence [electronic resource] : 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012, Proceedings / by Kosseim, Leila [editor.] Inkpen, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7310 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)
	5803.	Rough Sets and Current Trends in Computing [electronic resource] : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings / by Tsumoto, Shusaku [editor.] Slowiński, Roman [editor.] Komorowski, Jan [editor.] Grzymala-Busse, Jerzy W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3066 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5804.	Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / by Hague, Matthew [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10506 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)
	5805.	Software Composition [electronic resource] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / by Löwe, Welf [editor.] Südholt, Mario [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4089 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)
	5806.	Culture and Computing [electronic resource] : Computing and Communication for Crosscultural Interaction / by Ishida, Toru [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6259 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)
	5807.	Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / by Bonacina, Maria Paola [editor.] Stickel, Mark E [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7788 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)
	5808.	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II / by Khosla, Rajiv [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3682 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)
	5809.	ECOOP 2010 -- Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / by D'Hondt, Theo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6183 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)
	5810.	Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / by Benz, Anton [editor.] Ebert, Christian [editor.] Jäger, Gerhard [editor.] van Rooij, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6207 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)
	5811.	Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / by Zucker, Jean-Daniel [editor.] Saitta, Lorenza [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3607 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)
	5812.	Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / by Broy, Manfred [editor.] Krüger, Ingolf [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4147 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)
	5813.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings / by Van Hentenryck, Pascal [editor.] Wolsey, Laurence [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4510 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)
	5814.	Progress in VLSI Design and Test [electronic resource] : 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings / by Rahaman, Hafizur [editor.] Chattopadhyay, Sanatan [editor.] Chattopadhyay, Santanu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7373 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)
	5815.	Information Security Applications [electronic resource] : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers / by Lee, Dong Hoon [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7690 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)
	5816.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings / by Autexier, Serge [editor.] Campbell, John [editor.] Rubio, Julio [editor.] Sorge, Volker [editor.] Suzuki, Masakazu [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5144 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)
	5817.	NASA Formal Methods [electronic resource] : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / by Barrett, Clark [editor.] Davies, Misty [editor.] Kahsai, Temesghen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10227 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)
	5818.	Digital Watermarking [electronic resource] : 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers / by Kim, Hyoung-Joong [editor.] Shi, Yun Q [editor.] Barni, Mauro [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6526 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)
	5819.	Swarm Robotics [electronic resource] : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / by Sahin, Erol [editor.] Spears, William M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3342 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)
	5820.	Smart Computing and Communication [electronic resource] : First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10135 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.