Cărți de Helene Kirchner

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2422

Editat de Helene Kirchner et al.

26 aug 2002

Preț: 360^.60 lei 450^.75 lei

6-8 săpt.

-20%

Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1794

Editat de Helene Kirchner et al.

15 mar 2000

Preț: 400^.85 lei

6-8 săpt.

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1421

Editat de Claude Kirchner et al.

24 iun 1998

Preț: 340^.64 lei 425^.81 lei

6-8 săpt.

-20%

Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1059

Editat de Helene Kirchner

3 apr 1996

Preț: 334^.86 lei 418^.57 lei

6-8 săpt.

-20%

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

Lecture Notes in Computer Science, nr. 632

Editat de Helene Kirchner et al.

19 aug 1992

Preț: 340^.98 lei 426^.22 lei

6-8 săpt.

-20%

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Lecture Notes in Computer Science, nr. 463

Editat de Helene Kirchner et al.

20 sep 1990

Preț: 337^.52 lei 421^.90 lei

6-8 săpt.

-20%