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ț: 338^.35 lei 422^.94 lei

43-57 zile

-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ț: 339^.99 lei 424^.99 lei

43-57 zile

-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ț: 340^.32 lei 425^.40 lei

43-57 zile

-20%

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

Teubner Texte zur Informatik, nr. 1

Cu Johannes Buchmann et al.

feb 1992

Preț: 372^.07 lei

43-57 zile

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ț: 337^.20 lei 421^.49 lei

43-57 zile

-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ț: 306^.08 lei 382^.59 lei

43-57 zile

-20%