Προγραμματισμός και αρχιτεκτονική συστημάτων παράλληλης επεξεργασίας /
Κύριος συγγραφέας: | Παπαδάκης, Στυλιανός (συγγραφέας.) |
---|---|
Άλλοι συγγραφείς: | Διαμαντάρας, Κωνσταντίνος (συγγραφέας.) |
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
Αθήνα :
Κλειδάριθμος,
c2012.
|
Θέματα: |
Παρόμοια τεκμήρια
-
Συστήματα παράλληλης επεξεργασίας
ανά: Παπακωνσταντίνου, Γ. Κ., κ.ά.
Έκδοση: (1994) -
Συστήματα παράλληλης επεξεργασίας /
ανά: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Έκδοση: (1994) -
Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982) -
New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Έκδοση: (1975) -
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)