Research Catalog

  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-2871Offsite
  • Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.

    • Text
    • Cambridge, Mass. : MIT Press, c1989.
    • 1989
    • 2 Items
    FormatCall NumberItem Location
    Text JSK 90-102 v. 1Offsite
    FormatCall NumberItem Location
    Text JSK 90-102 v. 2Offsite
  • Beowulf cluster computing with Linux / edited by William Gropp, Ewing Lusk, and Thomas Sterling.

    • Text
    • Cambridge, Mass. : MIT Press, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-426Offsite
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-site
  • Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum.

    • Text
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642.G76 1999Off-site
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-site
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-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