|
|
|
|
LEADER |
00000cam a2200000Ia 4500 |
001 |
7848646 |
005 |
20130320140300.0 |
008 |
090709s2009 enka b 001 0 eng d |
003 |
ICU |
010 |
|
|
|a 2010483205
|
015 |
|
|
|a GBA9A3446
|2 bnb
|
016 |
7 |
|
|a 015401560
|2 Uk
|
020 |
|
|
|a 1848162871
|
020 |
|
|
|a 9781848162877
|
035 |
|
|
|a (OCoLC)423587286
|
035 |
|
|
|a co2596515
|
040 |
|
|
|a YDXCP
|b eng
|c YDXCP
|d EUN
|d HNK
|d BWX
|d BWK
|d MUU
|d UKM
|d KSU
|d CDX
|d HEBIS
|d DLC
|d SOI
|d UKMGB
|
049 |
|
|
|a CGUA
|
082 |
|
|
|a 519
|
090 |
|
|
|a QA274.7
|b .P36 2009
|
100 |
1 |
|
|a Panangaden, P.
|q (Prakash)
|0 http://id.loc.gov/authorities/names/no2003063283
|1 http://viaf.org/viaf/15084416
|
245 |
1 |
0 |
|a Labelled Markov processes /
|c Prakash Panangaden.
|
260 |
|
|
|a London :
|b Imperial College Press,
|c c2009
|
300 |
|
|
|a xii, 199 p. :
|b ill. ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
|
|a Introduction -- Measure theory -- Integration -- The radon-nikodym theorem -- A category of stochastic relations -- Probability theory on continuous spaces -- Bisimulation for labeled Markov processes -- Metrics for labelled Markov processes -- Approximating labelled Markov processes -- Approximating the approximation -- A domain of labelled Markov processes -- Real-time and continous stochastic logic -- Related work.
|
650 |
|
0 |
|a Markov processes.
|0 http://id.loc.gov/authorities/subjects/sh85081369
|
650 |
|
0 |
|a Measure theory.
|0 http://id.loc.gov/authorities/subjects/sh85082702
|
650 |
0 |
7 |
|a Markov-Entscheidungsprozess.
|2 swd
|
650 |
|
7 |
|a Markov processes.
|2 fast
|0 http://id.worldcat.org/fast/fst01010347
|
650 |
|
7 |
|a Measure theory.
|2 fast
|0 http://id.worldcat.org/fast/fst01013175
|
903 |
|
|
|a HeVa
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 99cedcec-fda0-55e4-9235-82bdd430fc73
|s f01ca4f7-456f-535a-aea3-873eca4540cd
|
928 |
|
|
|t Library of Congress classification
|a QA274.7 .P36 2009
|l JCL
|c JCL-Sci
|i 5516591
|
927 |
|
|
|t Library of Congress classification
|a QA274.7 .P36 2009
|l JCL
|c JCL-Sci
|e DOWL
|e CRERAR
|b 091981126
|i 8672115
|