Results of search for 'ccl=su:{Automata theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	981.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings / by Beckert, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3702 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)
	982.	Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Lee, Hong-Hee [editor.] Kang, Hee-Jun [editor.] Bevilacqua, Vitoantonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5755 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)
	983.	Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / by Gramlich, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3717 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)
	984.	KI 2007: Advances in Artificial Intelligence [electronic resource] : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings / by Hertzberg, Joachim [editor.] Beetz, Michael [editor.] Englert, Roman [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4667 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)
	985.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / by Miculan, Marino [editor.] Scagnetto, Ivan [editor.] Honsell, Furio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4941 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)
	986.	Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings / by Liskiewicz, Maciej [editor.] Reischuk, Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3623 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)
	987.	Artificial General Intelligence [electronic resource] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings / by Schmidhuber, Jürgen [editor.] Thorisson, Kristinn R [editor.] Looks, Moshe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6830 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)
	988.	ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Jones, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8586 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)
	989.	Machine Translation: From Real Users to Research [electronic resource] : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings / by Frederking, Robert E [editor.] Taylor, Kathryn B [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3265 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)
	990.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	991.	Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings / by Wang, Lipo [editor.] Jiao, Licheng [editor.] Shi, Guanming [editor.] Lu, Xue [editor.] Liu, Jing [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4223 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)
	992.	Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by Sestoft, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3924 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)
	993.	Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / by Cunha, Jácome [editor.] Fernandes, João P [editor.] Lämmel, Ralf [editor.] Saraiva, João [editor.] Zaytsev, Vadim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10223 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)
	994.	CONCUR 2014 – Concurrency Theory [electronic resource] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. by Baldan, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8704 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)
	995.	Fundamental Approaches to Software Engineering [electronic resource] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Stevens, Perdita [editor.] Wąsowski, Andrzej [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9633 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	996.	Transactions on Rough Sets X [electronic resource] / by Chakraborty, Mihir [editor.] Wu, Wei-Zhi [editor.] Wolski, Marcin [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 5656 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)
	997.	Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / by Chen, Peter P [editor.] Wong, Leah Y [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4512 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)
	998.	Conditionals, Information, and Inference [electronic resource] : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers / by Kern-Isberner, Gabriele [editor.] Rödder, Wilhelm [editor.] Kulmann, Friedhelm [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3301 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)
	999.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / by Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9698 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)
	1000.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / by Erdem, Esra [editor.] Lin, Fangzhen [editor.] Schaub, Torsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5753 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1743 results.