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

Your search for Jean-Pierre Jouannaud

  1. Cover: Certified Programs and Proofs - Springer
    Jean-Pierre Jouannaud | Zhong Shao
    Certified Programs and Proofs
    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    11/2011
    Springer
    9783642253799 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Certified Programs and Proofs - Springer
    Jean-Pierre Jouannaud | Zhong Shao
    Certified Programs and Proofs
    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    11/2011
    Springer
    9783642253782 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  3. Cover: Algebra, Meaning, and Computation - Springer
    Kokichi Futatsugi | Jean-Pierre Jouannaud | José Meseguer
    Algebra, Meaning, and Computation
    Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    06/2006
    Springer
    9783540354628 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  4. Cover: Constraints in Computational Logics - Springer
    Jean-Pierre Jouannaud
    Constraints in Computational Logics
    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    08/1994
    Springer
    9783540584032 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. 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
  6. Cover: TAPSOFT '93: Theory and Practice of Software Development - Springer
    Marie-Claude Gaudel | Jean-Pierre Jouannaud
    TAPSOFT '93: Theory and Practice of Software Development
    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    04/1993
    Springer
    9783540566106 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  7. Cover: Conditional Term Rewriting Systems - Springer
    Stephane Kaplan | Jean-Pierre Jouannaud
    Conditional Term Rewriting Systems
    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    06/1988
    1st EDN1st Edition
    Springer
    9783540192428 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Functional Programming Languages and Computer Architecture - Springer
    Jean-Pierre Jouannaud
    Functional Programming Languages and Computer Architecture
    Proceedings, Nancy, France, September 16-19, 1985
    09/1985
    1st EDN1st Edition
    Springer
    9783540159759 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Public Health Aspects of HIV/AIDS in Low and Middle Income Countries - Springer
    M. -C Gaudel | Jean-Pierre Jouannaud | International Joint Conference on Theory and Practice of Software Development
    Public Health Aspects of HIV/AIDS in Low and Middle Income Countries
    10/2008
    Springer
    9780387566108 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  10. Cover: Rewriting Techniques and Applications - Springer
    Jean-Pierre Jouannaud
    Rewriting Techniques and Applications
    Dijon, France, May 20-22, 1985
    10/1985
    1st EDN1st Edition
    Springer
    9783540159766 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €42.79
    Exhausted; check different version
  11. This image is currently not available.
    Jean-Pierre Jouannaud
    Rewriting Techniques and Applications
    10/1997
    Academic Press
    9780123909602 (ISBN)
    Book
    Paperback/Softback
    €22.28
    Exhausted; no reprint
  12. This image is currently not available.
    Functional Programming Languages and Computer Architecture
    08/1991
    Springer
    9780387543963 (ISBN)
    Book
    Paperback/Softback
    €52.44
    Article not available
  13. This image is currently not available.
    Stephane Kaplan | Jean-Pierre Jouannaud
    Conditional Term Rewriting Systems
    06/1988
    Springer
    9780387192420 (ISBN)
    Book
    Hardback
    €50.55
    Article not available
  14. This image is currently not available.
    Functional Programming Languages and Computer Architecture
    10/1985
    Springer
    9780387159751 (ISBN)
    Book
    Paperback/Softback
    €38.64
    Article not available
  15. This image is currently not available.
    Rewriting Techniques and Applications
    Dijon, France, May 20-22, 1985
    11/1985
    Springer
    9780387159768 (ISBN)
    Book
    Hardback
    €41.35
    Article not available