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ț: 657^.49 lei 821^.87 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ț: 333^.88 lei 417^.34 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ț: 335^.52 lei 419^.39 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ț: 329^.44 lei 411^.80 lei

6-8 săpt.

-20%