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

Results
	721.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Cabestany, Joan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7902 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)
	722.	25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / by Grumberg, Orna [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5000 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)
	723.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings / by Liefooghe, Arnaud [editor.] López-Ibáñez, Manuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10782 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	724.	Frontiers in Algorithmics [electronic resource] : 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings / by Chen, Jianer [editor.] Lu, Pinyan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10823 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	725.	Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I / by Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4705 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)
	726.	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by Liu, Zhiming [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3407 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)
	727.	Algorithms and Models for the Web Graph [electronic resource] : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings / by Bonato, Anthony [editor.] Graham, Fan Chung [editor.] Prałat, Paweł [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8882 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)
	728.	Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings / by Ait Mohamed, Otmane [editor.] Munoz, César [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5170 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)
	729.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by Chicano, Francisco [editor.] Hu, Bin [editor.] García-Sánchez, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9595 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)
	730.	Artificial Evolution [electronic resource] : 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers / by Talbi, El-ghazali [editor.] Liardet, Pierre [editor.] Collet, Pierre [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3871 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)
	731.	Inconsistency Tolerance [electronic resource] / by Bertossi, Leopoldo [editor.] Hunter, Anthony [editor.] Schaub, Torsten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3300 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)
	732.	Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / by Siarry, Patrick [editor.] Idoumghar, Lhassane [editor.] Lepagnot, Julien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8472 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)
	733.	Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I / by Sunderam, V.S [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, J. J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3514 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)
	734.	Parallel Problem Solving from Nature, PPSN XI [electronic resource] : 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II / by Schaefer, Robert [editor.] Cotta, Carlos [editor.] Kolodziej, Joanna [editor.] Rudolph, Günter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6239 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)
	735.	Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / by Hill, Patricia M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3901 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)
	736.	Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings / by Hart, Emma [editor.] McEwan, Chris [editor.] Timmis, Jon [editor.] Hone, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6209 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)
	737.	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings / by Arvind, V [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4855 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)
	738.	The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / by Bodlaender, Hans L [editor.] Downey, Rodney [editor.] Fomin, Fedor V [editor.] Marx, Dániel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7370 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)
	739.	Mathematical Methods for Curves and Surfaces [electronic resource] : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers / by Floater, Michael [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Mørken, Knut [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10521 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)
	740.	Learning and Intelligent Optimization [electronic resource] : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers / by Battiti, Roberto [editor.] Kvasov, Dmitri E [editor.] Sergeyev, Yaroslav D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10556 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

Item types

Series

Topics

Your search returned 1832 results.