Hoppa till sidans huvudinnehåll

Hubert Comon – författare

Visar alla böcker från författaren Hubert Comon.
4 produkter
Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad

Constraints in Computational Logics: Theory and Applications

International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

AvHubert Comon,Claude Marchem. fl.

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar

Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

AvGerard Berry,Hubert Comonm. fl.

Häftad, Engelska, 2001

1 459 kr

Skickas inom 10-15 vardagar

Hubert Comon, Jean-Pierre Jouannaud - Term Rewriting, Häftad

Term Rewriting

French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

AvHubert Comon,Jean-Pierre Jouannaud

Häftad, Engelska, 1995

739 kr

Skickas inom 10-15 vardagar

Hubert Comon - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

AvHubert Comon

Häftad, Engelska, 1997

739 kr

Skickas inom 10-15 vardagar