Comon, Hubert books & textbook
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909)
Comon, Hubert Jouannaud, Jean-Pierre
Springer /1995-04-25 Paperback / 236 Pages
isbn-10: 3540593403 / isbn-13: 9783540593409
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science, 1232)
Springer /1997-05-14 Paperback / 360 Pages
isbn-10: 3540629505 / isbn-13: 9783540629504
Activités numériques calculatrices statistiques classe de 2e - exercices avec solution très détaillées
Hatier /1982T Paperback
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Comon-Lundh, Hubert Kirchner, Claude Kirchner, Hélène
Springer /2007-06-22 Paperback / 292 Pages
isbn-10: 3540731466 / isbn-13: 9783540731467
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102)
Berry, Gerard Comon, Hubert Finkel, Alain
Springer /2001-07-04 Paperback / 535 Pages
isbn-10: 3540423451 / isbn-13: 9783540423454
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science, 2002)
Comon, Hubert Marche, Claude Treinen, Ralf
Springer /2001-01-01 Paperback / 328 Pages
isbn-10: 3540419500 / isbn-13: 9783540419501
