电子书 > 科学 > 计算机科学 > Prakash Panangaden: LABELLED MARKOV PROCESSES (PDF)

Prakash Panangaden
LABELLED MARKOV PROCESSES [PDF ebook]

支持

的封面 Prakash Panangaden: LABELLED MARKOV PROCESSES (PDF)

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.

€144.99

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● 网页 212 ● ISBN 9781848162891 ● 文件大小 1.6 MB ● 出版者 World Scientific Publishing Company ● 市 Singapore ● 国家 SG ● 发布时间 2009 ● 下载 24 个月 ● 货币 EUR ● ID 2423389 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Prakash Panangaden

74,319 此类电子书

的封面 Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Unlock the full potential of your i Phone with i Phone for Seniors in easy steps, 11th edition. This guide shows how to:Navigate your i Phone with confidence.Stay connected with family and friends th …

的封面 Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Nick Vandome: Android Phones for Seniors in easy steps, 3rd edition

Android Phones for Seniors in easy steps, 3rd edition unravels the world of Android smartphones. It provides an overview of the popular models, and then shows how to:Customize your phone to suit your …

的封面 Geeta Zunjani: Artificial Intelligence Class 5

Geeta Zunjani: Artificial Intelligence Class 5

Touchpad Artificial Intelligence series has some salient features such as AI Reboot, AI Deep Thinking, AI in Life, AI Lab and AI Ready which ensures that NEP 2020 guidelines are followed. KEY FEATURE …

的封面 Tarun Agarwal: Apex Legends Ultimate Guide

Tarun Agarwal: Apex Legends Ultimate Guide

的封面 Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 1

Geeta Zunjani: Touchpad Plus Ver. 3.1 Class 1

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickipedia: …

的封面 Dennis Chow: Automating Security Detection Engineering

Dennis Chow: Automating Security Detection Engineering

<p><b>Accelerate security detection development with AI-enabled technical solutions using threat-informed defense</b></p><h4>Key Features</h4><ul><li>C …

的封面 Abhik Chaudhuri: Internet of Things, for Things, and by Things

Abhik Chaudhuri: Internet of Things, for Things, and by Things

This book explains Io T technology, its potential applications, the security and privacy aspects, the key necessities like governance, risk management, regulatory compliance needs, the philosophical …

的封面 Salim Hariri & Manish Parashar: Autonomic Computing

Salim Hariri & Manish Parashar: Autonomic Computing

The complexity of modern computer networks and systems, combined with the extremely dynamic environments in which they operate, is beginning to outpace our ability to manage them. Taking yet another …

的封面 John R. Vacca: Public Key Infrastructure

John R. Vacca: Public Key Infrastructure

With the recent Electronic Signatures in Global and National Commerce Act, public key cryptography, digital signatures, and digital certificates are finally emerging as a ubiquitous part of the Infor …

的封面 R.D Harding: Fourier Series and Transforms

R.D Harding: Fourier Series and Transforms

This book helps in giving a qualitative feel for the properties of Fourier series and Fourier transforms by using the illustrative powers of computer graphics. It is useful for wide variety of studen …