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

The art of modelling computational systems : a journey from logic and concurrency to security and pr
出版社：Cham : Springer, 2019.
ISBN：9783030311742
出版年：2019
作者：Alvim,Mário S.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

From the atom to living systems : a chemical and philosophical journey into modern and contemporary
  • 作者：Banchetti-Robino,Marina Paola,
  • ISBN：9780197598900
  • 出版年：2023
...

A computational logic handbook
  • 作者：Boyer,Robert S.
  • ISBN：0121229556
  • 出版社：San Diego, Calif. : Academic Pr., c1998.
  • 出版年：1998
...

PX, a computational logic
  • 作者：Hayashi,Susumu,
  • ISBN：0262081741 200.00
  • 出版社：Cambridge, Mass. : MIT Press, 1988.
  • 出版年：1988
...

PX, a computational logic
  • 作者：Hayashi,Susumu,
  • ISBN：0262081741
  • 出版社：Cambridge, Mass. : MIT Press, 1988.
  • 出版年：1988
...

A computational logic
  • 作者：Boyer,Robert S.
  • ISBN：0121229505
  • 出版社：New York : Academic Press, c1979.
  • 出版年：1979
...

Computational methods for modelling of nonlinear systems
  • 作者：Torokhti,A.
  • ISBN：9780444530448
  • 出版社：Amsterdam ; Boston : Elsevier, 2007.
  • 出版年：2007