IMSc Library catalog › Results of search for 'au:"Jouannaud, Jean-Pierre."'

Your search returned 8 results.

Not what you expected? Check for suggestions

			No cover image available Rewriting techniques and applications, Dijon, France, May 1985 by Jouannaud, Jean-Pierre. Series: Lecture notes in computer science ; 00202Material type: Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			Functional Programming Languages and Computer Architecture Proceedings, Conference, Nancy, France, 1985 by Jouannaud, Jean-Pierre. Ed. Series: Lecture notes in computer science ; 00201Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS. Place hold Log in to add tags
			Algebra, meaning and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday by Futatsugi, Kokichi \| Jouannaud, Jean-Pierre \| Meseguer, Jose Eds. Series: Lecture notes in computer science ; 04060Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS. Place hold Log in to add tags
			Algebra, Meaning, and Computation [electronic resource] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer. by Futatsugi, Kokichi [editor.] \| Jouannaud, Jean-Pierre [editor.] \| Meseguer, José [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4060Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Functional Programming Languages and Computer Architecture [electronic resource] : Nancy, France, September 16–19, 1985 / edited by Jean-Pierre Jouannaud. by Jouannaud, Jean-Pierre [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 201Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Rewriting Techniques and Applications [electronic resource] : Dijon, France, May 20–22, 1985 / edited by Jean-Pierre Jouannaud. by Jouannaud, Jean-Pierre [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 202Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Other title: First International Conference on Rewriting Techniques and Applications.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Constraints in Computational Logics [electronic resource] : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings / edited by Jean-Pierre Jouannaud. by Jouannaud, Jean-Pierre [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 845Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre [editor.] \| Shao, Zhong [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7086Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha