Suggested Topics within your search.
Showing 381 - 400 results of 563 for search 'England*', query time: 0.05s Refine Results
  1. 381
    Program verification /

    Program verification / by Francez, Nissim, 1944-

    Published 1992
    Book
  2. 382
    Z : an introduction to formal methods /

    Z : an introduction to formal methods / by Diller, Antoni

    Published 1999
    Book
  3. 383
    Elliptic operators, topology and asymptotic methods /

    Elliptic operators, topology and asymptotic methods / by Roe, John, 1959-

    Published 1998
    Book
  4. 384
    Data and image compression : tools and techniques /

    Data and image compression : tools and techniques / by Held, Gilbert, 1943-

    Published 1996
    Book
  5. 385
    Garbage collection : algorithmos for automatic dynamic memory management /

    Garbage collection : algorithmos for automatic dynamic memory management / by Jones, Richard, 1954-

    Published 1999
    Book
  6. 386
    Concurrent programming /

    Concurrent programming / by Burns, Alan, 1953-

    Published 1998
    Book
  7. 387
    Pattern-oriented software architecture : a system of patterns /

    Pattern-oriented software architecture : a system of patterns / by Buschmann, Frank

    Published 1996
    Book
  8. 388
    Haskell : the craft of functional programming /

    Haskell : the craft of functional programming / by Thompson, Simon

    Published 1998
    Book
  9. 389
    Foundations of computing : system development with set theory and logic /

    Foundations of computing : system development with set theory and logic / by Scheurer, Thierry

    Published 1994
    Book
  10. 390
    Distributed systems : concepts and design /

    Distributed systems : concepts and design / by Coulouris, George

    Published 1995
    Book
  11. 391
    Real-time systems and programming languages /

    Real-time systems and programming languages / by Burns, Alan, 1953-

    Published 1997
    Book
  12. 392
    Compiler construction /

    Compiler construction / by Wirth, Niklaus

    Published 1996
    Book
  13. 393
    Algorithmics : the spirit of computing /

    Algorithmics : the spirit of computing / by Harel, David, 1950-

    Published 1998
    Book
  14. 394
    Component software : beyond object-oriented programming /

    Component software : beyond object-oriented programming / by Szyperski, Clemens

    Published 1998
    Book
  15. 395
    Concurrent systems : Operating systems, database and distributed systems: an integrated approach /

    Concurrent systems : Operating systems, database and distributed systems: an integrated approach / by Bacon, Jean, 1942-

    Published 1998
    Book
  16. 396
    Software requirements and specifications : a lexicon of practice, principles and prejudices /

    Software requirements and specifications : a lexicon of practice, principles and prejudices / by Jackson, Michael James

    Published 1998
    Book
  17. 397
    Elements of functional programming /

    Elements of functional programming / by Reade, Chris

    Published 1995
    Book
  18. 398
    Advances in databases : 15th British National Convention on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997 : proceedings /

    Advances in databases : 15th British National Convention on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  19. 399
    Object representation in computer vision II / ECCV ’96 International Workshop, Cambridge, UK, April 13-14, 1996 : proceedings /

    Object representation in computer vision II / ECCV ’96 International Workshop, Cambridge, UK, April 13-14, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  20. 400
    Dirac operators in analysis /

    Dirac operators in analysis /

    Published 1998
    Book

Search Tools: