1–20 of 1,616 hits
|

    A Model of Air Combat Decisions

    Schvaneveldt, Roger W. / Goldsmith, Timothy E. | Springer Verlag | 1986
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Script-based generation and evaluation of expectations in traffic scenes

    Retz-Schmidt, G. | Tema Archive | 1986
    Publisher: Springer-Verlag , Berlin,Heidelberg,New York,Tokyo

    Dynamic planning and time-conflict resolution in air traffic control

    Voelckers, U. | Tema Archive | 1986
    Publisher: Springer-Verlag , Berlin,Heidelberg,New York,Tokyo

    Knowledge-based pilot aids: A case study in mission planning

    Cross, S.E. / Bahnij, R.B. / Norman, D.O. | Tema Archive | 1986
    Publisher: Springer-Verlag , Berlin,Heidelberg,New York,Tokyo

    Automated guided vehicle systems. Proceedings of the 5th international conferenc, Tokyo, J, October 6-8, 1987

    Tema Archive | 1987
    Publisher: Springer , Berlin,Heidelberg,New York,London,Paris,Tokyo

    Computers in railway management

    Computational Mechanics Institute | TIBKAT | 1987
    Publisher: Springer , Berlin , Heidelberg , New York , London , Paris , Tokyo

    Computer applications in spacecraft design and operation

    Murthy, T.K. / Muench, R.E. | Tema Archive | 1987
    Publisher: Springer Boston Computational Mechanics Publ. , Berlin,Heidelberg,New York

    Transportation for the future

    International Conference on Transportation for the Future | TIBKAT | 1989
    Publisher: Springer , Berlin , Heidelberg [u.a.]

      Transportation for the future

      Batten, David F. / Andersson, Åke E. | SLUB | 1989
      Publisher: Springer , Berlin , Heidelberg [u.a.]

    Airfoil design and data

    Eppler, Richard | SLUB | 1990
    Publisher: Springer , Berlin , Heidelberg [u.a.]

    A knowledge based system for traffic sign recognition

    Gämlich, R.E. / Ritter, W. | Tema Archive | 1990
    Publisher: Springer , Berlin, Heidelberg, New York

    A decision making system in aviation medicine

    Kuncheva, L. / Zlatev, R. / Raicheva, V. | Tema Archive | 1991
    Publisher: Springer , Berlin, Heidelberg

    Formally specifying the logic of an automatic guidance controller

    Guaspari, D. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Reusable input/output packages for ada avionic applications

    Rosskopf, A. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Constructing a pilot library of components for avionic systems

    Fernandez, J.L. / Puente, J.A. de la | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Introducing HOOD into software process modelling based environments

    Larre, J.R. / Alfaro, N. / Galan, J.J. et al. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Ada in safety critical applications

    Welz, A. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Ada as high level language for real time systems exploiting RDBMS techniques

    Colombini, C. / Della Torre, A. / Palotti, R. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    Testing and integrating a large embedded real-time system

    Lippens, J.M. / Arnol, J. | Tema Archive | 1991
    Publisher: Springer Verlag , Berlin,Heidelberg,New York

    A modular system for traffic flow simulations at intersections and in networks

    Friedrich, B. | Tema Archive | 1991
    Publisher: Springer-Verlag , Berlin,Heidelberg,New York

    CASE support for large systems

    Robinson, D. | Tema Archive | 1991
    Publisher: Springer-Verlag , Berlin,Heidelberg,New York