Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
Understanding Behaviour of Distributed Systems Using mCRL2
Yazar 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Markov chains : from theory to implementation and experimentation için kapak resmi
Markov chains : from theory to implementation and experimentation
Yazar 
Gagniuc, Paul A., author.
Yer Numarası 
QA274.7 .G34 2017
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387596
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Stochastic relations : foundations for Markov transition systems için kapak resmi
Stochastic relations : foundations for Markov transition systems
Yazar 
Doberkat, Ernst-Erich., author.
Yer Numarası 
QA76.9 .M35 D578 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: