Gerhard Goos

Langue :anglais
Note :
Professeur d'informatique
ISNI :ISNI 0000 0000 8081 7934

Ses activités

Directeur de publication1 document

  • Lecture notes in computer science

    Description : Note : A pour sous-collections : "Automata, languages and programming" ; "Advances in Petri nets" ; "Mathematical foundations of computer" ; "ECI conference" ; "Theoretical computer science"
    Édition : Berlin ; Heidelberg ; New York : Springer-Verlag , 1973-
    Directeur de publication : Juris Hartmanis

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb342605884]

Autre2 documents

  • DIANA

    an intermediate language for ADA

    Rev. version
    Description matérielle : 1 ressource dématérialisée
    Description : Note : Includes bibliographical references (page 197) and index
    Édition : Berlin ; New York : Springer-Verlag , 1983

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb44688844g]
  • Theorem Proving in Higher Order Logics

    9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1996
    Autre : John Harrison, Jan van Leeuwen

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb446947077]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Lecture notes in computer science / ed. by G. Goos and J. Hartmanis, 1973-
  • LCNA 1977-1986

Pages équivalentes