Harald Ganzinger - Böcker

Visar alla böcker från författaren Harald Ganzinger.
6 produkter
Harald Ganzinger, Neil Jones - Programs as Data Objects, Häftad
Del 217 - Lecture Notes in Computer Science

Programs as Data Objects

Av Harald Ganzinger, Neil Jones

Häftad, Engelska, 1986

519 kr

Skickas inom 7-10 vardagar
Harald Ganzinger - ESOP '88, Häftad
Del 300 - Lecture Notes in Computer Science

ESOP '88

Av Harald Ganzinger

Häftad, Engelska, 1988

739 kr

Skickas inom 7-10 vardagar
Harald Ganzinger - Rewriting Techniques and Applications, Häftad
Del 1103 - Lecture Notes in Computer Science

Rewriting Techniques and Applications

Av Harald Ganzinger

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar
Harald Ganzinger - Automated Deduction - CADE-16, Häftad

Automated Deduction - CADE-16

Av Harald Ganzinger

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar
Harald Ganzinger, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Logic Programming and Automated Reasoning

Av Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar
Harald Ganzinger, Wolfgang J. Paul - Informatik, Häftad
Del 1 - Teubner Texte zur Informatik

Informatik

Av Harald Ganzinger, Wolfgang J. Paul

Häftad, Tyska, 1992

669 kr

Skickas inom 7-10 vardagar