Yazar
Plakhov, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service.
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating
View Other Search Results
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic
Yazar
Kern, Robert. author.
Format:
Electronic Resources
Alıntı:
Dynamic Quality Management for Cloud Labor Services Methods and Applications for Gaining Reliable
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy
Yazar
Louis, Pierre-Yves. editor.
Format:
Electronic Resources
Alıntı:
Probabilistic Cellular Automata.- Part II Computer science and discrete dynamical systems -- 10 An example of
Arama Sonuçlarını Sınırlandır
Daraltılmış: