Synonyme wurden verwendet für: Computer Computer programming programming
Suche ohne Synonyme: keywords:(Computer programming)

1–20 von 140 Ergebnissen
|

    Rapid Spacecraft Payload Development: In-Orbit Demonstration of Flight Software Reuse, Scalability, and Dependability

    W. Vaughan / C. Adams / S. Gridnev et al. | NTIS | 2023
    Schlagwörter: Computer Software , Computer programming

    Formal Verification Toolkit for Requirements and Early Design Stages

    J. M. Badger / S. J. Miller | NTIS | 2011
    Schlagwörter: Computer Software , Applications programs(Computers) , Computer programming , Natural language(Computers) , Program verification(Computers)

    Theory of Inductive Types

    A. Grimley | NTIS | 1990
    Schlagwörter: Computer Software , Programming languages , Functional programming , ML programming language , Miranda programming language , IT programming language

    Technical Reference Suite Addressing Challenges of Providing Assurance for Fault Management Architectural Design

    R. Fitz / G. Whitman | NTIS | 2016
    Schlagwörter: Computer Software , Computer programming , Computer programs

    Hal/S Programmer'S Guide

    P. M. Newbold / R. L. Hotz | NTIS | 1974
    Schlagwörter: Computer Software , Programming languages , User manuals (Computer programs) , Computer programming

    Seven Processes that Enable NASA Software Engineering Technologies

    H. Housch / S. Godfrey | NTIS | 2011
    Schlagwörter: Computer Software , Computer programming , Computer systems design , Computer programs

    Multi-Objective Coordinated Path Planning for a Team of UAVs in a Dynamic Environment

    M. Mishra / X. Han / D. Sidoti et al. | NTIS | 2014
    Schlagwörter: Integer programming , Mixed integer linear programming

    C Style Guide

    J. Doland / J. Valett | NTIS | 1994
    Schlagwörter: Computer Software , C (Programming language) , Computer programming , Computer programs , Structured programming

    Neurocognitive Approach to Robotic Cause-Effect Reasoning During Learning

    R. Gentili / G. Katz / J. Reggia | NTIS | 2022
    Schlagwörter: Computer programming , Computer science , Computers , Lisp programming language

    Robot Research at Stanford Research Institute

    B. Raphael | NTIS | 1972
    Schlagwörter: Computer programming

    Ensemble Canon

    D. S. MIittman | NTIS | 2011
    Schlagwörter: Computer Software , Architecture(Computers) , Computer programming , Computer programs , Applications programs(Computers) , Java(Programming language)

    Software for Intelligent System Health Management (ISHM)

    L. C. Trevino | NTIS | 2004
    Schlagwörter: Computers, Control & Information Theory , Computer programming , Computer systems performance , Computer programs

    Space Flight Software Development Software for Intelligent System Health Management

    L. C. Trevino / T. Crumbley | NTIS | 2004
    Schlagwörter: Computer Software , Applications programs(Computers) , Computer programming , Computer programs

    Simulation and Flight Test Environments for the TASAR Traffic Aware Planner

    T. L. Barney / M. C. Underwood / B. K. Buck | NTIS | 2019
    Schlagwörter: Computer programming , Program verification (computers)

    Docker Containers and Images for Robot Operating System (ROS)-Based Applications

    A. Naser / O. Ennasr / A. Soylemezoglu et al. | NTIS | 2023
    Schlagwörter: Computer programming , Computer programs , Computers

    Repository-Based Software Engineering Program: Redefining Adanet as a Mainstream NASA Source

    NTIS | 1993
    Schlagwörter: Computer Software , Computer programming

    Intercity Transportation Effectiveness Model, Documentation Volume II. Subprogram Design and Coding Specifications and Computer Operator's Manual, Book 3 of 5, Sections 28-31

    W. A. Jessiman / R. B. Cody | NTIS | 1971
    Schlagwörter: Computer Software , Computer programming , Linear programming , Programming manuals , FORTRAN 4 programming language , CDC 6600 computers

    L'Ingenierie des Logiciels pour les Architectures des Systemes Aerospatiaux (Aerospace Software Engineering for Advanced Systems Architectures)

    NTIS | 1993
    Schlagwörter: Computer Software , Object-oriented programming , Ada (Programming language) , Computer systems programs , Program verification (Computers) , Programming environments

    Implementation of Hydrologic Models at Goddard Space Flight Center

    NTIS | 1974
    Schlagwörter: Computer programming

    Enhancing the MPI Programming Model for PetaScale Systems. Final Report

    W. D. Gropp | NTIS | 2013
    Schlagwörter: Computer Software , Programming