Results of search for 'ccl=su:{Computer programming} and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	341.	Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Klein, Shmuel Tomi [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10792 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	342.	Inductive Logic Programming [electronic resource] : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / by Rouveirol, Celine [editor.] Sebag, Michele [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2157 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)
	343.	Logic Program Synthesis and Transformation [electronic resource] : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings / by Fuchs, Norbert E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1463 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)
	344.	Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Comon, Hubert [editor.] Marche, Claude [editor.] Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2002 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)
	345.	Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2372 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)
	346.	Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / by Ojeda-Aciego, Manuel [editor.] Guzman, Inma P. de [editor.] Brewka, Gerhard [editor.] Pereira, Luis M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1919 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)
	347.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2196 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)
	348.	Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers / by Blanck, Jens [editor.] Brattka, Vasco [editor.] Hertling, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2064 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)
	349.	ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / by Bowen, Jonathan P [editor.] Dunne, Steve [editor.] Galloway, Andy [editor.] King, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1878 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)
	350.	Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings / by Palamidessi, Catuscia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2916 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)
	351.	Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Maher, Michael [editor.] Puget, Jean-Francois [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1520 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)
	352.	Logics in Artificial Intelligence [electronic resource] : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / by Flesca, Sergio [editor.] Ianni, Giovambattista [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2424 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)
	353.	Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Schmid, Ute [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2654 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)
	354.	Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Hankin, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1381 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)
	355.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Vardi, Moshe [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2850 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)
	356.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1924 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)
	357.	Static Analysis [electronic resource] : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2694 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)
	358.	Fundamentals of Computation Theory [electronic resource] : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings / by Freivalds, Rusins [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2138 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)
	359.	Algorithmic Learning Theory [electronic resource] : 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings / by Arimura, Hiroki [editor.] Jain, Sanjay [editor.] Sharma, Arun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1968 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)
	360.	Principles and Practice of Constraint Programming - CP 2000 [electronic resource] : 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings / by Dechter, Rina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1894 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 407 results.