Harald Ganzinger – författare
Visar alla böcker från författaren Harald Ganzinger. Handla med fri frakt och snabb leverans.
9 produkter
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Av Wolfgang J. Paul, Harald Ganzinger
E-bok, 2013
452 kr
Lägg i varukorg
Programs as Data Objects
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Av Harald Ganzinger, Neil Jones
Häftad, 1986
399 kr
Lägg i varukorg
ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Häftad, 1988
569 kr
Lägg i varukorg
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies …
Logic Programming and Automated Reasoning
6th International Conference, LPAR''99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Av Andrei Voronkov, David McAllester m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR''99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR''99. Each of the submissions …
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
E-bok, 2003
739 kr
Lägg i varukorg
Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Häftad, 1996
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six …
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Häftad, 1999
569 kr
Lägg i varukorg
This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- …
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
569 kr
Lägg i varukorg
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions …
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Av Harald Ganzinger, Wolfgang J. Paul
Häftad, 1992
517 kr
Lägg i varukorg
