Research Catalog

  • Program flow analysis : theory and applications / [edited by] Stephen S. Muchnick, Neil D. Jones.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, c1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 81-791Offsite
  • Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.

    • Text
    • Berlin ; New York : Springer-Verlag, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-992Offsite
  • ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-597Offsite
  • Logic, language, and computation : Festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-1347Offsite
  • The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones / Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item

    Available Online

    http://link.springer-ny.com/link/service/series/0558/tocs/t2566.htm
    FormatCall NumberItem Location
    Text JSE 03-784Offsite
  • Program flow analysis : theory and applications / [edited by] Stephen S. Muchnick, Neil D. Jones.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, [1981], ©1981.
    • 1981-1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .P75118Off-site
  • Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .L56625 1994Off-site
  • Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 / edited by Neil D. Jones.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .W698 1980Off-site
  • Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.

    • Text
    • Berlin ; New York : Springer-Verlag, [1986], ©1986.
    • 1986-1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .P76 1986Off-site
  • Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).

    • Text
    • Berlin ; New York : Springer, [2009], ©2009.
    • 2009-2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 V53 2009gOff-site
  • Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 / edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I1784 1987Off-site
  • ESOP '90 / 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; N. Jones (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .E976 1990Off-site
  • Program flow analysis : theory and applications / [edited by] Stephen S. Muchnick, Neil D. Jones.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, c1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .P75118Off-site
  • Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.

    • Text
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .P76 1986Off-site
  • Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones.

    • Text
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .W698 1980Off-site
  • ESOP '90 / 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones (eds.).

    • Text
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .E976 1990Off-site
  • CAAP '90 / 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings ; A. Arnold, N. Jones (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA166.2 .C65 1990Off-site
  • Logic, language, and computation: festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds.

    • Text
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.L56625 1994Off-site
  • Program flow analysis : theory and applications / [edited by] Stephen S. Muchnick, Neil D. Jones.

    • Text
    • Englewood Cliffs, New Jersey : Prentice-Hall, [1981]
    • 1981-1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .P75118Off-site
  • Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.

    • Text
    • Berlin ; New York : Springer-Verlag, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .P76 1986Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta