Research Catalog

  • Journal of symbolic computation.

    • Text
    • London ; Orlando : Academic Press, c1985-
    • 1985-present
    • 30 Items
    FormatCall NumberItem Location
    Text JSP 88-186 v. 30 (2000)Offsite
    FormatCall NumberItem Location
    Text JSP 88-186 v. 31 (2001)Offsite
    FormatCall NumberItem Location
    Text JSP 88-186 v. 32 (2001)Offsite
  • Proceedings of the Symposium on Application and Assessment of Automated Tools for Software Development : November 1-3, 1983, Hyatt Hotel on Union Square, San Francisco, California / sponsored by IEEE Computer Society, University of Texas at Austin.

    • Text
    • Silver Spring, MD (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, c1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 87-933Offsite
  • Attribute grammar inversion and source-to-source translation / Daniel M. Yellin.

    • Text
    • Berlin ; New York : Springer-Verlag, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-288Offsite
  • Automatic programming applied to VLSI CAD software : a case study / by Dorothy E. Setliff and Rob A. Rutenbar.

    • Text
    • Boston : Kluwer Academic Publishers, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-2211Offsite
  • Annual review in automatic programming.

    • Text
    • Oxford, Eng., New York, Pergamon Press.
    • 1960-present
    • 7 Items
    FormatCall NumberItem Location
    Text OEA (Annual review in automatic programming) v. 6, pt. 2 (1961)Offsite
    FormatCall NumberItem Location
    Text OEA (Annual review in automatic programming) v. 6, pt. 1-5 (1969)Offsite
    FormatCall NumberItem Location
    Text OEA (Annual review in automatic programming) v. 7 (1974)Offsite
  • Automatic parallelization for a class of regular computations / G.M. Megson, X. Chen.

    • Text
    • Singapore ; River Edge, N.J. : World Scientific, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 97-35Offsite
  • Automatic programming of simulation models. Task 3 [microform] : final report, D.O. 34, task 3 / Bernard J. Schroer ... [et al.].

    • Text
    • Huntsville, AL : University of Alabama in Huntsville ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990
  • Grammatical evolution : evolutionary automatic programming in an arbitrary language / by Michael O'Neill, Conor Ryan.

    • Text
    • Boston ; London : Kluwer Academic Publishers, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1038Offsite
  • Automatische Synthese rekursiver Programme als Beweisverfahren / Susanne Biundo.

    • Text
    • Berlin ; New York : Springer-Verlag, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text ReCAP 11-44149Schwarzman Building - General Research Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Acquisition of software engineering knowledge : SWEEP : an automatic programming system based on genetic programming and cultural algorithms / George S. Cowan, Robert G. Reynolds.

    • Text
    • Singapore ; River Edge, NJ : World Scientific, 2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1944Offsite
  • Automatic quantum computer programming : a genetic programming approach / Lee Spector.

    • Text
    • Boston : Kluwer Academic Publishers, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-792Offsite
  • Handbook of learning and approximate dynamic programming / [edited by] Jenni Si ... [et al.]

    • Text
    • Piscataway, NJ : IEEE Press : Wiley-Interscience, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-907Offsite
  • Journal of symbolic computation [electronic resource].

    • Text
    • London : Academic Press
    • 1985-present
    • 1 Resource

    Available Online

    http://WU9FB9WH4A.search.serialssolutions.com/?V=1.0&L=WU9FB9WH4A&S=JCs&C=JOUROFSYMCO&T=marc
  • The ALPHA automatic programming system / Edited by A. P. Yershov. Translated by J. McWilliam.

    • Text
    • London ; New York : Academic Press, 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .E7613 1971Off-site
  • Automatic parallelization for a class of regular computations / G.M. Megson, X. Chen.

    • Text
    • Singapore ; River Edge, N.J. : World Scientific, [1997], ©1997.
    • 1997-1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .M43 1997Off-site
  • Annual review in automatic programming.

    • Text
    • Oxford, Eng. ; New York : Pergamon Press.
    • 1960-1994
    • 20 Items
    FormatCall NumberItem Location
    Text QA76 .An78 v.15:no.1 (1989)Off-site
    FormatCall NumberItem Location
    Text QA76 .An78 v.16:no.2 (1991)Off-site
    FormatCall NumberItem Location
    Text QA76 .An78 v.16:no.1 (1991)Off-site
  • Grammatical evolution : evolutionary automatic programming in an arbitrary language / by Michael O'Neill, Conor Ryan.

    • Text
    • Boston : Kluwer Academic Publishers, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.618 .O54 2003Off-site
  • Automatic quantum computer programming : a genetic programming approach / Lee Spector.

    • Text
    • Boston : Kluwer Academic Publishers, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.889 .S7 2004gOff-site
  • Proceedings of the Symposium on Application and Assessment of Automated Tools for Software Development.

    • Text
    • Silver Spring, Md. : IEEE Computer Society Press, 1983-
    • 1983-present
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .S917 (1983)Off-site
  • Attribute grammar inversion and source-to-source translation / Daniel M. Yellin.

    • Text
    • Berlin ; New York : Springer-Verlag, [1988], ©1988.
    • 1988-1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .Y44 1988gOff-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
  • Foundations in grammatical evolution for dynamic environments / Ian Dempsey, Michael O'Neill, Anthony Brabazon.

    • Text
    • Berlin : Springer Verlag, 2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.618 .D46 2009gOff-site
  • Journal of symbolic computation.

    • Text
    • London ; Orlando : Academic Press, ©1985-
    • 1985-present
    • 32 Items
    FormatCall NumberItem Location
    Text QA76.95 .J68 v.34 (2002:July-Dec.)Off-site
    FormatCall NumberItem Location
    Text QA76.95 .J68 v.35 (2003)Off-site
    FormatCall NumberItem Location
    Text QA76.95 .J68 v.36 (2003)Off-site
  • Automatic programming applied to VLSI CAD software : a case study / by Dorothy E. Setliff and Rob A. Rutenbar.

    • Text
    • Boston : Kluwer Academic Publishers, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .S468 1990Off-site
  • Automatic programming and numerical methods of analysis. Edited by V. N. Faddeeva. Translated from Russian by N. H. Choksy.

    • Text
    • New York, Consultants Bureau, 1972.
    • 1972
    • 1 Item
    FormatCall NumberItem Location
    Text QA3 .S4 vol.18Off-site
  • Annual reviews in control.

    • Text
    • Oxford, England ; New York : Pergamon, c1997-
    • 1996-present
    • 10 Items
    FormatCall NumberItem Location
    Text QA76 27.1 vol. 26:pt.1Off-site
    FormatCall NumberItem Location
    Text QA76 27.1 vol. 27:pt.2Off-site
    FormatCall NumberItem Location
    Text QA76 27.1 vol. 27:pt.1Off-site
  • Studies in automatic programming logic / Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.

    • Text
    • New York : North-Holland, c1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M357Off-site
  • Attribute grammar inversion and source-to-source translation / Daniel M. Yellin.

    • Text
    • Berlin ; New York : Springer-Verlag, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.T83Y44Off-site
  • Slovarʹ programmista / G.A. Drobushevich.

    • Text
    • Minsk : Vyshe̊ĭshai︠a︡ shkola, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.15.D76Off-site
  • The ALPHA automatic programming system. Edited by A. P. Yershov. Translated by J. McWilliam.

    • Text
    • London, New York, Academic Press, 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .E7613 1971Off-site
  • Annual review in automatic programming.

    • Text
    • Oxford, Eng. ; New York : Pergamon Press, 1960-
    • 1960-present
    • 1 Item
    FormatCall NumberItem Location
    Text 92952.125 v. 2 1961Off-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