Elements of paraller computing
| Κύριος συγγραφέας: | Rajaraman, V. (Συγγραφέας) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
New Delhi
Prentice-Hall of India
2004
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Parallel processing of discrete problems /
Έκδοση: (1999) -
Algorithms for parallel processing /
Έκδοση: (1999) -
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) -
Logics and models of concurrent systems /
Έκδοση: (1985)