维普中文期刊产品整合服务
意见 帮助
基本检索 作者索引 机构索引 期刊索引
  • 哲学宗教
  • 社会学
  • 政治法律
  • 军事
  • 经济管理
  • 文化科学
  • 语言文字
  • 文学
  • 艺术
  • 历史地理
  • 自然科学总论
  • 理学
  • 天文地球
  • 生物学
  • 医药卫生
  • 农业科学
  • 一般工业技术
  • 矿业工程
  • 石油与天然气工程
  • 冶金工程
  • 金属学及工艺
  • 机械工程
  • 兵器科学与技术
  • 动力工程及工程热...
  • 核科学技术
  • 电气工程
  • 电子电信
  • 自动化与计算机技术
  • 化学工程
  • 轻工技术与工程
  • 建筑科学
  • 水利工程
  • 交通运输工程
  • 航空宇航科学技术
  • 环境科学与工程
时间 1989 - 2010 学科选择学科
题名/关键词 模糊
与 题名/关键词 模糊
重新搜索 在结果中搜索
18篇 您的检索式：作者名="Halbwachs"
选中 清除  导出 查看参考文献 查看引证文献 引用追踪 共1页 首页 上一页 第1页 下一页 末页 /1 跳转
    题名 作者 年代 出处 被引量
1The synchronous data-flow programming language LUSTRE 显示文摘Halbwachs N Caspi P Raymond P 1991Proceedings of the IEEE1991，79，9：1
2Generating efficient code from data-flow programs 显示文摘Halbwachs N Raymond P Ratel C 1991Lecture Notes in Computer Sci- ence1991，528，10：1
3The algorithmic analysis of hybrid systems显示文摘Alur R Coureoubetis C Halbwachs N 1995Theoretical Computer Science1995，138，1：1
4The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical Computer Science1995，138，：1
5The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N Henzinger TA Ho PH Nicollin X Olivero A Sifakis J Yovine S 0，，01：1
6The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical Computer Science1995，138，：1
7Individual Psychology and Collective Psychology显示文摘Halbwachs M 1998American Sociological Review Volume 31998，，5：1
8The algorithmic analysis of hybrid systems显示文摘Alur R Courcubtis C Halbwachs N 1995Theor Computer Science1995，138，：1
9Tlie algo-rithmic analysis of hybrid systems 显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical ComputerScience1995，138，1：1
10Verfication of real-time systems using linear relation analysis 显示文摘Halbwachs N Proy Y E Roumanoff P 1997Formal Methods in System Design1997，11，2：1
11Removing C02 from Lake Nyos in cameroon 显示文摘Halbwachs M Sabroux J C 2001Science2001，292，5516：1
12The algorithmic analysis of hybrid systems显示文摘 Coucoubetis C Halbwachs N 1995Theoretical Computer Science1995，138，1：1
13Charge and size of mesangial IgA in IgA nephropathy显示文摘Monteiro RC Halbwachs ML Roque-Barreira MC 1985Kidney Int1985，28，：1
14The synchronous dataflow programming language Lustre 显示文摘Halbwachs N Caspi P Raymond P 1991Proceedings of the IEEE1991，79，9：1
15Algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995TheoreticalComputer Science1995，138，1：1
16The Algorithmic Analysis of Hybrid Systems 显示文摘ALURA R COURCOUBETIS C HALBWACHS N 1995Theoretical Computer Science1995，138，94：1
17The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical Computer Science1995，138，：1
18The synchronous data flow programming language LUSTRE 显示文摘HALBWACHS N CASPI P RAYMOND P 1991Proceedings of the IEEE1991，79，9：1
返回顶部 每页显示：
共1页 首页 上一页 第1页 下一页 末页 /1 跳转
goolge学术搜索-维普

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

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

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