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

Results
	1701.	Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings / by Bouquet, Paolo [editor.] Serafini, Luciano [editor.] Brézillon, Patrick [editor.] Benerecetti, Massimo [editor.] Castellani, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1688 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1702.	Non-Standard Inferences in Description Logics [electronic resource] : From Foundations and Definitions to Algorithms and Analysis / by Küsters, Ralf [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2100 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1703.	Logic Based Program Synthesis and Transformation [electronic resource] : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers / by Leuschel, M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2664 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1704.	Learning Theory and Kernel Machines [electronic resource] : 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings / by Schölkopf, Bernhard [editor.] Warmuth, Manfred K [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2777 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1705.	Incremental Speech Translation [electronic resource] / by Amtrup, Jan W [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1735 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1706.	Grammatical Inference [electronic resource] : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings / by Honavar, Vasant [editor.] Slutzki, Giora [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1433 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1707.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / by Campbell, John A [editor.] Roanes-Lozano, Eugenio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1930 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1708.	Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / by Hofmann, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2701 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1709.	Conceptual Modeling - ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings / by Spaccapietra, Stefano [editor.] March, Salvatore [editor.] Kambayashi, Yahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2503 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1710.	Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / by Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2895 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1711.	Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Deransart, Pierre [editor.] Hermenegildo, M.V [editor.] Maluszynski, J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1870 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1712.	Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Comon, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1232 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1713.	Advances in Learning Classifier Systems [electronic resource] : 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers / by Lanzi, Pier L [editor.] Stolzmann, Wolfgang [editor.] Wilson, Stewart W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2321 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1714.	Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / by Narendran, Paliath [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1631 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1715.	Natural Language Processing and Information Systems [electronic resource] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers / by Bouzeghoub, Mokrane [editor.] Kedad, Zoubida [editor.] Metais, Elisabeth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1959 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1716.	Advances in Case-Based Reasoning [electronic resource] : 7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004, Proceedings / by Funk, Peter [editor.] González Calero, Pedro A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3155 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)
	1717.	Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / by Lloyd, John [editor.] Dahl, Veronica [editor.] Furbach, Ulrich [editor.] Kerber, Manfred [editor.] Lau, Kung-Kiu [editor.] Palamidessi, Catuscia [editor.] Pereira, Luis M [editor.] Sagiv, Yehoshua [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1861 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1718.	Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework / by Lawry, Jonathan [editor.] Shanahan, Jimi [editor.] Ralescu, Anca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2873 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1719.	Coevolutionary Fuzzy Modeling [electronic resource] / by Peña-Reyes, Carlos Andrés [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3204 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)
	1720.	Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / by Aichernig, Bernhard K [editor.] Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2757 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 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.