×

Found 209 Documents (Results 1–100)

Reliability analysis of an aging unit with a controllable repair facility activation. (English) Zbl 1397.62591

Pilz, Jürgen (ed.) et al., Statistics and simulation. Contributions given at the 8th international workshop on simulation, IWS 8, Vienna, Austria, September 21–25, 2015. Cham: Springer (ISBN 978-3-319-76034-6/hbk; 978-3-319-76035-3/ebook). Springer Proceedings in Mathematics & Statistics 231, 403-417 (2018).
MSC:  62N05 60J28

One-counter stochastic games. (English) Zbl 1245.68099

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 108-119, electronic only (2010).

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software