Treffer 1 – 14 von 14 für Suche 'Jones, Neil D.', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Computability and complexity from a programming perspective

    Computability and complexity from a programming perspective von Jones, Neil D. 1941-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Computability and complexity from a programming perspective (DRAFT)

    Computability and complexity from a programming perspective (DRAFT) von Jones, Neil D. 1941-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Partial evaluation and automatic program generation

    Partial evaluation and automatic program generation von Jones, Neil D. 1941-, Gomard, Carsten K., Sestoft, Peter 1962-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    TEMPO a unified treatment of binding time and parameter passing concepts in programming languages

    TEMPO a unified treatment of binding time and parameter passing concepts in programming languages von Jones, Neil D. 1941-, Muchnick, Steven S.

    Veröffentlicht 1978
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computability theory an introduction

    Computability theory an introduction von Jones, Neil D. 1941-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computability theory: an introduction

    Computability theory: an introduction von Jones, Neil D.

    Veröffentlicht 1973
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Verification, model checking, and abstract interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings

    Verification, model checking, and abstract interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009 ; proceedings von Jones, Neil D. 1941-

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages von Jones, Neil D

    Veröffentlicht 2004
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    TEMPO a unified treatment of binding time and parameter passing concepts in programming languages

    TEMPO a unified treatment of binding time and parameter passing concepts in programming languages von Jones, Neil D. 1941-, Muchnick, Steven S.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Computability theory an introduction

    Computability theory an introduction von Jones, Neil D. 1941-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Semantics-directed Compiler Generation proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980

    Semantics-directed Compiler Generation proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980

    Veröffentlicht 1980
    Weitere Verfasser: “… Jones, Neil D. 1941- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Semantics-directed Compiler Generation proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980

    Semantics-directed Compiler Generation proceedings of a Workshop, Aarhus, Denmark, Jan. 14-18, 1980

    Veröffentlicht 1980
    Weitere Verfasser: “… Jones, Neil D. 1941- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Program flow analysis theory and applications

    Program flow analysis theory and applications

    Veröffentlicht 1981
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Partial evaluation and mixed computation proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987

    Partial evaluation and mixed computation proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 18 - 24 October, 1987

    Veröffentlicht 1988
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: