Cărți de Hubert Comon

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ț: 622^.79 lei 778^.48 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ț: 316^.37 lei 395^.45 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Lecture Notes in Computer Science, nr. 1232

Editat de Hubert Comon

14 mai 1997

Preț: 317^.91 lei 397^.38 lei

6-8 săpt.

-20%

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ț: 312^.15 lei 390^.19 lei

6-8 săpt.

-20%