Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
View Other Search Results
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Fiems, Dieter. editor.
Format:
Electronic Resources
Alıntı:
Behavior -- Modeling and Simulation Tools.
Yazar
Balsamo, Simonetta. editor.
Format:
Electronic Resources
Alıntı:
quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
-- Probabilistic Modelling and Abstraction -- Applications and Tools.
Yazar
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool
Yazar
Berk, Richard. author.
Format:
Electronic Resources
Alıntı:
tools. The audience for this book includes graduate students and researchers in the social sciences, and
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial
Yazar
Shacham, Hovav. editor.
Format:
Electronic Resources
Alıntı:
-- Encryption -- Symmetric cryptography -- Proofs of work and proofs of Stake -- Proof tools -- Key exchange
Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and
Yazar
Shacham, Hovav. editor.
Format:
Electronic Resources
Alıntı:
-- Encryption -- Symmetric cryptography -- Proofs of work and proofs of Stake -- Proof tools -- Key exchange
Arama Sonuçlarını Sınırlandır
Daraltılmış: