IMSc Library catalog › Results of search for 'ccl=au:"Comon, Hubert"'

Your search returned 4 results.

Not what you expected? Check for suggestions

			Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / edited by Gérard Berry, Hubert Comon, Alain Finkel. by Berry, Gérard [editor.] \| Comon, Hubert [editor.] \| Finkel, Alain [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2102Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen. by Goos, Gerhard [editor.] \| Hartmanis, Juris [editor.] \| Leeuwen, Jan [editor.] \| Comon, Hubert [editor.] \| Marché, Claude [editor.] \| Treinen, Ralf [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2002Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Term Rewriting [electronic resource] : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course / edited by Hubert Comon, Jean-Pierre Jounnaud. by Comon, Hubert [editor.] \| Jounnaud, Jean-Pierre [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 909Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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] : 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings / edited by Hubert Comon. by Comon, Hubert [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1232Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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