Suggested Topics within your search.
Showing 1,121 - 1,140 results of 1,886 for search '"Science"', query time: 0.03s Refine Results
  1. 1121
    Automata, languages and programming /

    Automata, languages and programming /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 1122
    Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /

    Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...

    Published 1998
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  3. 1123
    Unifying theories of programming /

    Unifying theories of programming / by Hoare, Charles Antony Richard, 1934-

    Published 1998
    “…Prentice-Hall series in computer science…”
    Book
  4. 1124
    Understanding Z : a specification language and its formal semantics /

    Understanding Z : a specification language and its formal semantics / by Spivey, J. Michael

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  5. 1125
    Advances in cryptology - ASIACRYPT 1996 /

    Advances in cryptology - ASIACRYPT 1996 /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  6. 1126
    Formal specification and design /

    Formal specification and design / by Feijs, Loe M. G., 1954-

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  7. 1127
    Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /

    Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / by Hesselink, Wim Hendrik, 1946-

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  8. 1128
    Higher order logic and hardware verification /

    Higher order logic and hardware verification / by Melham, Thomas

    Published 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  9. 1129
    Formal methods in circuit design /

    Formal methods in circuit design / by Stavridou, V. (Victoria)

    Published 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  10. 1130
    Free choice Petri nets /

    Free choice Petri nets / by Desel, Jörg, 1959-

    Published 1995
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  11. 1131
    Algorithmic information theory /

    Algorithmic information theory / by Chaitin, Gregory J., 1947-

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  12. 1132
    Two-level functional languages /

    Two-level functional languages / by Nielson, Flemming, 1955-

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  13. 1133
    Algebraic specification of communication protocols /

    Algebraic specification of communication protocols /

    Published 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Book
  14. 1134
    Electronic commerce : current research issues and applications /

    Electronic commerce : current research issues and applications /

    Published 1996
    “…Lecture notes in computer science ;…”
    Book
  15. 1135
    Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /

    Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 1136
    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  17. 1137
    Algorithms and computation /

    Algorithms and computation /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  18. 1138
    Advanced functional programming /

    Advanced functional programming /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  19. 1139
    The theory and practice of concurrency /

    The theory and practice of concurrency / by Roscoe, A. W.

    Published 1998
    “…Prentice-Hall series in computer science…”
    Book
  20. 1140
    The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

    The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution / by Carpenter, Bob

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book

Search Tools: