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

Complete Inference Systems for Weak Bisimulation Equivalences in the π-Calculus
出版社：中国科学院
出版年：1994
作者：Huimin Lin
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Complete Proof Systems for Observation Congruences in Finite-Control π-Calculus
  • 作者：Lin
  • 出版社：中国科学院
  • 出版年：1997
...

Teach Yourself Calculus - A Complete Introduction
  • 作者：Hugh Neill.
  • ISBN：9781444191110
  • 出版社：Hodder Education. c2013
  • 出版年：2013
...

Computational systems biology : inference and modelling
  • 作者：Lecca,Paola.
  • ISBN：9780081000953
  • 出版社：Waltham, MA : Elsevier, c2016.
  • 出版年：2016
...

The complete microcomputer systems handbook
  • 作者：Safford,Edward L.
  • ISBN：0830697152
  • 出版社：Blue Ridge Summit, Pa. : Tab Books, c1979.,Blue Ridge Summit : Tab Books, c1979
  • 出版年：1979
...

A calculus of communicating systems
  • 作者：Milner,R.
  • ISBN：0387102353
  • 出版社：Berlin ; New York : Springer-Verlag, 1980.
  • 出版年：1980
...

Pattern-directed inference systems
  • 作者：Waterman,D. A.
  • 出版社：N.Y. : Academic Pr., 1978
  • 出版年：1978