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

Your search returned 7 results.

Not what you expected? Check for suggestions

			Rewriting Techniques and Applications Proceedings, 8th International Conference, Spain, 1997 by Comon, Hubert. Ed. Series: Lecture notes in computer science ; 01232Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Constraints in computational logics theory and applications by Comon, Hubert \| Marche, Claude \| Treinen, Ralf. Series: Lecture notes in computer science ; 02002Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			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