Harald Ganzinger – författare

Visar alla böcker från författaren Harald Ganzinger.

6 produkter

1. 

   Programs as Data Objects

   Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

   Av Harald Ganzinger, Neil Jones

   Häftad, 1986

   519 kr

   Lägg i varukorg

2. 

   ESOP '88

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

   Av Harald Ganzinger

   Häftad, 1988

   729 kr

   Lägg i varukorg

3. 

   Rewriting Techniques and Applications

   7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

   Av Harald Ganzinger

   Häftad, 1996

   729 kr

   Lägg i varukorg

4. 

   Automated Deduction - CADE-16

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

   Av Harald Ganzinger

   Häftad, 1999

   729 kr

   Lägg i varukorg

5. 

   Logic Programming and Automated Reasoning

   6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

   Av Harald Ganzinger, David McAllester m. fl.

   Häftad, 1999

   729 kr

   Lägg i varukorg

6. 

   Informatik

   Festschrift zum 60. Geburtstag von Günter Hotz

   Av Harald Ganzinger, Wolfgang J. Paul

   Häftad, 1992

   659 kr

   Lägg i varukorg