Research Catalog

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

Selected filters.Clear Filters

  • Einführung in die DIN-Normen. Hrsg. vom Deutschen Normenausschuss.

    • Text
    • Stuttgart, B. G. Teubner [1955]
    • 1955
    • 1 Item
    FormatCall NumberItem Location
    Book/text VDC (Klein, M. Einfuhrung in die DIN-Normen)Offsite

  • Industrial specifications.

    • Text
    • New York, Wiley [1953]
    • 1953
    • 1 Item
    FormatCall NumberItem Location
    Book/Text VDC (MacNiece, E. H. Industrial specifications)Offsite

  • Ideas on specifications.

    • Text
    • Columbia, Conn., Columbia graphs [1953]
    • 1953
    • 1 Item
    FormatCall NumberItem Location
    Book/text VDB (Whittemore, H. L. Ideas on specifications)Offsite

  • Standard specifications for structural steel, timber, concrete and reinforced concrete.

    • Text
    • New York : McGraw-Hill, 1910.
    • 1910
    • 1 Item
    FormatCall NumberItem Location
    Book/text VEC (Ostrup, J. C. Standard specifications for structural steel .... 1910)Offsite

  • Performance standards; structural and insulation requirements for houses.

    • Text
    • Washington, 1947.
    • 1947
    • 1 Item
    FormatCall NumberItem Location
    Book/text VBA p.v. 1093Schwarzman Building - General Research Room 315
    Request for On-site UseRequest Scan

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

  • Specifications?!. Presented before the sixty-fourth annual meeting of the American Society for Testing and Materials.

    • Text
    • Philadelphia, American Society for Testing and Materials [1961]
    • 1961
    • 1 Item
    FormatCall NumberItem Location
    Book/Text VBA p.v. 2168 no. 1-9Schwarzman Building - General Research Room 315
    Request for On-site UseRequest Scan

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

  • Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, initial comprehensive performance test report, P/N 1331200-2-IT, S/N 105/A2 [microform] : contract no. NAS 5-32314 / submitted by Aerojet.

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

  • Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, initial comprehensive performance test report, P/N 1331200-2-TST, S/N 105/A1 [microform] : contract no. NAS 5-32314 / submitted by Aerojet.

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

  • An evaluation of the effects of local control station design configurations on human performance and nuclear power plant risk / prepared by J. O'Hara [and others].

    • Text
    • Washington, DC : Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission : For sale by the Supt. of Docs., U.S. G.P.O., 1990.
    • 1990

  • DOD military specifications and standards : hearing before the Investigations Subcommittee of the Committee on Armed Services, House of Representatives, One Hundred Second Congress, second session, hearing held July 22, 1992.

    • Text
    • Washington : U.S. G.P.O. : For sale by the U.S. G.P.O., Supt. of Docs., Congressional Sales Office, 1993.
    • 1993

  • Towards the formal verification of the requirements and design of a processor interface unit : HOL listings / David A. Fura, Philip J. Windley, Gerald C. Cohen.

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

  • Advanced computer architecture specification for automated weld systems / by Constantine Katsinis.

    • Text
    • [Huntsvile, Ala.] : University of Alabama in Huntsville ; [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [National Technical Information Service, distributor], [1994]
    • 1994

  • NASA geometry data exchange specification for computational fluid dynamics (NASA IGES) [microform] / Matthew W. Blake ... [et al.].

    • Text
    • Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Specifying real-time systems with interval logic / John Rushby, principal investigator.

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

  • Earth Observing System (EOS), advanced microwave sounding unit-A (AMSU-A) : instrumentation interface control document / submitted by Aerojet.

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

  • Statistical characterization of carbon phenolic prepreg materials. Volume II : final report.

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

  • Analytical determination of critical crack size in solar cells / C.P. Chen.

    • Text
    • Pasadena, Calif. : Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va.] : [National Technical Information Service, distributor], [1988]
    • 1988

  • Flight motor set 360T010 (STS-31R) final report / prepared by Diane Garecht.

    • Text
    • Brigham City, UT : Thiokol Corp., Space Operations ; [Washington, DC] : [National Aeronautics and Space Administration] ; [Springfield, Va.] : [National Technical Information Service, distributor], [1990]
    • 1990

  • IPAC--Inlet Performance Analysis Code / Paul J. Barnhart.

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

  • An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler.

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

  • Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar.

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

  • Electrical bonding [microform] : a survey of requirements, methods, and specifications / R.W. Evans.

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

  • Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan.

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

  • The formal semantics of 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, 1999]
    • 1999

  • A logical process calculus [microform] / Rance Cleaveland, Gerald Lüttgen.

    • 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, 2002]
    • 2002
    • 1 Resource

    Available Online

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

  • IAPSA II small-scale system specification [microform] / G. C. Cohen, T. C. Torkelson.

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

    Available Online

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

  • IRDS prototyping with applications to the representation of EA/RA models [microform] / Anthony A. Lekkos.

    • Text
    • [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1988]
    • 1988
    • 1 Resource

    Available Online

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

  • Report on the formal specification and partial verification of the VIPER microprocessor [microform] / Bishop Brock and Warren A. Hunt, Jr.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991]
    • 1991
    • 1 Resource

    Available Online

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

  • Gamma Ray Observatory (GRO) dynamics simulator [microform] : requirements and mathematical specifications.

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, Flight Dynamics Division, [1990]
    • 1990
    • 1 Resource

    Available Online

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

  • Attitude Determination Error Analysis System (ADEAS) mathematical specification document [microform] / prepared by Computer Sciences Corporation ; M. NIcholson, F. Markley, E. Seidewitz.

    • Text
    • [Greenbelt, Md.] : Goddard Space Flight Center, [1988?]
    • 1988
    • 1 Resource

    Available Online

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

  • Software requirements [microform] : guidance and control software development specification / B. Edward Withers ... [et al.].

    • Text
    • Research Triangle Park, N.C. : Research Triangle Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990]
    • 1990
    • 1 Resource

    Available Online

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

  • Outline for reusable reentry satellite system specification [microform] : volumes 1 - volume 9 / SAIC.

    • Text
    • Torrance, Calif. : Science Applications International Corporation ; Houston, Tex. : National Aeronautics and Space Administration, Lyndon B. Johnson Space Center, [1989]
    • 1989
    • 1 Resource

    Available Online

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

  • NASA/MSFC large stretch press study / [prepared by M.W. Choate [and others].

    • Text
    • [Seattle, Wash.?] : Boeing Aerospace Company ; [Huntsville, Ala.?] : National Aeronautics and Space Administration, Marshall Space Flight Center, [1987]
    • 1987
    • 1 Resource

    Available Online

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

  • NASA/MSFC large stretch press study [microform] / [prepared by M.W. Choate ... [et al.].

    • Text
    • [Seattle, Wash.?] : Boeing Aerspace Company ; [Huntsville, Ala.?] : National Aeronautics and Space Administration, Marshall Space Flight Center, [1987]
    • 1987

  • Loop Shaping control design for a supersonic propulsion system model using quantitative feedback theory (QFT) specifications and bounds / Joseph W. Connolly and George Kopasakis ; prepared for the 46th Joint Propulsion Conference and Exhibit cosponsored by AIAA, ASME, SAE, and ASEE, Nashville, Tennessee, July 25-28, 2010.

    • Text
    • Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2010]
    • 2010
    • 1 Resource

    Available Online

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

  • Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.

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

    Available Online

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

  • Radiation specifications for fission power conversion component materials / Cheryl L. Bowman [and others].

    • Text
    • Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2011]
    • 2011
    • 1 Resource

    Available Online

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

  • Simple benchmarck specifications for space radiation protection / Robert C. Singleterry, Jr., Sukesh K. Aghara.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, June 2013.
    • 2013-6
    • 1 Resource

    Available Online

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

  • The specification technique of management.

    • Text
    • Littleton, N.H. : Executive Development Press, [1957]
    • 1957
    • 1 Item
    FormatCall NumberItem Location
    Book/text D-10 8496Schwarzman Building - Main Reading Room 315
    Not available - Please for assistance.

  • An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
    • 1996-5
    • 1 Resource

    Available Online

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

  • Computer security considerations in federal procurements : a guide for procurement initiators, contracting officers, and computer security officials / Barbara Guttman.

    • Text
    • Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, 1992.
    • 1992
    • 1 Resource

    Available Online

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

  • Practical specifications of works executed in architecture, civil and mechanical engineering, and in roadmaking and sewering : to which are added a series of practically useful agreements and reports / By John Blenkarn.

    • Text
    • London : E. & F.N. Spon, 1865.
    • 1865
    • 1 Item
    FormatCall NumberItem Location
    Book/Text TA180 .B54 1865gOff-site

  • The Stockholm Underground '75 : a technical description / editor Bertil Asker in cooperation with Gunnar Falk.

    • Text
    • Stockholm : Stockholms läns landsting, 1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Book/Text TF847.S78 S758 1976gOff-site

  • Instructions for mounting, using and caring for disappearing carriage L.F., model of 1898 for 6-inch gun, model of 1897 MI, revised May 17, 1904.

    • Text
    • Washington : Government Printing Office, 1917.
    • 1917

  • National directory of commodity specifications : classified and alphabetical lists and brief descriptions of specifications of national recognition / Prepared by Paul A. Cooley and Ann E. Rapuzzi under the direction of A. S. McAllister, chief of the Division of codes and specifications. (Issued June 30, 1945)

    • Text
    • Washington : U.S. Govt. print. off., 1945.
    • 1945
    • 1 Item
    FormatCall NumberItem Location
    Text 531.7 Un314Off-site

  • Specifications for roofing, building insulation and waterproofing ... : published for architects and engineers.

    • Text
    • East Walpole, Mass. : F.W. Bird & Son, [between 1910 and 1919?]
    • 191
    • 1 Item
    FormatCall NumberItem Location
    Book/Text AJ B53Off-site

  • General specifications for concrete bridges.

    • Text
    • New York : Engineering News Pub. Co., [1908], ©1908.
    • 1908-1908
    • 1 Item
    FormatCall NumberItem Location
    Text 624 W333Off-site

  • Guide to specifications and standards of the Federal Government.

    • Text
    • Washington : General Services Administration, Federal Supply Service, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text GS 2.6/3:Sp 3/977Off-site

  • Supplement to National directory of commodity specification, classified and alphabetical lists and brief descriptions of specifications of national recognition. Prepared by Paul A. Cooley and Ann E. Rapuzzi under the direction of A.S. McAllister. Issued March 1, 1947.

    • Text
    • 1947
    • 1 Item
    FormatCall NumberItem Location
    Text 531.7 Un314Off-site

  • Industrial specifications.

    • Text
    • New York : Wiley, [1953]
    • 1953
    • 2 Items
    FormatCall NumberItem Location
    Text AA3100 M23Off-site
    FormatCall NumberItem Location
    Text 620.1 M235Off-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