Cărți de Harald Ganzinger

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1705

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 332^.69 lei 415^.86 lei

6-8 săpt.

-20%

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1632

Editat de Harald Ganzinger

23 iun 1999

Preț: 334^.29 lei 417^.86 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1103

Editat de Harald Ganzinger

iul 1996

Preț: 334^.61 lei 418^.27 lei

6-8 săpt.

-20%

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Teubner Texte zur Informatik, nr. 1

Cu Johannes Buchmann et al.

feb 1992

Preț: 365^.84 lei

6-8 săpt.

ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Lecture Notes in Computer Science, nr. 300

Editat de Harald Ganzinger

9 mar 1988

Preț: 331^.54 lei 414^.42 lei

6-8 săpt.

-20%

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Lecture Notes in Computer Science, nr. 217

Editat de Harald Ganzinger et al.

mar 1986

Preț: 300^.95 lei 376^.19 lei

6-8 săpt.

-20%