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

Results
	1561.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	1562.	Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2833 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)
	1563.	Developments in Language Theory [electronic resource] : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers / by Ito, Masami [editor.] Toyama, Masafumi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2450 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)
	1564.	Computational Intelligence: Theory and Applications [electronic resource] : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings / by Reusch, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1625 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)
	1565.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by Pfaltz, John L [editor.] Nagl, Manfred [editor.] Böhlen, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3062 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)
	1566.	Natural Language Processing and Information Systems [electronic resource] : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002, Revised Papers / by Andersson, Birger [editor.] Bergholtz, Maria [editor.] Johannesson, P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2553 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)
	1567.	Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [author.] Paulson, Lawrence C [author.] Wenzel, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2283 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)
	1568.	Fundamentals of Computation Theory [electronic resource] : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / by Lingas, Andrzej [editor.] Nilsson, Bengt J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2751 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)
	1569.	The Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Dau, Frithjof [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2892 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)
	1570.	Automata Implementation [electronic resource] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / by Raymond, Darrell [editor.] Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1260 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)
	1571.	Static Analysis [electronic resource] : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / by Hermenegildo, Manuel [editor.] Puebla, German [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2477 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)
	1572.	Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings / by Smolka, Gert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1782 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)
	1573.	Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / by Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1816 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)
	1574.	Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / by Cerioli, Maura [editor.] Reggio, Gianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2267 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)
	1575.	Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Emerson, E. Allen [editor.] Sistla, A. Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1855 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)
	1576.	Principles of Declarative Programming [electronic resource] : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings / by Palamidessi, Catuscia [editor.] Glaser, Hugh [editor.] Meinke, Karl [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1490 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)
	1577.	Compiler Construction [electronic resource] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Watt, David A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1781 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)
	1578.	Abstract State Machines 2003: Advances in Theory and Practice [electronic resource] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / by Börger, Egon [editor.] Gargantini, Angelo [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2589 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)
	1579.	Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1824 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)
	1580.	Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / by Kobayashi, Naoki [editor.] Pierce, Benjamin C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2215 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1743 results.