Explore: Proving

Discover books, insights, and more — all in one place.

Learn more about Proving with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “proving”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1ANSYS duplicate finite-element checker routine

By

“ANSYS duplicate finite-element checker routine” Metadata:

  • Title: ➤  ANSYS duplicate finite-element checker routine
  • Author:
  • Language: English
  • Publisher: ➤  National Aeronautics and Space Administration, Marshall Space Flight Center - National Technical Information Service, distributor
  • Publish Date:
  • Publish Location: MSFC, Ala - [Springfield, Va

“ANSYS duplicate finite-element checker routine” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1995
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find ANSYS duplicate finite-element checker routine at online marketplaces:


    2Nickel hydrogen batteries--an overview

    By

    “Nickel hydrogen batteries--an overview” Metadata:

    • Title: ➤  Nickel hydrogen batteries--an overview
    • Author:
    • Language: English
    • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor - American Institute of Aeronautics and Astronautics
    • Publish Date:
    • Publish Location: ➤  [Springfield, Va - [Washington, DC - [Washington, DC] - Springfield, Va - Reston, VA

    “Nickel hydrogen batteries--an overview” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1994
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Nickel hydrogen batteries--an overview at online marketplaces:


      3KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow

      By

      “KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow” Metadata:

      • Title: ➤  KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow
      • Author:
      • Language: English
      • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
      • Publish Date:
      • Publish Location: ➤  [Washington, DC - Springfield, Va

      “KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1996
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find KC-135 flight testing of void fraction capacitance probe for microgravity two-phase flow at online marketplaces:


        4Defining the IEEE-854 floating-point standard in PVS

        By

        “Defining the IEEE-854 floating-point standard in PVS” Metadata:

        • Title: ➤  Defining the IEEE-854 floating-point standard in PVS
        • Author:
        • Language: English
        • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
        • Publish Date:
        • Publish Location: Hampton, Va - [Springfield, Va

        “Defining the IEEE-854 floating-point standard in PVS” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1995
        • Is Full Text Available: No
        • Is The Book Public: No
        • Access Status: No_ebook

        Online Access

        Downloads Are Not Available:

        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

        Online Borrowing:

          Online Marketplaces

          Find Defining the IEEE-854 floating-point standard in PVS at online marketplaces:


          5Rotor-fuselage interactions

          By

          “Rotor-fuselage interactions” Metadata:

          • Title: Rotor-fuselage interactions
          • Author:
          • Language: English
          • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
          • Publish Date:
          • Publish Location: Hampton, Va - [Springfield, Va

          “Rotor-fuselage interactions” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1997
          • Is Full Text Available: No
          • Is The Book Public: No
          • Access Status: No_ebook

          Online Access

          Downloads Are Not Available:

          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

          Online Borrowing:

            Online Marketplaces

            Find Rotor-fuselage interactions at online marketplaces:


            6Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106

            By

            “Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106” Metadata:

            • Title: ➤  Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106
            • Author:
            • Language: English
            • Publisher: ➤  National Aeronautics and Space Administration - Aerojet
            • Publish Date:
            • Publish Location: [Washington, DC - Azusa, Calif

            “Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 1998
            • Is Full Text Available: No
            • Is The Book Public: No
            • Access Status: No_ebook

            Online Access

            Downloads Are Not Available:

            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

            Online Borrowing:

              Online Marketplaces

              Find Integrated Advanced Microwave Sounding Unit-A (AMSU-A), performance verification report, AMSU-A1 antenna drive subsystem, P/N 1331720-2, S/N 106 at online marketplaces:


              7Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data

              By

              “Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data” Metadata:

              • Title: ➤  Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data
              • Author:
              • Language: English
              • Number of Pages: Median: 13
              • Publisher: ➤  For sale by the National Technical Information Service - NASA
              • Publish Date:
              • Publish Location: ➤  [Washington, D.C.] - Springfield, Va

              “Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 1990
              • Is Full Text Available: No
              • Is The Book Public: No
              • Access Status: No_ebook

              Online Access

              Downloads Are Not Available:

              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

              Online Borrowing:

                Online Marketplaces

                Find Comparison of 3-D viscous flow computations of Mach 5 inlet with experimental data at online marketplaces:


                8V&V within reuse-based software engineering

                By

                “V&V within reuse-based software engineering” Metadata:

                • Title: ➤  V&V within reuse-based software engineering
                • Author:
                • Language: English
                • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                • Publish Date:
                • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                “V&V within reuse-based software engineering” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1996
                • Is Full Text Available: No
                • Is The Book Public: No
                • Access Status: No_ebook

                Online Access

                Downloads Are Not Available:

                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                Online Borrowing:

                  Online Marketplaces

                  Find V&V within reuse-based software engineering at online marketplaces:


                  9Proof-term synthesis on dependent-type systems via explicit substitutions

                  By

                  “Proof-term synthesis on dependent-type systems via explicit substitutions” Metadata:

                  • Title: ➤  Proof-term synthesis on dependent-type systems via explicit substitutions
                  • Author:
                  • Language: English
                  • Publisher: ➤  National Technical Information Service, distributor - Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
                  • Publish Date:
                  • Publish Location: Hampton, VA - Springfield, VA

                  “Proof-term synthesis on dependent-type systems via explicit substitutions” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 1999
                  • Is Full Text Available: No
                  • Is The Book Public: No
                  • Access Status: No_ebook

                  Online Access

                  Downloads Are Not Available:

                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                  Online Borrowing:

                    Online Marketplaces

                    Find Proof-term synthesis on dependent-type systems via explicit substitutions at online marketplaces:


                    10Verifying stability of dynamic soft-computing systems

                    By

                    “Verifying stability of dynamic soft-computing systems” Metadata:

                    • Title: ➤  Verifying stability of dynamic soft-computing systems
                    • Author:
                    • Language: English
                    • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                    • Publish Date:
                    • Publish Location: ➤  [Washington, DC] - [Springfield, Va

                    “Verifying stability of dynamic soft-computing systems” Subjects and Themes:

                    Edition Identifiers:

                    Access and General Info:

                    • First Year Published: 1997
                    • Is Full Text Available: No
                    • Is The Book Public: No
                    • Access Status: No_ebook

                    Online Access

                    Downloads Are Not Available:

                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                    Online Borrowing:

                      Online Marketplaces

                      Find Verifying stability of dynamic soft-computing systems at online marketplaces:


                      11Analysis of flowfields over four-engine DC-X rockets

                      By

                      “Analysis of flowfields over four-engine DC-X rockets” Metadata:

                      • Title: ➤  Analysis of flowfields over four-engine DC-X rockets
                      • Author:
                      • Language: English
                      • Publisher: ➤  National Technical Information Service, distributor - American Institute of Aeronautics and Astronautics - National Aeronautics and Space Administration
                      • Publish Date:
                      • Publish Location: ➤  Springfield, Va - [Washington, DC - Reston, VA

                      “Analysis of flowfields over four-engine DC-X rockets” Subjects and Themes:

                      Edition Identifiers:

                      Access and General Info:

                      • First Year Published: 1996
                      • Is Full Text Available: No
                      • Is The Book Public: No
                      • Access Status: No_ebook

                      Online Access

                      Downloads Are Not Available:

                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                      Online Borrowing:

                        Online Marketplaces

                        Find Analysis of flowfields over four-engine DC-X rockets at online marketplaces:


                        12UH-60 Black Hawk engineering simulation model validation and proposed modifications

                        By

                        “UH-60 Black Hawk engineering simulation model validation and proposed modifications” Metadata:

                        • Title: ➤  UH-60 Black Hawk engineering simulation model validation and proposed modifications
                        • Author:
                        • Language: English
                        • Publisher: ➤  National Aeronautics and Space Administration, Ames Research Center - U.S. Army Aviation Systems Command - National Technical Information Service, distributor
                        • Publish Date:
                        • Publish Location: ➤  [Springfield, Va - Moffett Field, Calif - [St. Louis, Mo.]

                        “UH-60 Black Hawk engineering simulation model validation and proposed modifications” Subjects and Themes:

                        Edition Identifiers:

                        Access and General Info:

                        • First Year Published: 1985
                        • Is Full Text Available: No
                        • Is The Book Public: No
                        • Access Status: No_ebook

                        Online Access

                        Downloads Are Not Available:

                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                        Online Borrowing:

                          Online Marketplaces

                          Find UH-60 Black Hawk engineering simulation model validation and proposed modifications at online marketplaces:


                          13Test load verification through strain data analysis

                          By

                          “Test load verification through strain data analysis” Metadata:

                          • Title: ➤  Test load verification through strain data analysis
                          • Author:
                          • Language: English
                          • Publisher: ➤  National Aeronautics and Space Administration - National Aeronautics and Space Administration, Marshall Space Flight Center - National Technical Information Service, distributor
                          • Publish Date:
                          • Publish Location: ➤  [Springfield, Va - MSFC, Ala - Washington, DC

                          “Test load verification through strain data analysis” Subjects and Themes:

                          Edition Identifiers:

                          Access and General Info:

                          • First Year Published: 1995
                          • Is Full Text Available: No
                          • Is The Book Public: No
                          • Access Status: No_ebook

                          Online Access

                          Downloads Are Not Available:

                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                          Online Borrowing:

                            Online Marketplaces

                            Find Test load verification through strain data analysis at online marketplaces:


                            14Specifying real-time systems with interval logic

                            By

                            “Specifying real-time systems with interval logic” Metadata:

                            • Title: ➤  Specifying real-time systems with interval logic
                            • Author:
                            • Language: English
                            • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
                            • Publish Date:
                            • Publish Location: Hampton, Va - [Springfield, Va

                            “Specifying real-time systems with interval logic” Subjects and Themes:

                            Edition Identifiers:

                            Access and General Info:

                            • First Year Published: 1988
                            • Is Full Text Available: No
                            • Is The Book Public: No
                            • Access Status: No_ebook

                            Online Access

                            Downloads Are Not Available:

                            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                            Online Borrowing:

                              Online Marketplaces

                              Find Specifying real-time systems with interval logic at online marketplaces:


                              15Simulated bladed MMC disk LCF validation

                              By

                              “Simulated bladed MMC disk LCF validation” Metadata:

                              • Title: ➤  Simulated bladed MMC disk LCF validation
                              • Author:
                              • Language: English
                              • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration - AlliedSignal Aerospace
                              • Publish Date:
                              • Publish Location: ➤  Springfield, Va - [Washington, DC - [S.l.]

                              “Simulated bladed MMC disk LCF validation” Subjects and Themes:

                              Edition Identifiers:

                              Access and General Info:

                              • First Year Published: 1998
                              • Is Full Text Available: No
                              • Is The Book Public: No
                              • Access Status: No_ebook

                              Online Access

                              Downloads Are Not Available:

                              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                              Online Borrowing:

                                Online Marketplaces

                                Find Simulated bladed MMC disk LCF validation at online marketplaces:


                                16Verification and validation of KBS with neural network components

                                By

                                “Verification and validation of KBS with neural network components” Metadata:

                                • Title: ➤  Verification and validation of KBS with neural network components
                                • Author:
                                • Language: English
                                • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                • Publish Date:
                                • Publish Location: ➤  [Washington, DC] - [Springfield, Va

                                “Verification and validation of KBS with neural network components” Subjects and Themes:

                                Edition Identifiers:

                                Access and General Info:

                                • First Year Published: 1996
                                • Is Full Text Available: No
                                • Is The Book Public: No
                                • Access Status: No_ebook

                                Online Access

                                Downloads Are Not Available:

                                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                Online Borrowing:

                                  Online Marketplaces

                                  Find Verification and validation of KBS with neural network components at online marketplaces:


                                  17A case study of IV & V cost effectiveness

                                  By

                                  “A case study of IV & V cost effectiveness” Metadata:

                                  • Title: ➤  A case study of IV & V cost effectiveness
                                  • Author:
                                  • Language: English
                                  • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                  • Publish Date:
                                  • Publish Location: ➤  [Washington, DC - Springfield, Va

                                  “A case study of IV & V cost effectiveness” Subjects and Themes:

                                  Edition Identifiers:

                                  Access and General Info:

                                  • First Year Published: 1997
                                  • Is Full Text Available: No
                                  • Is The Book Public: No
                                  • Access Status: No_ebook

                                  Online Access

                                  Downloads Are Not Available:

                                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                  Online Borrowing:

                                    Online Marketplaces

                                    Find A case study of IV & V cost effectiveness at online marketplaces:


                                    18Development of a rational modeling approach for the design, and optimization of the multifiltration unit

                                    By

                                    “Development of a rational modeling approach for the design, and optimization of the multifiltration unit” Metadata:

                                    • Title: ➤  Development of a rational modeling approach for the design, and optimization of the multifiltration unit
                                    • Author:
                                    • Language: English
                                    • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                    • Publish Date:
                                    • Publish Location: ➤  Springfield, Va - [Washington, DC

                                    “Development of a rational modeling approach for the design, and optimization of the multifiltration unit” Subjects and Themes:

                                    Edition Identifiers:

                                    Access and General Info:

                                    • First Year Published: 1996
                                    • Is Full Text Available: No
                                    • Is The Book Public: No
                                    • Access Status: No_ebook

                                    Online Access

                                    Downloads Are Not Available:

                                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                    Online Borrowing:

                                      Online Marketplaces

                                      Find Development of a rational modeling approach for the design, and optimization of the multifiltration unit at online marketplaces:


                                      19Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function

                                      By

                                      “Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function” Metadata:

                                      • Title: ➤  Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function
                                      • Author:
                                      • Language: English
                                      • Publisher: ➤  Center for Biomedical Engineering, Wenner-Gren Research Laboratory, University of Kentucky - National Technical Information Service, distributor - National Aeronautics and Space Administration
                                      • Publish Date:
                                      • Publish Location: ➤  [Washington, DC - Springfield, Va - Lexington, KY

                                      “Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function” Subjects and Themes:

                                      Edition Identifiers:

                                      Access and General Info:

                                      • First Year Published: 1996
                                      • Is Full Text Available: No
                                      • Is The Book Public: No
                                      • Access Status: No_ebook

                                      Online Access

                                      Downloads Are Not Available:

                                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                      Online Borrowing:

                                        Online Marketplaces

                                        Find Validation of spectral analysis as a noninvasive tool to assess autonomic regulation of cardiovascular function at online marketplaces:


                                        20Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification

                                        By

                                        “Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification” Metadata:

                                        • Title: ➤  Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification
                                        • Author:
                                        • Number of Pages: Median: 55
                                        • Publisher: Langley Research Center
                                        • Publish Date:
                                        • Publish Location: Hampton, Va

                                        “Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification” Subjects and Themes:

                                        Edition Identifiers:

                                        Access and General Info:

                                        • First Year Published: 1991
                                        • Is Full Text Available: No
                                        • Is The Book Public: No
                                        • Access Status: No_ebook

                                        Online Marketplaces

                                        Find Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification at online marketplaces:


                                        21Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation

                                        By

                                        “Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation” Metadata:

                                        • Title: ➤  Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation
                                        • Author:
                                        • Language: English
                                        • Publisher: ➤  Research Institute for Advanced Computer Science, NASA Ames Research Center - National Technical Information Service, distributor
                                        • Publish Date:
                                        • Publish Location: ➤  [Springfield, Va - [Moffett Field, Calif.]

                                        “Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation” Subjects and Themes:

                                        Edition Identifiers:

                                        Access and General Info:

                                        • First Year Published: 1988
                                        • Is Full Text Available: No
                                        • Is The Book Public: No
                                        • Access Status: No_ebook

                                        Online Access

                                        Downloads Are Not Available:

                                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                        Online Borrowing:

                                          Online Marketplaces

                                          Find Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation at online marketplaces:


                                          22Supersonic transport grid generation, validation, and optimization

                                          By

                                          “Supersonic transport grid generation, validation, and optimization” Metadata:

                                          • Title: ➤  Supersonic transport grid generation, validation, and optimization
                                          • Author:
                                          • Language: English
                                          • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                                          • Publish Date:
                                          • Publish Location: ➤  [Washington, DC - Springfield, Va

                                          “Supersonic transport grid generation, validation, and optimization” Subjects and Themes:

                                          Edition Identifiers:

                                          Access and General Info:

                                          • First Year Published: 1995
                                          • Is Full Text Available: No
                                          • Is The Book Public: No
                                          • Access Status: No_ebook

                                          Online Access

                                          Downloads Are Not Available:

                                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                          Online Borrowing:

                                            Online Marketplaces

                                            Find Supersonic transport grid generation, validation, and optimization at online marketplaces:


                                            23Evidence flow graph methods for validation and verification of expert systems

                                            By

                                            “Evidence flow graph methods for validation and verification of expert systems” Metadata:

                                            • Title: ➤  Evidence flow graph methods for validation and verification of expert systems
                                            • Author:
                                            • Language: English
                                            • Publisher: ➤  Intelligent Machines Project, Artificial Intelligence Research Group, Worcester Polytechnic Institute - National Aeronautics and Space Administration - National Technical Information Service, distributor
                                            • Publish Date:
                                            • Publish Location: ➤  [Washington, DC - Springfield, Va - Worcester, Mass

                                            “Evidence flow graph methods for validation and verification of expert systems” Subjects and Themes:

                                            Edition Identifiers:

                                            Access and General Info:

                                            • First Year Published: 1988
                                            • Is Full Text Available: No
                                            • Is The Book Public: No
                                            • Access Status: No_ebook

                                            Online Access

                                            Downloads Are Not Available:

                                            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                            Online Borrowing:

                                              Online Marketplaces

                                              Find Evidence flow graph methods for validation and verification of expert systems at online marketplaces:


                                              24Applying independent verification and validation to automatic test equipment

                                              By

                                              “Applying independent verification and validation to automatic test equipment” Metadata:

                                              • Title: ➤  Applying independent verification and validation to automatic test equipment
                                              • Author:
                                              • Language: English
                                              • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                              • Publish Date:
                                              • Publish Location: ➤  Springfield, Va - [Washington, DC

                                              “Applying independent verification and validation to automatic test equipment” Subjects and Themes:

                                              Edition Identifiers:

                                              Access and General Info:

                                              • First Year Published: 1997
                                              • Is Full Text Available: No
                                              • Is The Book Public: No
                                              • Access Status: No_ebook

                                              Online Access

                                              Downloads Are Not Available:

                                              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                              Online Borrowing:

                                                Online Marketplaces

                                                Find Applying independent verification and validation to automatic test equipment at online marketplaces:


                                                25Experimental verification of the thermodynamic properties for a Jet-A fuel

                                                By

                                                “Experimental verification of the thermodynamic properties for a Jet-A fuel” Metadata:

                                                • Title: ➤  Experimental verification of the thermodynamic properties for a Jet-A fuel
                                                • Author:
                                                • Language: English
                                                • Publisher: ➤  For sale by the National Technical Information Service - NASA
                                                • Publish Date:
                                                • Publish Location: ➤  [Washington, DC] - [Springfield, Va

                                                “Experimental verification of the thermodynamic properties for a Jet-A fuel” Subjects and Themes:

                                                Edition Identifiers:

                                                Access and General Info:

                                                • First Year Published: 1988
                                                • Is Full Text Available: No
                                                • Is The Book Public: No
                                                • Access Status: No_ebook

                                                Online Access

                                                Downloads Are Not Available:

                                                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                Online Borrowing:

                                                  Online Marketplaces

                                                  Find Experimental verification of the thermodynamic properties for a Jet-A fuel at online marketplaces:


                                                  26Proof-term synthesis on dependent-type systems via explicit substitutions

                                                  By

                                                  “Proof-term synthesis on dependent-type systems via explicit substitutions” Metadata:

                                                  • Title: ➤  Proof-term synthesis on dependent-type systems via explicit substitutions
                                                  • Author:
                                                  • Language: English
                                                  • Publisher: ➤  National Technical Information Service, distributor - Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
                                                  • Publish Date:
                                                  • Publish Location: Springfield, VA - Hampton, VA

                                                  “Proof-term synthesis on dependent-type systems via explicit substitutions” Subjects and Themes:

                                                  Edition Identifiers:

                                                  Access and General Info:

                                                  • First Year Published: 1999
                                                  • Is Full Text Available: No
                                                  • Is The Book Public: No
                                                  • Access Status: No_ebook

                                                  Online Access

                                                  Downloads Are Not Available:

                                                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                  Online Borrowing:

                                                    Online Marketplaces

                                                    Find Proof-term synthesis on dependent-type systems via explicit substitutions at online marketplaces:


                                                    27Theory interpretations in PVS

                                                    By

                                                    “Theory interpretations in PVS” Metadata:

                                                    • Title: Theory interpretations in PVS
                                                    • Author:
                                                    • Language: English
                                                    • Publisher: ➤  Available from NASA Center for Aerospace Information - National Aeronautics and Space Administration, Langley Research Center
                                                    • Publish Date:
                                                    • Publish Location: Hanover, MD - Hampton, Va

                                                    “Theory interpretations in PVS” Subjects and Themes:

                                                    Edition Identifiers:

                                                    Access and General Info:

                                                    • First Year Published: 2001
                                                    • Is Full Text Available: No
                                                    • Is The Book Public: No
                                                    • Access Status: No_ebook

                                                    Online Access

                                                    Downloads Are Not Available:

                                                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                    Online Borrowing:

                                                      Online Marketplaces

                                                      Find Theory interpretations in PVS at online marketplaces:


                                                      28Dynamics of superfluid helium in low-gravity

                                                      By

                                                      “Dynamics of superfluid helium in low-gravity” Metadata:

                                                      • Title: ➤  Dynamics of superfluid helium in low-gravity
                                                      • Author:
                                                      • Language: English
                                                      • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                                                      • Publish Date:
                                                      • Publish Location: ➤  [Washington, DC - Springfield, Va

                                                      “Dynamics of superfluid helium in low-gravity” Subjects and Themes:

                                                      Edition Identifiers:

                                                      Access and General Info:

                                                      • First Year Published: 1997
                                                      • Is Full Text Available: No
                                                      • Is The Book Public: No
                                                      • Access Status: No_ebook

                                                      Online Access

                                                      Downloads Are Not Available:

                                                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                      Online Borrowing:

                                                        Online Marketplaces

                                                        Find Dynamics of superfluid helium in low-gravity at online marketplaces:


                                                        29A framework for performing verification and validation in reuse based software engineering

                                                        By

                                                        “A framework for performing verification and validation in reuse based software engineering” Metadata:

                                                        • Title: ➤  A framework for performing verification and validation in reuse based software engineering
                                                        • Author:
                                                        • Language: English
                                                        • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                                                        • Publish Date:
                                                        • Publish Location: ➤  [Washington, DC - Springfield, Va

                                                        “A framework for performing verification and validation in reuse based software engineering” Subjects and Themes:

                                                        Edition Identifiers:

                                                        Access and General Info:

                                                        • First Year Published: 1997
                                                        • Is Full Text Available: No
                                                        • Is The Book Public: No
                                                        • Access Status: No_ebook

                                                        Online Access

                                                        Downloads Are Not Available:

                                                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                        Online Borrowing:

                                                          Online Marketplaces

                                                          Find A framework for performing verification and validation in reuse based software engineering at online marketplaces:


                                                          30Formal methods of V&V of partial specifications

                                                          By

                                                          “Formal methods of V&V of partial specifications” Metadata:

                                                          • Title: ➤  Formal methods of V&V of partial specifications
                                                          • Author:
                                                          • Language: English
                                                          • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                                                          • Publish Date:
                                                          • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                                                          “Formal methods of V&V of partial specifications” Subjects and Themes:

                                                          Edition Identifiers:

                                                          Access and General Info:

                                                          • First Year Published: 1997
                                                          • Is Full Text Available: No
                                                          • Is The Book Public: No
                                                          • Access Status: No_ebook

                                                          Online Access

                                                          Downloads Are Not Available:

                                                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                          Online Borrowing:

                                                            Online Marketplaces

                                                            Find Formal methods of V&V of partial specifications at online marketplaces:


                                                            31V&V within reuse-based software engineering

                                                            By

                                                            “V&V within reuse-based software engineering” Metadata:

                                                            • Title: ➤  V&V within reuse-based software engineering
                                                            • Author:
                                                            • Language: English
                                                            • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                                                            • Publish Date:
                                                            • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                                                            “V&V within reuse-based software engineering” Subjects and Themes:

                                                            Edition Identifiers:

                                                            Access and General Info:

                                                            • First Year Published: 1996
                                                            • Is Full Text Available: No
                                                            • Is The Book Public: No
                                                            • Access Status: No_ebook

                                                            Online Access

                                                            Downloads Are Not Available:

                                                            The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                            Online Borrowing:

                                                              Online Marketplaces

                                                              Find V&V within reuse-based software engineering at online marketplaces:


                                                              32Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09)

                                                              By

                                                              “Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09)” Metadata:

                                                              • Title: ➤  Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09)
                                                              • Author:
                                                              • Language: English
                                                              • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Marshall Space Flight Center
                                                              • Publish Date:
                                                              • Publish Location: ➤  [Springfield, Va - [Marshall Space Flight Center, Ala.]

                                                              “Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09)” Subjects and Themes:

                                                              Edition Identifiers:

                                                              Access and General Info:

                                                              • First Year Published: 1997
                                                              • Is Full Text Available: No
                                                              • Is The Book Public: No
                                                              • Access Status: No_ebook

                                                              Online Access

                                                              Downloads Are Not Available:

                                                              The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                              Online Borrowing:

                                                                Online Marketplaces

                                                                Find Investigation of springback associated with composite material component fabrication (MSFC Center director's discretionary fund final report, project 94-09) at online marketplaces:


                                                                33Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration

                                                                By

                                                                “Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration” Metadata:

                                                                • Title: ➤  Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration
                                                                • Author:
                                                                • Language: English
                                                                • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                                                • Publish Date:
                                                                • Publish Location: ➤  Springfield, Va - [Washington, DC

                                                                “Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration” Subjects and Themes:

                                                                Edition Identifiers:

                                                                Access and General Info:

                                                                • First Year Published: 1997
                                                                • Is Full Text Available: No
                                                                • Is The Book Public: No
                                                                • Access Status: No_ebook

                                                                Online Access

                                                                Downloads Are Not Available:

                                                                The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                Online Borrowing:

                                                                  Online Marketplaces

                                                                  Find Development, validation, and potential enhancements to the second-generation operational aerosol product at the National Environmental Satellite, Data, and Information Service of the National Oceanic and Atmospheric Administration at online marketplaces:


                                                                  34Validation of viscous and inviscid computational methods for turbomachinery components

                                                                  By

                                                                  “Validation of viscous and inviscid computational methods for turbomachinery components” Metadata:

                                                                  • Title: ➤  Validation of viscous and inviscid computational methods for turbomachinery components
                                                                  • Author:
                                                                  • Language: English
                                                                  • Publisher: ➤  National Aeronautics and Space Administration, Lewis Research Center
                                                                  • Publish Date:
                                                                  • Publish Location: [Cleveland, Ohio

                                                                  “Validation of viscous and inviscid computational methods for turbomachinery components” Subjects and Themes:

                                                                  Edition Identifiers:

                                                                  Access and General Info:

                                                                  • First Year Published: 1986
                                                                  • Is Full Text Available: No
                                                                  • Is The Book Public: No
                                                                  • Access Status: No_ebook

                                                                  Online Access

                                                                  Downloads Are Not Available:

                                                                  The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                  Online Borrowing:

                                                                    Online Marketplaces

                                                                    Find Validation of viscous and inviscid computational methods for turbomachinery components at online marketplaces:


                                                                    35"Shape optimization by Bayesian-validated computer-simulation surrogates"

                                                                    By

                                                                    “"Shape optimization by Bayesian-validated computer-simulation surrogates"” Metadata:

                                                                    • Title: ➤  "Shape optimization by Bayesian-validated computer-simulation surrogates"
                                                                    • Author:
                                                                    • Language: English
                                                                    • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                                                    • Publish Date:
                                                                    • Publish Location: ➤  Springfield, Va - [Washington, DC

                                                                    “"Shape optimization by Bayesian-validated computer-simulation surrogates"” Subjects and Themes:

                                                                    Edition Identifiers:

                                                                    Access and General Info:

                                                                    • First Year Published: 1997
                                                                    • Is Full Text Available: No
                                                                    • Is The Book Public: No
                                                                    • Access Status: No_ebook

                                                                    Online Access

                                                                    Downloads Are Not Available:

                                                                    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                    Online Borrowing:

                                                                      Online Marketplaces

                                                                      Find "Shape optimization by Bayesian-validated computer-simulation surrogates" at online marketplaces:


                                                                      36Structural embeddings

                                                                      By

                                                                      “Structural embeddings” Metadata:

                                                                      • Title: Structural embeddings
                                                                      • Author:
                                                                      • Language: English
                                                                      • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Langley Research Center
                                                                      • Publish Date:
                                                                      • Publish Location: Hampton, Va - [Springfield, Va

                                                                      “Structural embeddings” Subjects and Themes:

                                                                      Edition Identifiers:

                                                                      Access and General Info:

                                                                      • First Year Published: 1999
                                                                      • Is Full Text Available: No
                                                                      • Is The Book Public: No
                                                                      • Access Status: No_ebook

                                                                      Online Access

                                                                      Downloads Are Not Available:

                                                                      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                      Online Borrowing:

                                                                        Online Marketplaces

                                                                        Find Structural embeddings at online marketplaces:


                                                                        37Report on the formal specification and partial verification of the VIPER microprocessor

                                                                        By

                                                                        “Report on the formal specification and partial verification of the VIPER microprocessor” Metadata:

                                                                        • Title: ➤  Report on the formal specification and partial verification of the VIPER microprocessor
                                                                        • Author:
                                                                        • Language: English
                                                                        • Publisher: ➤  Computational Logic, Inc. - National Aeronautics and Space Administration, Langley Research Center
                                                                        • Publish Date:
                                                                        • Publish Location: Austin, Texas - Hampton, Va

                                                                        “Report on the formal specification and partial verification of the VIPER microprocessor” Subjects and Themes:

                                                                        Edition Identifiers:

                                                                        Access and General Info:

                                                                        • First Year Published: 1991
                                                                        • Is Full Text Available: No
                                                                        • Is The Book Public: No
                                                                        • Access Status: No_ebook

                                                                        Online Access

                                                                        Downloads Are Not Available:

                                                                        The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                        Online Borrowing:

                                                                          Online Marketplaces

                                                                          Find Report on the formal specification and partial verification of the VIPER microprocessor at online marketplaces:


                                                                          38The application of V&V within reuse-based software engineering

                                                                          By

                                                                          “The application of V&V within reuse-based software engineering” Metadata:

                                                                          • Title: ➤  The application of V&V within reuse-based software engineering
                                                                          • Author:
                                                                          • Language: English
                                                                          • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                                                          • Publish Date:
                                                                          • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                                                                          “The application of V&V within reuse-based software engineering” Subjects and Themes:

                                                                          Edition Identifiers:

                                                                          Access and General Info:

                                                                          • First Year Published: 1996
                                                                          • Is Full Text Available: No
                                                                          • Is The Book Public: No
                                                                          • Access Status: No_ebook

                                                                          Online Access

                                                                          Downloads Are Not Available:

                                                                          The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

                                                                          Online Borrowing:

                                                                            Online Marketplaces

                                                                            Find The application of V&V within reuse-based software engineering at online marketplaces:


                                                                            Top of Page