7 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Hubert Comon

  1. Cover: Constraints in Computational Logics: Theory and Applications - Springer
    Hubert Comon | Claude Marche | Ralf Treinen
    Constraints in Computational Logics: Theory and Applications
    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    08/2003
    Springer
    9783540454069 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Gerard Berry | Hubert Comon | Alain Finkel
    Computer Aided Verification
    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    05/2003
    Springer
    9783540445852 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Constraints in Computational Logics: Theory and Applications - Springer
    Hubert Comon | Claude Marche | Ralf Treinen
    Constraints in Computational Logics: Theory and Applications
    International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
    04/2001
    Springer
    9783540419501 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  4. Cover: Computer Aided Verification - Springer
    Gerard Berry | Hubert Comon | Alain Finkel
    Computer Aided Verification
    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    07/2001
    Springer
    9783540423454 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  5. Cover: Rewriting Techniques and Applications - Springer
    Hubert Comon
    Rewriting Techniques and Applications
    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    05/1997
    Springer
    9783540629504 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Term Rewriting - Springer
    Hubert Comon | Jean-Pierre Jouannaud
    Term Rewriting
    French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
    04/1995
    Springer
    9783540593409 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. This image is currently not available.
    Term Rewriting
    French Spring School of Theoretical Computer Science, Font Romeux [Sic], France, May 17-21, 1993: Advanced Course
    01/1995
    Springer
    9780387593401 (ISBN)
    Book
    Hardback
    Unfortunately, price unknown
    Exhausted; no reprint