Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results
Hopf-algebraic structure of combinatorial objects and different operators [microform] / Robert Grossman, Richard G. Larson.
- Text
- [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989]
- 1989
Expected performance of m-solution backtracking [microform] / David M. Nicol.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1986]
- 1986
Final & interim reports for NASA grant NAG2-513 [microform] : the analysis of control trajectories using symbolic and database computing / Robert Grossman.
- Text
- [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service distributor, 1995]
- 1995
Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
- 1997
Resolution of the 1D regularized Burgers equation using a spatial wavelet approximation [microform] / J. Liandrat, Ph. Tchamitchian.
- Text
- Hampton, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1990]
- 1990
- 1 Resource
Available Online
http://purl.access.gpo.gov/GPO/LPS63773
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.
