Akademibokhandeln

Hubert Comon – författare

Visar alla böcker från författaren Hubert Comon.

4 produkter

  1. Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics: Theory and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Constraints in Computational Logics: Theory and Applications

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

    Av Hubert Comon, Claude Marche m. fl.

    Häftad, 2001

    739 kr

    Lägg i varukorg

  2. Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

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

    Av Gerard Berry, Hubert Comon m. fl.

    Häftad, 2001

    1469 kr

    Lägg i varukorg

  3. Hubert Comon, Jean-Pierre Jouannaud - Term Rewriting, Häftad. Tillgänglighet: Lägg i varukorg

    Term Rewriting

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

    Av Hubert Comon, Jean-Pierre Jouannaud

    Häftad, 1995

    739 kr

    Lägg i varukorg

  4. Hubert Comon - Rewriting Techniques and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Rewriting Techniques and Applications

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

    Av Hubert Comon

    Häftad, 1997

    739 kr

    Lägg i varukorg