HOME > 상세정보

상세정보

Stochastic relations : foundations for Markov transition systems

Stochastic relations : foundations for Markov transition systems

자료유형
단행본
개인저자
Doberkat, Ernst-Erich.
서명 / 저자사항
Stochastic relations : foundations for Markov transition systems / Ernst-Erich Doberkat.
발행사항
Boca Raton :   Taylor & Francis,   c2007.  
형태사항
xxiii, 345 p. : ill. ; 25 cm.
총서사항
Chapman & Hall/CRC studies in informatics series
ISBN
9781584889410 (hbk. : alk. paper) 1584889411 (hbk. : alk. paper)
서지주기
Includes bibliographical references (p. 331-338) and index.
일반주제명
Computer science -- Mathematics. Stochastic processes. Markov processes.
000 01435camuu2200373 a 4500
001 000045365186
005 20070628141843
008 070131s2007 flua b 001 0 eng
010 ▼a 2007004444
015 ▼a GBA719044 ▼2 bnb
016 7 ▼a 013689580 ▼2 Uk
020 ▼a 9781584889410 (hbk. : alk. paper)
020 ▼a 1584889411 (hbk. : alk. paper)
024 3 1 ▼a 9781584889410
035 ▼a (OCoLC)ocm82172857
035 ▼a (OCoLC)82172857
035 ▼a (KERIS)REF000012982356
040 ▼a DLC ▼c DLC ▼d UKM ▼d BAKER ▼d BTCTA ▼d YDXCP ▼d 211009
050 0 0 ▼a QA76.9.M35 ▼b D578 2007
082 0 0 ▼a 004.01/51 ▼2 22
090 ▼a 004.0151 ▼b D633s
100 1 ▼a Doberkat, Ernst-Erich.
245 1 0 ▼a Stochastic relations : ▼b foundations for Markov transition systems / ▼c Ernst-Erich Doberkat.
260 ▼a Boca Raton : ▼b Taylor & Francis, ▼c c2007.
300 ▼a xxiii, 345 p. : ▼b ill. ; ▼c 25 cm.
490 0 ▼a Chapman & Hall/CRC studies in informatics series
504 ▼a Includes bibliographical references (p. 331-338) and index.
650 0 ▼a Computer science ▼x Mathematics.
650 0 ▼a Stochastic processes.
650 0 ▼a Markov processes.
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.0151 D633s 등록번호 121148809 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

Ernst-Erich Doberkat(지은이)

정보제공 : Aladin

목차

Preface A Gentle Tutorial to All Things Considered Introduction Measurable Spaces Polish and Analytic Spaces Measurable Selectors Probability Measures Categories Stochastic Relations as Monads Introduction The Manes Monad The Giry Monad Case Study: Architectural Modeling through Monads Eilenberg?Moore Algebras for Stochastic Relations Introduction Characterization through Equivalence Relations Positive Convex Structures Algebras through Positive Convex Structures Examples The Left Adjoint The Existence of Semi-Pullbacks Introduction A Road Map Extending Semi-Pullbacks of Measures The Existence of Semi-Pullbacks Congruences and Bisimulations Introduction Smooth Equivalence Relations Factoring Bisimulations Behavioral Equivalence and a Portmanteau 2-Bisimulations Simple Relations Case Study: The Converse of a Stochastic Relation Case Study: Simple Relations for Counting Interpreting Modal and Temporal Logics Introduction Modal Logics Projective Limits for Interpreting Temporal Logics F-Bisimulations for CSL Logical Equivalence for μCSL Appendix: Notations Categories Spaces Other Bibliography Index Bibliographic Notes appear at the end of each chapter.


정보제공 : Aladin

관련분야 신착자료

김자미 (2021)