找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Semantics of Probabilistic Processes; An Operational Appro Yuxin Deng Book 2014 Shanghai Jiao Tong University Press, Shanghai and Springer-

[復(fù)制鏈接]
查看: 23445|回復(fù): 39
樓主
發(fā)表于 2025-3-21 16:19:55 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Semantics of Probabilistic Processes
副標(biāo)題An Operational Appro
編輯Yuxin Deng
視頻videohttp://file.papertrans.cn/865/864745/864745.mp4
概述The first book available on probabilistic testing semantics.Offers in-depth examination of probabilistic bisimulation from logical, metric, and algorithmic perspectives.Demonstrates the use of many ma
圖書封面Titlebook: Semantics of Probabilistic Processes; An Operational Appro Yuxin Deng Book 2014 Shanghai Jiao Tong University Press, Shanghai and Springer-
描述This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
出版日期Book 2014
關(guān)鍵詞Operational Semantics; Probabilistic Bisimulation; Probabilistic Processes; Simulation Preorders; Testin
版次1
doihttps://doi.org/10.1007/978-3-662-45198-4
isbn_softcover978-3-662-51598-3
isbn_ebook978-3-662-45198-4
copyrightShanghai Jiao Tong University Press, Shanghai and Springer-Verlag Berlin Heidelberg 2014
The information of publication is updating

書目名稱Semantics of Probabilistic Processes影響因子(影響力)




書目名稱Semantics of Probabilistic Processes影響因子(影響力)學(xué)科排名




書目名稱Semantics of Probabilistic Processes網(wǎng)絡(luò)公開度




書目名稱Semantics of Probabilistic Processes網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Semantics of Probabilistic Processes被引頻次




書目名稱Semantics of Probabilistic Processes被引頻次學(xué)科排名




書目名稱Semantics of Probabilistic Processes年度引用




書目名稱Semantics of Probabilistic Processes年度引用學(xué)科排名




書目名稱Semantics of Probabilistic Processes讀者反饋




書目名稱Semantics of Probabilistic Processes讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:17:06 | 只看該作者
Yuxin Deng aber keinesfalls ausschlie?lich auf Gesundheit ausgerichtet, sondern sorgen mit ihrer angenehmen Atmosph?re, einem vielf?ltigen Leistungsangebot und einer exzellenten Betreuung dafür, dass Menschen gerne ins Fitness-Studio gehen und dort ihre individuellen Trainingsziele erreichen.
板凳
發(fā)表于 2025-3-22 00:47:14 | 只看該作者
Yuxin Deng aber keinesfalls ausschlie?lich auf Gesundheit ausgerichtet, sondern sorgen mit ihrer angenehmen Atmosph?re, einem vielf?ltigen Leistungsangebot und einer exzellenten Betreuung dafür, dass Menschen gerne ins Fitness-Studio gehen und dort ihre individuellen Trainingsziele erreichen.
地板
發(fā)表于 2025-3-22 07:43:26 | 只看該作者
Yuxin Dengt Practices mithilfe von Benchmarking kaum zu identifi zieren und auch nur schwer von einem spezifi schen Unternehmenskontext in einen anderen zu transferieren sind. Deshalb ist der eigentliche Zweck von Benchmarking h?ufi g, bestimmte Abteilungen einem künstlich generierten Wettbewerbsdruck auszuse
5#
發(fā)表于 2025-3-22 08:47:43 | 只看該作者
6#
發(fā)表于 2025-3-22 14:50:01 | 只看該作者
7#
發(fā)表于 2025-3-22 19:57:07 | 只看該作者
Yuxin Dengf the pathway (SOCS proteins), and the production and crystallization of JAK and STAT proteins, among others.?Written in the successful?.Methods in Molecular Biology?.?series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-ste
8#
發(fā)表于 2025-3-22 21:38:28 | 只看該作者
f the pathway (SOCS proteins), and the production and crystallization of JAK and STAT proteins, among others.?Written in the successful?.Methods in Molecular Biology?.?series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-ste
9#
發(fā)表于 2025-3-23 02:35:00 | 只看該作者
Yuxin Dengeins, among others.?Written in the successful?.Methods in Molecular Biology?.?series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-ste978-1-4939-5979-2978-1-62703-242-1Series ISSN 1064-3745 Series E-ISSN 1940-6029
10#
發(fā)表于 2025-3-23 05:52:44 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-19 07:28
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
西城区| 顺昌县| 德昌县| 西乌珠穆沁旗| 宣恩县| 正镶白旗| 雷山县| 金阳县| 沐川县| 吉首市| 阳西县| 新竹县| 鄂州市| 宾阳县| 桂东县| 鱼台县| 蒙山县| 杂多县| 攀枝花市| 奉新县| 英德市| 阿克陶县| 锦屏县| 缙云县| 台中市| 纳雍县| 上杭县| 邯郸县| 普格县| 英吉沙县| 龙井市| 沙田区| 南澳县| 河津市| 乌什县| 梧州市| 理塘县| 称多县| 正定县| 泗阳县| 沽源县|