Results of search for 'ccl=su:{Computation} and su-to:Formal Languages and Automata Theory and se:Lecture Notes in Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Girard, Jean-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1581 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)
	42.	Foundations of Software Science and Computation Structures [electronic resource] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings / by Honsell, Furio [editor.] Miculan, Marino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2030 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)
	43.	Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Gallagher, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1207 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)
	44.	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)
	45.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / by Backhouse, Roland [editor.] Crole, Roy [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2297 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)
	46.	Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / by Boiten, Eerke A [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2386 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)
	47.	Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / by Watson, Bruce [editor.] Wood, Derick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2494 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)
	48.	Database Theory - ICDT'99 [electronic resource] : 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings / by Beeri, Catriel [editor.] Buneman, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1540 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)
	49.	Database Theory - ICDT 2003 [electronic resource] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / by Calvanese, Diego [editor.] Lenzerini, Maurizio [editor.] Motwani, Rajeev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2572 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.	Computational Intelligence. Theory and Applications [electronic resource] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / by Reusch, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2206 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)
	51.	Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2422 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)
	52.	Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / by Restivo, Antonio [editor.] Ronchi Della Rocca, Simona [editor.] Roversi, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2202 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)
	53.	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)
	54.	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)
	55.	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)
	56.	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)
	57.	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)
	58.	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)
	59.	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)
	60.	Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings / by Ésik, Zoltán [editor.] Fülöp, Zoltán [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2710 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 81 results.