110 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Xu, Honglei. editor.
Format:
Electronic Resources
Alıntı:
-- Optimization of Engineering Survey Monitoring Networks -- Distributed Fault Detection Using Consensus of Markov
Yazar
Haviv, Moshe. author.
Format:
Electronic Resources
Alıntı:
-- Insensitivity and Product-form Queueing Models -- Two-dimensional Markov Processes and their Applications to
Yazar
Sarstedt, Marko. author.
Format:
Electronic Resources
Alıntı:
A Concise Guide to Market Research The Process, Data, and Methods Using IBM SPSS Statistics /
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
Bidding Games on Markov Decision Processes -- Primitivity and synchronizing automata: a functional
Yazar
Bakhshi, Rena. editor.
Format:
Electronic Resources
Alıntı:
Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance
Yazar
Isupova, Olga. author.
Format:
Electronic Resources
Alıntı:
-- Dynamic Hierarchical Dirlchlet Process -- Change Point Detection with Gaussian Processes -- Conclusions
Yazar
Birolini, Alessandro. author.
Format:
Electronic Resources
Alıntı:
processes & to the concept of mean time to accident, reliability & availability of a k-out-of-n redundancy
Yazar
Wittevrongel, Sabine. editor.
Format:
Electronic Resources
Alıntı:
stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras
Yazar
Aveiro, David. editor.
Format:
Electronic Resources
Alıntı:
Business Process Management.
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage
110 sonuç bulundu
Arama Sonuçlarını Sınırlandır