Found 1,101 results
: An Axiomatic Basis for Computer Programming.
: LEDA: A Platform for Combinatorial and Geometric Computing.
: The Process Group Approach to Reliable Distributed Computing.
: Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I.
: The Jini Architecture for Network-Centric Computing.
: List Processing in Real Time on a Serial Computer.
: Mobile Wireless Computing: Challenges in Data Management.
: The complexity of computing a Nash equilibrium.
(search: 0.018 sec. - facets: 0.008 sec.)