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

Domain modeling and the duration calculus : international training school Shanghai China Septembe
出版社：Berlin ; New York : Springer, c2007.
ISBN：3540749632
出版年：2007
作者：George C.W. et al.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Life system modeling and simulation : international conference, LSMS 2007, Shanghai, China, Septembe
  • 作者：LSMS 2007
  • ISBN：9783540747703
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Duration Calculus :Logical Foundations
  • 作者：R.Hansen
  • 出版社：中国科学院
  • 出版年：1997
...

A Duration Calculus whth Infinite Intervals
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1995
...

Unifying theories of programming and formal engineering methods : International Training School on S
  • 作者：International Training School on Software Engineering
  • ISBN：9783642397202
  • 出版社：Berlin : Springer, c2013.
  • 出版年：2013
...

School training of gifted children,
  • 作者：Goddard,Henry Herbert,
  • 出版社：Yonkers-on-Hudson, N.Y. and Chicago, Ill., World Book company 1928.
  • 出版年：1928
...

School training of gifted children,
  • 作者：Goddard,Henry Herbert,
  • ISBN：赠阅
  • 出版社：Yonkers-on-Hudson, N.Y. and Chicago, Ill., World Book company 1928.
  • 出版年：1928