Hoppa till sidans huvudinnehåll

Jean-Pierre Jouannaud – författare

Visar alla böcker från författaren Jean-Pierre Jouannaud.
8 produkter
Jean-Pierre Jouannaud - Functional Programming Languages and Computer Architecture, Häftad

Functional Programming Languages and Computer Architecture

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

AvJean-Pierre Jouannaud

Häftad, Engelska, 1985

739 kr

Skickas inom 10-15 vardagar

Jean-Pierre Jouannaud - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

Dijon, France, May 20-22, 1985

AvJean-Pierre Jouannaud

Häftad, Engelska, 1985

589 kr

Skickas inom 10-15 vardagar

Stephane Kaplan, Jean-Pierre Jouannaud - Conditional Term Rewriting Systems, Häftad

Conditional Term Rewriting Systems

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

AvStephane Kaplan,Jean-Pierre Jouannaud

Häftad, Engelska, 1988

739 kr

Skickas inom 10-15 vardagar

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer - Algebra, Meaning, and Computation, Häftad

Algebra, Meaning, and Computation

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

AvKokichi Futatsugi,Jean-Pierre Jouannaudm. fl.

Häftad, Engelska, 2006

1 419 kr

Skickas inom 10-15 vardagar

Marie-Claude Gaudel, Jean-Pierre Jouannaud - TAPSOFT '93: Theory and Practice of Software Development, Häftad

TAPSOFT '93: Theory and Practice of Software Development

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

AvMarie-Claude Gaudel,Jean-Pierre Jouannaud

Häftad, Engelska, 1993

1 459 kr

Skickas inom 10-15 vardagar

Jean-Pierre Jouannaud - Constraints in Computational Logics, Häftad

Constraints in Computational Logics

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

AvJean-Pierre Jouannaud

Häftad, Engelska, 1994

719 kr

Skickas inom 10-15 vardagar

Hubert Comon, Jean-Pierre Jouannaud - Term Rewriting, Häftad

Term Rewriting

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

AvHubert Comon,Jean-Pierre Jouannaud

Häftad, Engelska, 1995

739 kr

Skickas inom 10-15 vardagar

Jean-Pierre Jouannaud, Zhong Shao - Certified Programs and Proofs, Häftad

Certified Programs and Proofs

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

AvJean-Pierre Jouannaud,Zhong Shao

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar