Results of search for 'ccl=copydate:"©2003" and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings / by Perner, Petra [editor.] Rosenfeld, Azriel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2734 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)
	42.	Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / by Matwin, Stan [editor.] Sammut, Claude [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2583 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)
	43.	Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Dong, Jin Song [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2885 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)
	44.	Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / by Horváth, Tamas [editor.] Yamamoto, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2835 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)
	45.	Computer Aided Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / by Moreno Diaz, Robeto [editor.] Pichler, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2809 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)
	46.	Types for Proofs and Programs [electronic resource] : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers / by Geuvers, Herman [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2646 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)
	47.	Computer Science Logic [electronic resource] : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / by Baaz, Matthias [editor.] Makowsky, Johann M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2803 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)
	48.	Automated Deduction - CADE-19 [electronic resource] : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / by Baader, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2741 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)
	49.	ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] King, Steve [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2651 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)
	50.	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)
	51.	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)
	52.	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)
	53.	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)
	54.	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)
	55.	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)
	56.	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)
	57.	FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Araki, Keijiro [editor.] Gnesi, Stefania [editor.] Mandrioli, Dion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2805 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)
	58.	Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / by Bry, Francois [editor.] Henze, Nicola [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2901 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)
	59.	AI*IA 2003: Advances in Artificial Intelligence [electronic resource] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / by Cappelli, Amedeo [editor.] Turini, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2829 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)
	60.	Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI, Revised Papers / by Swart, Harrie de [editor.] Orlowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2929 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

Item types

Series

Topics

Your search returned 61 results.