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

2009 Fourth South-East European Workshop on Formal Methods (SEEFM 2009) : Thessalniki Greece 4-5 D
出版社：Piscataway, N.J. : IEEE, c2009.
ISBN：9781424456178
出版年：2009
作者：South-East European Workshop on Formal Methods
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2009 IEEE Dallas Circuits and Systems Workshop (DCAS 2009) : Richardson, Texas, USA, 4-5 October 200
  • 作者：DCAS-2009
  • ISBN：9781424454839
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009
...

Formal methods in systems biology : first international workshop, FMSB 2008, Cambridge, UK, June 4-5
  • 作者：FMSB 2008
  • ISBN：9783540684107
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

2009 International Workshop on Content-Based Multimedia Indexing (CBMI 2009) : Chania, Greece, 3-5 J
  • 作者：International Workshop on Content-Based Multimedia Indexing
  • ISBN：9781424442652
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009
...

Web services and formal methods : 6th international workshop,WS-FM 2009, Bologna, Italy, September 4
  • 作者：WS-FM 2009
  • ISBN：9783642144578
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010
...

South-east Asia
  • 作者：editor,S. C. Fuller.
  • ISBN：0852800215
  • 出版社：Guernsey : F. Hodgson, 1976.
  • 出版年：1976
...

South-East Asia
  • 作者：Karnow,S.
  • 出版社：n.p.: Time-Life International, c1964.
  • 出版年：1964