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ț: 354^.56 lei 443^.21 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ț: 394^.15 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ț: 334^.93 lei 418^.67 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ț: 329^.25 lei 411^.56 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ț: 335^.27 lei 419^.08 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ț: 331^.86 lei 414^.82 lei

6-8 săpt.

-20%