1–10 of 280 hits
|

    Limits of Correctness in Computers

    Smith, Brian Cantwell | Springer Verlag | 1993
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 6. Optimal guidance for orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 5. Orbital plane change with aerocruise

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Head Up Display. Requirements on an Avionic System

    Bengtsson, Kim | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 4. Fuel optimal control for noncoplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 1. Introduction

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 3. Fuel optimal control for coplanar orbital transfer

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Chapter 2. Atmospheric entry problem

    Subbaram Naidu, D. | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Real-Time Rule Based Control of Robot Motion

    Ciliz, M. Kemal | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems

    Real Time Aspects of Manned Space Flight Avionics Computing

    Anderman, Alfred | Springer Verlag | 1994
    Keywords: Software Engineering/Programming and Operating Systems