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

Results
	1.	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)
	2.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Calmet, Jacques [editor.] Plaza, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1476 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)
	3.	Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Gimenez, Eduardo [editor.] Paulin-Mohring, Christine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1512 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)
	4.	Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / by Gopalakrishnan, Ganesh [editor.] Windley, Phillip [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1522 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)
	5.	Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'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 Nivat, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1378 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)
	6.	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)
	7.	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)
	8.	Rough Sets and Current Trends in Computing [electronic resource] : First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings / by Polkowski, Lech [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1424 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)
	9.	Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Grundy, Jim [editor.] Newey, Malcolm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1479 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)
	10.	Algorithmic Learning Theory [electronic resource] : 9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings / by Richter, Michael M [editor.] Smith, Carl H [editor.] Wiehagen, Rolf [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1501 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)
	11.	Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Hu, Alan J [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1427 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)
	12.	Automata Implementation [electronic resource] : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / by Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1436 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)
	13.	Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / by Roever, Willem-Paul de [editor.] Langmaack, Hans [editor.] Pnueli, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1536 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)
	14.	Compiler Construction [electronic resource] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / by Koskimies, Kai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1383 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)
	15.	Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / by Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1379 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)
	16.	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)
	17.	Advances in Case-Based Reasoning [electronic resource] : 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings / by Smyth, Barry [editor.] Cunningham, Padraig [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1488 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)
	18.	Automated Deduction - CADE-15 [electronic resource] : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / by Kirchner, Claude [editor.] Kirchner, Helene [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1421 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)
	19.	Applications of Uncertainty Formalisms [electronic resource] / by Hunter, Anthony [editor.] Parsons, Simon D [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1455 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)
	20.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings / by Swart, Harrie de [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1397 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 28 results.