Hoppa till sidans huvudinnehåll

Jean-Pierre Jouannaud - Böcker

Visar alla böcker från författaren Jean-Pierre Jouannaud.
8 produkter

Functional Programming Languages and Computer Architecture

Proceedings, Nancy, France, September 16-19, 1985

Av Jean-Pierre Jouannaud

Häftad, Engelska, 1985

729 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

Dijon, France, May 20-22, 1985

Av Jean-Pierre Jouannaud

Häftad, Engelska, 1985

579 kr

Skickas inom 10-15 vardagar

Conditional Term Rewriting Systems

1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Av Stephane Kaplan, Jean-Pierre Jouannaud

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Algebra, Meaning, and Computation

Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Av Kokichi Futatsugi, Jean-Pierre Jouannaud m. fl

Häftad, Engelska, 2006

1 409 kr

Skickas inom 10-15 vardagar

TAPSOFT '93: Theory and Practice of Software Development

4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings

Av Marie-Claude Gaudel, Jean-Pierre Jouannaud

Häftad, Engelska, 1993

1 449 kr

Skickas inom 10-15 vardagar

Constraints in Computational Logics

First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Av Jean-Pierre Jouannaud

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Av Jean-Pierre Jouannaud, Zhong Shao

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar