Cărți de Michael Rusinowitch

Rewriting Techniques and Applications: 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1631

Editat de Paliath Narendran et al.

16 iun 1999

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

6-8 săpt.

-20%

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Lecture Notes in Computer Science, nr. 656

Editat de Michael Rusinowitch et al.

29 ian 1993

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Automated Reasoning

Editat de David Basin et al.

22 iun 2004

Preț: 632^.79 lei 790^.99 lei

6-8 săpt.

-20%