Cărți de Hubert Comon

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%

Rewriting Techniques and Applications

Editat de Hubert Comon

14 mai 1997

Preț: 324^.24 lei 405^.31 lei

6-8 săpt.

-20%

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, nr. 2002

Editat de Hubert Comon et al.

18 apr 2001

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2102

Editat de Gerard Berry et al.

4 iul 2001

Preț: 632^.09 lei 790^.11 lei

6-8 săpt.

-20%