找回密碼
 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ù) 返回頂部 返回列表
龙泉市| 铁力市| 肃宁县| 邳州市| 上犹县| 长兴县| 尚义县| 金溪县| 林芝县| 大城县| 那曲县| 大安市| 诸暨市| 镇江市| 邯郸市| 吉木萨尔县| 莱西市| 桓台县| 黄石市| 云霄县| 夏邑县| 扶风县| 运城市| 长治市| 周口市| 奉节县| 宜城市| 雷州市| 桦南县| 台南县| 罗山县| 闻喜县| 房山区| 石渠县| 泸西县| 汾西县| 泰顺县| 闽清县| 岳阳县| 县级市| 福贡县|