找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

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

[復制鏈接]
查看: 23444|回復: 39
樓主
發(fā)表于 2025-3-21 16:19:55 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Semantics of Probabilistic Processes
副標題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
關鍵詞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影響因子(影響力)學科排名




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




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




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




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




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




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




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




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




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

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權限
沙發(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 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-19 07:26
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
阿合奇县| 屏边| 高淳县| 璧山县| 迁安市| 垣曲县| 绵阳市| 泰顺县| 贞丰县| 仪征市| 凤山县| 利川市| 普陀区| 阳江市| 西丰县| 揭阳市| 南雄市| 石林| 阳曲县| 大丰市| 永顺县| 黄梅县| 宜川县| 奈曼旗| 洞头县| 金湖县| 多伦县| 突泉县| 怀安县| 东城区| 肥东县| 华容县| 景宁| 抚顺市| 五常市| 长兴县| 秦皇岛市| 介休市| 大埔区| 延川县| 千阳县|