登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
EISBN:
9783540448044
PISBN:
9783540425564
出版社:
Springer Berlin Heidelberg
出版类型:
Proceedings
出版时间:
2001
作者:
Luca Alfaro,Stephen Gilmore
主题词:
Logics and Meanings of Programs,Software Engineering,Programming Languages,Compilers,Interpreters,System Performance and Evaluation
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Lecture Notes in Computer Science
2浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
作者:
Luca de Alfaro,Stephen Gilmore
EISBN:
9783540448044
出版社:
Springer Berlin Heidelberg
出版时间:
2001
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
作者:
Holger Hermanns,Roberto Segala
EISBN:
9783540456056
出版社:
Springer Berlin Heidelberg
出版时间:
2002
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
作者:
Holger Hermanns,Roberto Segala
EISBN:
9783540456056
出版社:
Springer Berlin Heidelberg
出版时间:
2002
Performance Assessment for Process Monitoring and Fault Detection Methods
作者:
Kai Zhang
EISBN:
9783658159719
出版社:
Springer Fachmedien Wiesbaden
出版时间:
2016
The Craft of Probabilistic Modelling
作者:
J. Gani
EISBN:
9781461386315
出版社:
Springer New York
出版时间:
1986
The Craft of Probabilistic Modelling
作者:
J. Gani
EISBN:
9781461386315
出版社:
Springer New York
出版时间:
1986
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。