登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Semantics of Probabilistic Processes
EISBN：9783662451984
PISBN：9783662451977
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：2014
作者：Yuxin Deng
主题词：Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Discrete Mathematics in Computer Science,Probability and Statistics in Computer Science
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Semantics of the Probabilistic Typed Lambda Calculus
  • 作者：Dirk Draheim
  • EISBN：9783642551987
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2017
...

Decision Processes in Dynamic Probabilistic System
  • 作者：Adrian V. Gheorghe
  • EISBN：9789400904934
  • 出版社：Springer Netherlands
  • 出版时间：1990
...

Semantics of Systems of Concurrent Processes
  • 作者：Irène Guessarian
  • EISBN：9783540468974
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990
...

Decision Processes in Dynamic Probabilistic Systems
  • 作者：A.V. Gheorghe
  • EISBN：9789400904934
  • 出版社：Springer Netherlands
  • 出版时间：1990
...

Semantics of Systems of Concurrent Processes
  • 作者：Irene Guessarian
  • EISBN：9783540468974
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990
...

Semantics
  • 作者：András Kornai
  • EISBN：9783319656458
  • 出版社：Springer International Publishing
  • 出版时间：2020