Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • TBell [microform] : a mathematical tool for analyzing decision tables / D.N. Hoover and Zewei Chan.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Defining the IEEE-854 floating-point standard in PVS [microform] / Paul S. Miner.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Distributed state-space generation of discrete-state stochastic models [microform] / Gianfranco Ciardo, Joshua Gluckman, David Nicol.

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Interpretation of IEEE-854 floating-point standard and definition in the HOL system [microform] / Victor A. Carreño.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • The detailed balance requirement and general empirical formalisms for continuum absorption [microform] / Q. Ma and R.H. Tipping.

    • Text
    • [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request [microform] : under contracts NAS1-19341 and NAS9-18817 / Ben L. Di Vito, Larry W. Roberts.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Experiences using lightweight formal methods for requirements modeling [microform] / Steve Easterbrook ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • A simple method for nucleon-nucleon cross sections in a nucleus [microform] / R.K. Tripathi, Francis A. Cucinotta, John W. Wilson.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]
    • 1999

  • Radial deformation of the earth by oceanic tidal loading / R.D. Ray, B.V. Sanchez.

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.
    • 1989
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/LPS105813

  • Radial deformation of the earth by oceanic tidal loading [microform] / R.D. Ray, B.V. Sanchez.

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.
    • 1989
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS105813

  • A methodology for evaluating artifacts produced by a formal verification process / Radu I. Siminiceanu, Paul S. Miner and Suzette Person.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
    • 2011
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo24326

  • Integrated formal analysis of timed-triggered ethernet / Bruno Dutertre, Natarajan Shankar, and Sam Owre.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
    • 2012
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo27426

  • Neutron angular scatter effects in 3DHZETRN : quasi-elastic / John W. Wilson [and five others].

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, March 2017.
    • 2017-3
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo82503

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