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

1–20 von 633 Ergebnissen
|

    Roots of Beowulf

    J. R. Fischer | NTIS | 2014
    Schlagwörter: Computers, Control & Information Theory , Architecture (computers) , Operating systems (computers) , Parallel processing (computers) , Computer systems performance , Open source licensing (computers)

    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    S. Bhattacharyya / T. Eskridge / N. Neogi et al. | NTIS | 2017
    Schlagwörter: Computer Software , Program verification (computers) , Architecture (computers)

    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)

    DORCA 2 computer program. Volume 3: Program listing

    Carey, J. B. | NTRS | 1972
    Schlagwörter: Computers

    Flight computer and language processor study

    Bentley, L. / Nielsen, W. C. / Rubey, R. J. | NTRS | 1970
    Schlagwörter: Computers

    Gateway Autonomy for Enabling Deep Space Exploration

    M. Anderson / J. Badger | NTIS | 2023
    Schlagwörter: Computers, Control & Information Theory

    The SDP-3 - A computer for use on board small scientific spacecraft.

    Cliff, R. A. | NTRS | 1968
    Schlagwörter: Computers

    Autonomy and the Gateway Human-Robotic Systems and Operation

    T. Fong | NTIS | 2018
    Schlagwörter: Computers, Control & Information Theory

    Human intellect augmentation techniques Final report

    Engelbart, D. C. | NTRS | 1969
    Schlagwörter: Computers

    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

    Notional 1FT Voting Architecture with Time-Triggered Ethernet

    A. Loveless | NTIS | 2016
    Schlagwörter: Computer Software , Airborne/spaceborne computers , Applications programs (computers)

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

    Walter Vaughan / Caleb Adams / Sergei Gridnev et al. | NTRS
    Schlagwörter: Computer Programming and Software , computer programming

    Towards the Verification of Human-Robot Teams

    M. Fisher / E. Pearce / M. Wooldridge et al. | NTIS | 2005
    Schlagwörter: Computers, Control & Information Theory , Program verification(Computers)

    Towards Efficient Human-Robot Dialogue Collection: Moving Fido into the Virtual World

    C. Henry / P. Moolchandani / K. A. Pollard et al. | NTIS | 2017
    Schlagwörter: Computers, Control & Information Theory , Computers

    Ensemble Canon

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

    Aerospace Computer Systems: Avionics Applications. 1978-March, 1980 (Citations from the NTIS Data Base)

    B. Carrigan | NTIS | 1980
    Schlagwörter: Computer Hardware , Computer Software , Data processing equipment , Computer systems hardware , Computer programming , Guidance computers , Navigational computers , Computer applications