Showing 1 - 20 results of 2,697 for search '', query time: 0.19s Refine Results
  1. 1
    An architecture for adaptive intelligent systems /
    by Hayes-Roth, Barbara
    Published 1993
    Government Document Microform Book
  2. 2
    High speed circuits and packaging technology for advanced laser altimeter systems : contract no. N00014-94-C-0112 : progress report & documentation for the 800 Ms/s data acquisition system /
    Published 1996
    Government Document Book
  3. 3
    Designing for change : minimizing the impact of changing requirements in the later stages of a spaceflight software project /
    by Allen, B. Danette
    Published 1998
    Government Document Book
  4. 4
    Proceedings of the twenty-first annual Software Engineering Workshop : December 5-6, 1996, Goddard Space Flight Center, Greenbelt, Maryland.
    Published 1996
    Government Document Conference Proceeding Book
  5. 5
    HPCCP/CAS Workshop 98 /
    Published 1999
    Government Document Conference Proceeding Book
  6. 6
    HBCUs Research Conference agenda and abstracts : proceedings of a conference held at and sponsored by Ohio Aerospace Institute, Cleveland, Ohio, April 8-9, 1998.
    Published 1998
    Government Document Conference Proceeding Book
  7. 7
    Proceedings /
    Published 1987
    Conference Proceeding Book
  8. 8
    Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /
    Published 1987
    Book
  9. 9
    Visualization in programming : [selected contributions] /
    Published 1987
    Conference Proceeding Book
  10. 10
    Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /
    Published 1987
    Book
  11. 11
    Artificial intelligence programming /
    Published 1987
    Book
  12. 12
    Discrete algorithms and complexity : proceedings of the Japan- US Joint Seminar, June 4-6, 1986, Kyoto, Japan /
    Published 1987
    Conference Proceeding Book
  13. 13
    The specification of computer programs /
    by Turski, Władysław
    Published 1987
    Book
  14. 14
    Temporal logics and their applications /
    Published 1987
    Book
  15. 15
    Proceedings /
    Published 1987
    Conference Proceeding
  16. 16
    Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986 /
    Published 1987
    Conference Proceeding Book
  17. 17
    The spine of software : designing provably correct software-- theory and practice, or, A mathematical introduction to the semantics of computer programs /
    by Baber, Robert Laurence
    Published 1988
    Book
  18. 18
    Programming principles in computer graphics /
    by Ammeraal, L. (Leendert)
    Published 1986
    Book
  19. 19
    A software planning and development methodology with resource allocation capability /
    by Michels, Joseph Bruce, 1952-
    Published 1986
    Link to ProQuest copy
    Link to OAKTrust copy
    Thesis Book
  20. 20
    Structured systems analysis and design method : application and context /
    by Downs, Ed, 1952-
    Published 1988
    Book
Search Tools: RSS Feed – Email Search