Showing 1 - 20 results of 37 for search '', query time: 0.04s Refine Results
  1. 1

    Enhancing cluster-based retrieval through linear algebra / by Mather, Laura A.

    Published 1998
    Thesis Book
  2. 2
  3. 3

    A study of language ideas for prototyping numerical computations / by Derby, Thomas M.

    Published 1999
    Thesis Book
  4. 4

    HyperSpider : integrating computation with the design and construction of educational crafts / by Chen, Theodore Y.

    Published 1999
    Thesis Book
  5. 5

    A loader for the finite element machine / by Ertl, Thomas Michael

    Published 1982
    Thesis Book
  6. 6
  7. 7

    The static detection of synchronisation anomalies in HAL/S programs / by Bristow, Guy Neil Rowland

    Published 1979
    Thesis Book
  8. 8

    A microcode evaluation methodology / by Skibbe, Robert Eugene

    Published 1978
    Thesis Book
  9. 9

    An interface for interprocess communication and control within the map architecture / by Smith, Kimbal Stuart

    Published 1979
    Thesis Book
  10. 10

    Detecting unexecutable paths through program flow graphs / by Bollacker, Lee Arthur

    Published 1979
    Thesis Book
  11. 11

    A modular software package for solving unconstrained non-linear optimization problems / by Weiss, Barry Edward

    Published 1980
    Thesis Book
  12. 12

    Test data generation and symbolic execution of programs as an aid to program validation / by Clarke, Lori A., 1947-

    Published 1976
    Thesis Book
  13. 13

    An assessment of the current state of software tool development / by Nolte, Stanley Carl

    Published 1980
    Thesis Book
  14. 14

    Two improved methods for assignment problems / by Yuan, Jung John

    Published 1980
    Thesis Book
  15. 15

    Unconstrained minimization using conic models and exact second derivatives / by Stordahl, Kari

    Published 1980
    Thesis Book
  16. 16

    Qubist : a search for a first-player winning strategy in the game of Qubic / by Walker, Gary

    Published 1984
    Thesis Book
  17. 17

    Immersive well path planning : the added value of interactive immersive visualization / by Gruchalla, Kenny

    Published 2003
    Thesis Book
  18. 18

    An examination of basic analyses on data base-maintained requirements specifications / by Newbury, Kirsten R.

    Published 1980
    Thesis Book
  19. 19

    Automatic abstraction techniques for formal verification of digital systems / by Pardo Sanchez, Abelardo

    Published 1997
    Thesis Book
  20. 20

    Programming rook endgames in chess / by Farhangnia, Farhad

    Published 1984
    Thesis Book
Search Tools: RSS Feed Save Search