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ț: 646^.41 lei 808^.02 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ț: 328^.29 lei 410^.36 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ț: 329^.89 lei 412^.37 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ț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%