Suggested Topics within your search.
Showing 641 - 660 results of 1,888 for search '"Science"', query time: 0.05s Refine Results
  1. 641
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 642
    Software development with Z : a practical approach to formal methods of software engineering /

    Software development with Z : a practical approach to formal methods of software engineering / by Wordsworth, J. B.

    Published 1992
    “…International computer science series…”
    Book
  3. 643
    Software engineering with B /

    Software engineering with B / by Wordsworth, J. B.

    Published 1996
    “…International computer science series…”
    Book
  4. 644
    Functional C /

    Functional C / by Hartel, Pieter Hendrik‏ , 1953-

    Published 1997
    “…International computer science series…”
    Book
  5. 645
    A logical approach to discrete math /

    A logical approach to discrete math / by Gries, David, 1939-

    Published 1993
    “…Texts and monographs in computer science…”
    Book
  6. 646
    The design and analysis of algorithms /

    The design and analysis of algorithms / by Kozen, Dexter C., 1951-

    Published 1992
    “…Texts and monographs in computer science…”
    Book
  7. 647
    First-order logic and automated theorem proving /

    First-order logic and automated theorem proving / by Fitting, Melvin, 1942-

    Published 1996
    “…Graduate texts in computer science…”
    Book
  8. 648
    Self-organization and associative memory /

    Self-organization and associative memory / by Kohonen, Teuvo

    Published 1989
    “…Springer series in information sciences ;…”
    Book
  9. 649
    Lambda calculi : a guide for computer scientists /

    Lambda calculi : a guide for computer scientists / by Hankin, Chris, 1954-

    Published 1994
    “…Graduate texts in computer science ;…”
    Book
  10. 650
    Functional programming and input/output.

    Functional programming and input/output. by Gordon, Andrew D., 1964-

    Published 1994
    “…Distinguished dissertations in computer science…”
    Book
  11. 651
    Concurrent programming /

    Concurrent programming / by Burns, Alan, 1953-

    Published 1998
    “…International computer science series…”
    Book
  12. 652
    Haskell : the craft of functional programming /

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

    Published 1998
    “…International computer science series…”
    Book
  13. 653
    Programming in the 1990s : an introduction to the calculation of programs /

    Programming in the 1990s : an introduction to the calculation of programs / by Cohen, Edwards

    Published 1990
    “…Texts and monographs in computer science…”
    Book
  14. 654
    Algorithmic algebra /

    Algorithmic algebra / by Mishra, Bhubaneswar, 1958-

    Published 1993
    “…Texts and monographs in computer science…”
    Book
  15. 655
    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
    “…International computer science series…”
    Book
  16. 656
    Distributed systems : concepts and design /

    Distributed systems : concepts and design / by Coulouris, George

    Published 1995
    “…International computer science series…”
    Book
  17. 657
    Algebraic approaches to program semantics /

    Algebraic approaches to program semantics / by Manes, Ernest G., 1943-

    Published 1986
    “…Texts and monographs in computer science…”
    Book
  18. 658
    Specification and transformation of programs : a formal approach to software development /

    Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A., 1950-

    Published 1990
    “…Texts and monographs in computer science…”
    Book
  19. 659
    Logic for applications /

    Logic for applications / by Nerode, Anil, 1932-

    Published 1997
    “…Graduate texts in computer science…”
    Book
  20. 660
    Real-time systems and programming languages /

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

    Published 1997
    “…International computer science series…”
    Book

Search Tools: