13 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Xu, Jiuping. author.
Format:
Electronic Resources
Alıntı:
Probabilities.
Yazar
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
Format:
Electronic Resources
Alıntı:
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
View Other Search Results
Yazar
André, Étienne. editor. (orcid)0000-0001-8473-9555
Format:
Electronic Resources
Alıntı:
and non-linear systems; timed automata; special session on timed systems and probabilities.
Yazar
Jansen, David N. editor. (orcid)0000-0002-6636-3301
Format:
Electronic Resources
Alıntı:
Systems and Probabilities.
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Yazar
Vrajitoru, Dana. author.
Format:
Electronic Resources
Alıntı:
-- Recurrence Relations -- Deterministic Analysis of Algorithms -- Algorithms and Probabilities -- Finite Graph
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of
Yazar
Dang, Tran Khanh. editor.
Format:
Electronic Resources
Alıntı:
Classification in Brain-Computer Interface -- Enhancing Genetic Algorithm with Cumulative Probabilities to Derive
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities
Yazar
Medina, Jesús. editor.
Format:
Electronic Resources
Alıntı:
Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models
13 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: