-
41
-
42
-
43Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS...Έκδοση 2011Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
44Έκδοση 2015Πίνακας περιεχομένων: “… and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision…”
Full Text via HEAL-Link
Ηλ. βιβλίο -
45Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS...Έκδοση 2010Πίνακας περιεχομένων: “…-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
46
-
47
-
48ανά Birman, Kenneth P.Πίνακας περιεχομένων: “… Considerations -- The Virtual Synchrony Execution Model -- Consistency in Distributed Systems -- Part III…”
Έκδοση 2012
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
49
-
50
-
51Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS...Έκδοση 2012Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
52Έκδοση 2013Πίνακας περιεχομένων: “… -- Application-level distributed systems -- Telecommunication services -- Internet -- Embedded and real-time…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
53Έκδοση 2009Πίνακας περιεχομένων: “… Tolerant Distributed Systems -- Short Papers -- Using First-Order Logic to Reason about Submodule…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
54Έκδοση 1983Θέματα: “…DISTRIBUTED SYSTEMS 24310…”
Βιβλίο -
55Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS...ανά Hatcliff, JohnΛήψη πλήρους κειμένου
Έκδοση 2010
Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο -
56
-
57
-
58
-
59Θέματα: “…DISTRIBUTED SYSTEMS 24310…”
Βιβλίο -
60