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

Model checking and artificial intelligence : 4th workshop MoChArt IV Riva del Garda Italy August
出版社：Berlin ; New York : Springer, c2007.
ISBN：9783540741275
出版年：2007
作者：MoChArt IV
资源类型：图书
细分类型：西文文献
1浏览量
 问图书管理员
 馆际互借
点赞
收藏
访问借阅管理系统
相关推荐
...

Search based software engineering : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy,
  • 作者：International Symposium on Search Based Software Engineering
  • ISBN：9783642331183
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Data analytics for renewable energy integration : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda,
  • 作者：DARE 2016
  • ISBN：9783319509464
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA,
  • 作者：MoChArt 2010
  • ISBN：9783642206733
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Model checking and artificial intelligence : International workshop, MoChArt 2008, Patras, Greece, J
  • 作者：MoChArt 2008
  • ISBN：9783642004308
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

The semantic web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, Oc
  • 作者：International Semantic Web Conference
  • ISBN：9783319119144
  • 出版社：Cham : Springer, [2014]
  • 出版年：2014
...

The semantic web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, Oc
  • 作者：International Semantic Web Conference
  • ISBN：9783319119632
  • 出版社：Cham : Springer, [2014]
  • 出版年：2014