Algorithms for parallel processing /
Άλλοι συγγραφείς: | Heath, Michael T. (επιμελητής.), Ranade, Abhiram (επιμελητής.), Schreiber, Robert S. (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York :
Springer,
1999.
|
Σειρά: | IMA volumes in mathematics and its applications
105. |
Θέματα: |
Παρόμοια τεκμήρια
-
Parallel processing of discrete problems /
Έκδοση: (1999) -
New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Έκδοση: (1975) -
The massively parallel processor
Έκδοση: (1985) -
Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982) -
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)