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

Results
	341.	Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers / by Burke, Edmund [editor.] Rudová, Hana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3867 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)
	342.	Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / by Ferrandez Vicente, Jose Manuel [editor.] Alvarez Sanchez, Jose Ramon [editor.] de la Paz Lopez, Felix [editor.] Toledo Moreo, Fco. Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7931 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)
	343.	Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II / by Loo, Chu Kiong [editor.] Keem Siah, Yap [editor.] Wong, Kok Wai [editor.] Beng Jin, Andrew Teoh [editor.] Huang, Kaizhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8835 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)
	344.	Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / by Drewes, Frank [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10168 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)
	345.	Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by Hurd, Joe [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3603 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)
	346.	DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / by Mao, Chengde [editor.] Yokomori, Takashi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4287 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)
	347.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4144 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)
	348.	Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings / by Kucherov, Gregory [editor.] Ukkonen, Esko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5577 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)
	349.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7667 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)
	350.	Simulated Evolution and Learning [electronic resource] : 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings / by Wang, Tzai-Der [editor.] Li, Xiaodong [editor.] Wang, Xufa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4247 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)
	351.	Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10189 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)
	352.	Evolvable Systems: From Biology to Hardware [electronic resource] : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings / by Hornby, Gregory S [editor.] Sekanina, Lukas [editor.] Haddow, Pauline C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5216 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)
	353.	DNA Computing [electronic resource] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / by Goel, Ashish [editor.] Simmel, Friedrich C [editor.] Sosik, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5347 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)
	354.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011, Proceedings / by Atallah, Mikhail [editor.] Li, Xiang-Yang [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6681 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)
	355.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] Dash, Shubhransu Sekhar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8298 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)
	356.	Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II / by Kollias, Stefanos [editor.] Stafylopatis, Andreas [editor.] Duch, Wlodzislaw [editor.] Oja, Erkki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4132 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)
	357.	Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III / by Lee, Minho [editor.] Hirose, Akira [editor.] Hou, Zeng-Guang [editor.] Kil, Rhee Man [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8228 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)
	358.	LATIN 2014: Theoretical Informatics [electronic resource] : 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings / by Pardo, Alberto [editor.] Viola, Alfredo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8392 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	359.	LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings / by Laber, Eduardo Sany [editor.] Bornstein, Claudson [editor.] Nogueira, Loana Tito [editor.] Faria, Luerbio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4957 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)
	360.	Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / by Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7381 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 514 results.