登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Unique Fixpoint Induction for Message-Passing Process Calculi
出版社：中国科学院
出版年：1994
作者：M.Hennessy
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

On Implementing Unique Fixpoint Induction for Value-passing Proccesses
  • 作者：H.Lin
  • 出版社：中国科学院
  • 出版年：1995
...

Unique Fixpoint Induction for Mobile Processes
  • 作者：H.Lin
  • 出版社：中国科学院
  • 出版年：1996
...

Transputers and parallel architectures : message-passing distributed systems
  • 作者：De-Carlini,U.
  • ISBN：0139290508
  • 出版社：N.Y. : Ellis Horwood, c1991
  • 出版年：1991
...

Using Mpi : Portable Parallel Programming With The Message-passing Interface
  • 作者：Gropp,William et al.
  • ISBN：9780262527392
  • 出版社：Mit Press Ltd, 2014.
  • 出版年：2014
...

Using Advanced Mpi : Modern Features Of The Message-passing Interface
  • 作者：Gropp,William et al.
  • ISBN：9780262527637
  • 出版社：Mit Press Ltd, 2014.
  • 出版年：2014
...

Statistical physics, optimization, inference, and message-passing algorithms : École de Physique de
  • 作者：Krzakala,Florent,
  • ISBN：9780198743736
  • 出版社：Oxford : Oxford University Press, 2016
  • 出版年：2016