Προγραμματισμός και αρχιτεκτονική συστημάτων παράλληλης επεξεργασίας /
| Main Author: | Παπαδάκης, Στυλιανός (συγγραφέας.) |
|---|---|
| Other Authors: | Διαμαντάρας, Κωνσταντίνος (συγγραφέας.) |
| Format: | Book |
| Language: | Greek |
| Published: |
Αθήνα :
Κλειδάριθμος,
c2012.
|
| Subjects: |
Similar Items
-
Συστήματα παράλληλης επεξεργασίας
by: Παπακωνσταντίνου, Γ. Κ., et al.
Published: (1994) -
Elements of paraller computing
by: Rajaraman, V.
Published: (2004) -
Verifying concurrent processes using temporal logic
by: Hailpern, Brent T. 1955- ((Brent Tzion))
Published: (1982) -
Logics and models of concurrent systems /
Published: (1985) -
Linear time, branching time and partial order in logics and models for concurrency
Published: (1989)