Výsledky vyhledávání

1

Markov chains /

Autor Norris, J. R. 1960-
Vydáno 1997

Kniha

2

Probability and random processes /

Autor Grimmett, Geoffrey, 1950-, Stirzaker, David, 1947-
Vydáno 2001

Kniha

3

Markov chain Monte Carlo in practice : interdisciplinary statistics /

Vydáno 1998

Kniha

4

Markov decision processes : discrete stochastic dynamic programming /

Autor Puterman, Martin L.
Vydáno 2005

Kniha

5

Finite Markov chains and algorithmic applications /

Autor Häggström, Olle, 1967-
Vydáno 2002

Kniha

6

Markov chains : models, algorithms and applications /

Autor Ching, Wai Ki, 1969-, Ng, Michael K., 1967-
Vydáno 2006

Kniha

7

Verification of Probabilistic Recursive Sequential Programs

Autor Brázdil, Tomáš, 1979-
Vydáno 2007

Elektronická verze přístupná pouze pro studenty a pracovníky MU

VŠ práce nebo rukopis

8

Finite Markov chains /

Autor Kemeny, John G., 1926-1992, Snell, J. Laurie 1925-2011
Vydáno 1976

Kniha

9

Denumerable Markov chains /

Autor Kemeny, John G., 1926-1992, Snell, J. Laurie 1925-2011, Knapp, Anthony W., 1941-
Vydáno 1976

Kniha

10

Introduction to stochastic control /

Autor Kushner, Harold J. 1933-
Vydáno 1971

Kniha

11

Bayesian methods for hackers : probabilistic programming and Bayesian inference /

Autor Davidson-Pilon, Cameron
Vydáno 2016

Kniha

12

Parameter Synthesis in Continuous-Time Stochastic Systems /

Autor Korenčiak, Ľuboš
Vydáno 2018

Získat plný text

VŠ práce nebo rukopis

13

Control Strategy Synthesis for Path Planning under Temporal Constraints /

Autor Svoreňová, Mária
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

14

Nonlinear dynamical systems analysis for the behavioral sciences using real data /

Vydáno 2011

Kniha

15

Stochastic networks /

Autor Kelly, Frank, 1950-, Yudovina, Elena
Vydáno 2014

Kniha

16

Probability, Markov chains, queues, and simulation : the mathematical basis of performance modeling /

Autor Stewart, William J.
Vydáno 2009

Kniha

17

Controller Synthesis for Resource-Aware Systems /

Autor Novotný, Petr, 1986-
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

18

Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds

Autor Krčál, Jan, 1976-
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

19

Basic model checking problems for stochastic games

Autor Brožek, Václav
Vydáno 2009

Získat plný text

VŠ práce nebo rukopis

20

Controller synthesis for markov decision processes with branching - time objectives

Autor Forejt, Vojtěch, 1984-
Vydáno 2009

Získat plný text

VŠ práce nebo rukopis

Upřesnit hledání