Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Probability and Statistics in Computer Science. http://scigraph.springernature.com/things/product
Yazar
Abate, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Statistical analysis -- Analysis and verification of continuous and hybrid models -- Quantitative
View Other Search Results
Yazar
Foret, Annie. editor.
Format:
Electronic Resources
Alıntı:
Mathematical foundations of statistical approaches to linguistic analysis.
4.
Yazar
Bernardi, Raffaella. editor.
Format:
Electronic Resources
Alıntı:
mathematical foundations of statistical approaches to linguistic analysis.
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Right Level of Abstraction -- Verified Change -- Good Change and Bad Change: An Analysis Perspective on
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
and the Analysis of Bacterial Regulatory Networks -- Modeling and Analysis of Qualitative Behavior of
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
-- Statistical model checking of e-Motions domain-specific modeling languages -- Proof and Theorem Proving
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for
Arama Sonuçlarını Sınırlandır
Daraltılmış: