维普中文期刊产品整合服务
意见 帮助
基本检索 作者索引 机构索引 期刊索引
  • 哲学宗教
  • 社会学
  • 政治法律
  • 军事
  • 经济管理
  • 文化科学
  • 语言文字
  • 文学
  • 艺术
  • 历史地理
  • 自然科学总论
  • 理学
  • 天文地球
  • 生物学
  • 医药卫生
  • 农业科学
  • 一般工业技术
  • 矿业工程
  • 石油与天然气工程
  • 冶金工程
  • 金属学及工艺
  • 机械工程
  • 兵器科学与技术
  • 动力工程及工程热...
  • 核科学技术
  • 电气工程
  • 电子电信
  • 自动化与计算机技术
  • 化学工程
  • 轻工技术与工程
  • 建筑科学
  • 水利工程
  • 交通运输工程
  • 航空宇航科学技术
  • 环境科学与工程
时间 1989 - 2010 学科选择学科
题名/关键词 模糊
与 题名/关键词 模糊
重新搜索 在结果中搜索
17篇 您的检索式：作者名="van GLABBEEK R"
选中 清除  导出 查看参考文献 查看引证文献 引用追踪 共1页 首页 上一页 第1页 下一页 末页 /1 跳转
    题名 作者 年代 出处 被引量
1Capitellar erosion caused by a metal radial head prosthesis : A case report显示文摘van Riet R Van Glabbeek F Verborgt O 2004J Bone Joint Surg(Am)2004，，86：1
2Reactive, generative and stratified models of probabilistic processes 显示文摘Van Glabbeek R Smolka S Steffen B 1995International journal on information and computation1995，121，1：1
3Arthroscopically assisted reduction and internal fixation oftibial plateau fractures : report of twenty cases显示文摘Van Glabbeek F Van Riet R Jansen N 2002Acta Orthopedica Belgica2002，68，3：1
4Arthroscopically assisted reduction and internal fixation of tibial plateau fractures,report Of twenty cases显示文摘van Glabbeek F van Riet R Jansen N 2002Acta Orthop Belg2002，68，3：1
5Reactive,generative and stratified models of probabilistic processes显示文摘Van Glabbeek R J Smolka S A Steffen B 1995Information and Computation1995，121，1：1
6Detrimental effects of overstuffing or understuffing with a radial head replacement in the medial collateral-ligament deficient elbow显示文摘van Glabbeek F van Riet R P Baumfeld J A 2004J Bone Joint Surg Am2004，86，12：1
7Branching time and abstraction in bisimulation semantics显示文摘GLABBEEK van R J WEIJLAND W P 1996Journal of the ACM1996，43，3：1
8Refinement of actions and equivalence notions for concurrent systems显示文摘van GLABBEEK R GOLTZ U 2001Acta Informatica2001，37，：1
9Branching tinhe and abstraction in bisimulation semantics 显示文摘VAN GLABBEEK R WEIJLAND W 1996Jour- nal of the Association for Computing Machinery1996，43，3：1
10Current concepts in the treatment of radial head fractures in the adult : a clinical and biomechanical approach 显示文摘Van Glabbeek F Van Riet R 2001Acta Orthop Belg2001，67，：1
11Branching time and abstraction in bisimulation semantics显示文摘Van Glabbeek R J Weijland W P 1996Journal of the ACM1996，43，3：1
12The linear time-branching timespectrum显示文摘Van Glabbeek R J 1990Lecture Notes in Computer Science1990，458，：1
13Branching time and abstrac- tion in bisimulation semantics显示文摘Van Glabbeek R J Weijland W P 1996JACM1996，43，3：1
14Characterising testing preorders for finite probabilis- tic processes 显示文摘DENG Y VAN GLABBEEK R HENNESSY M 2008Logical Methods in Computer Science2008，4，4：1
15Remarks on testing probabilistic processes 显示文摘DENG Y VAN GLABBEEK R HENNESSY M 2007Electronic Notes in Theoretical Computer Science2007，172，：1
16Thin vapour-deposited niobium pentoxide films显示文摘Van Glabbeek J J Van De Leest R E 1991Thin Solid Films1991，201，：1
17Branching time and abstraction in bisimulation semantics 显示文摘van GLABBEEK R J WEIJLAND W P 1996Journal of the ACM1996，43，3：1
返回顶部 每页显示：
共1页 首页 上一页 第1页 下一页 末页 /1 跳转
goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费