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

Model-checking based data retrieval : an application to semistructured and temporal data
出版社：New York : Springer, 2004.
ISBN：3540209719
出版年：2004
作者：Quintarelli,Elisa.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Temporal data and the relational model : a detailed investigation into the application of interval a
  • 作者：Date,C. J.
  • ISBN：1558608559
  • 出版社：San Francisco, CA : Morgan Kaufmann, 2003.
  • 出版年：2003
...

Systems and software verification : model-checking techniques and tools
  • 作者：Be?rard,B.
  • ISBN：3540415238
  • 出版社：Berlin ; New York : Springer, 2001.
  • 出版年：2001
...

Data on the web : from relations to semistructured data and XML
  • 作者：Abiteboul,S.
  • ISBN：155860622X
  • 出版社：San Francisco, Calif. : Morgan Kaufmann, c2000.
  • 出版年：2000
...

Metaclasses and their application : data model tailoring and database integration
  • 作者：Klas,Wolfgang.
  • ISBN：3540600639
  • 出版社：Berlin : Springer, 1995.
  • 出版年：1995
...

Temporal Data Mining
  • 作者：Theophano Mitsa
  • ISBN：9781420089769
  • 出版社：Chapman & Hall 20110101
  • 出版年：2011
...

Temporal and spatio-temporal data mining
  • 作者：Hsu,Wynne,
  • ISBN：9781599043876
  • 出版社：Hershey : IGI Pub., c2008.
  • 出版年：2008