Cărți de Jean-Pierre Jouannaud

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

Lecture Notes in Computer Science, nr. 909

Editat de Hubert Comon et al.

25 apr 1995

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Lecture Notes in Computer Science, nr. 845

Editat de Jean-Pierre Jouannaud

24 aug 1994

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Lecture Notes in Computer Science, nr. 308

Editat de Stephane Kaplan et al.

22 iun 1988

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7086

Editat de Jean-Pierre Jouannaud et al.

18 noi 2011

Preț: 325^.61 lei 407^.00 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985

Lecture Notes in Computer Science, nr. 202

Editat de Jean-Pierre Jouannaud

oct 1985

Preț: 354^.38 lei 442^.98 lei

6-8 săpt.

-20%

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 668

Editat de Marie-Claude Gaudel et al.

6 apr 1993

Preț: 643^.33 lei 804^.17 lei

6-8 săpt.

-20%

Algebra, Meaning, and Computation

Editat de Kokichi Futatsugi et al.

22 iun 2006

Preț: 642^.36 lei 802^.94 lei

6-8 săpt.

-20%

Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985

Lecture Notes in Computer Science, nr. 201

Editat de Jean-Pierre Jouannaud

sep 1985

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%