LIBROS DEL AUTOR: harald ganzinger

4 resultados para LIBROS DEL AUTOR: harald ganzinger

harald ganzinger Eliminar filtro Quitar filtros
  • Automated Deduction - CADE-16
    Harald Ganzinger
    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- sary of CADE. Since their inception in 1974 at Argonne ...
    Disponible

    65,52 €

  • Rewriting Techniques and Applications
    Harald Ganzinger
    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 system descriptions and abstracts of three invited pape...
    Disponible

    65,50 €

  • Informatik
    Harald Ganzinger / Wolfgang J. Paul
    Dieser Band erscheint aus Anlafi des sechzigsten Geburtstags von Gunter Hotz. Er enthiilt Arbeiten seiner Schuler, Freunde und Kollegen. Gunter Hotz ist seit 1969 Professor fur Numerische Mathematik und Informatik an der Universitiit des Saarlandes. Er hat am Aufbau des Fachbereichs Informatik der Universitiit des Saarlandes groBen Anteil, und er hat ...
    Disponible

    59,05 €

  • ESOP ’88
    Harald Ganzinger
    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 an important concept or formal model of programming in ...
    Disponible

    65,80 €