Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Artificial Intelligence and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers / by Di Gesù, Vito [editor.] Masulli, Francesco [editor.] Petrosino, Alfredo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2955 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)
	62.	Logic and Its Applications [electronic resource] : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings / by Lodaya, Kamal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7750 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)
	63.	Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / by Ghilardi, Silvio [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5749 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)
	64.	Transactions on Rough Sets V [electronic resource]. by SpringerLink (Online service) Series: Transactions on Rough Sets ; 4100 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)
	65.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Beringer, Lennart [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7406 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)
	66.	Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / by Dinh, Thang N [editor.] Thai, My T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9797 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)
	67.	Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings / by Masulli, Francesco [editor.] Pasi, Gabriella [editor.] Yager, Ronald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8256 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)
	68.	AI*IA 2009: Emergent Perspectives in Artificial Intelligence [electronic resource] : XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings / by Serra, Roberto [editor.] Cucchiara, Rita [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5883 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)
	69.	Artificial Intelligence and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings / by Rutkowski, Leszek [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lofti A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5097 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)
	70.	Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / by Song, Dawei [editor.] Melucci, Massimo [editor.] Frommholz, Ingo [editor.] Zhang, Peng [editor.] Wang, Lei [editor.] Arafat, Sachi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7052 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)
	71.	Advances in Machine Learning and Cybernetics [electronic resource] : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers / by Yeung, Daniel S [editor.] Liu, Zhi-Qiang [editor.] Wang, Xi-Zhao [editor.] Yan, Hong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3930 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)
	72.	AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings / by Sattar, Abdul [editor.] Kang, Byeong Ho [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4304 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)
	73.	Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / by de Groote, Philippe [editor.] Egg, Markus [editor.] Kallmeyer, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5591 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)
	74.	Transactions on Rough Sets IX [electronic resource] / by Rybinski, Henryk [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 5390 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)
	75.	MICAI 2004: Advances in Artificial Intelligence [electronic resource] : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings / by Monroy, Raúl [editor.] Arroyo-Figueroa, Gustavo [editor.] Sucar, Luis Enrique [editor.] Sossa, Humberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2972 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)
	76.	Language and Automata Theory and Applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Inenaga, Shunsuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6638 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)
	77.	Vagueness in Communication [electronic resource] : International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / by Nouwen, Rick [editor.] van Rooij, Robert [editor.] Sauerland, Uli [editor.] Schmitz, Hans-Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6517 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)
	78.	Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Birkedal, Lars [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7213 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)
	79.	Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / by Borrione, Dominique [editor.] Paul, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3725 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)
	80.	Implementation and Application of Automata [electronic resource] : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings / by Holzer, Markus [editor.] Kutrib, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8587 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 266 results.