Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
1.
001-es BibID:
BIBFORM012764
Első szerző:
Bérczes Tamás (informatikus)
Cím:
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:
2010
ISSN:
1787-5021 1787-6117
Tárgyszavak:
Természettudományok
Matematika- és számítástudományok
idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:
Annales Mathematicae et Informaticae. - 2010 : 37 (2010), p. 51-75. -
További szerzők:
Guta Gábor (1980-) (informatikus)
Kusper Gábor (1976-) (informatikus)
Schreiner, Wolfgang
Sztrik János (1953-) (informatikus, matematikus)
Internet cím:
Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.