机译:关于低维系统,介观结构和纳米器件的传输物理学的特刊:理论,建模和模拟
机译:旋转模型检查和软件验证:2000年8月30日至9月1日,在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集,作者:克劳斯·哈夫伦(Klaus Havelund),约翰·佩尼克斯(John Penix)和威廉·维瑟(Willem Visser)(编辑)。 《计算机科学讲义》,第1885卷,由施普林格出版社出版,德国柏林,2000年。ISBN:3-540-41030-9,343页。价格:31.00英镑,62.00美元,德国90.00马克,软封面。
机译:基于粒子的循环和设备中血流多尺度建模方法:挑战和未来方向第六届国际生物流体力学专题讨论会和研讨会2008年3月28日至30日,加利福尼亚州帕萨迪纳
机译:基于低维结构的设备物理和计算机建模国际会议论文集
机译:统计建模:GLIM 89和1989年7月17日至21日在意大利特伦托举行的第四届国际统计建模研讨会
机译:基于低维物理学的系统性动脉模型的综述:在中央主动脉压力估计中的应用
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。
机译:国际IEEE基于实验的FET器件建模研讨会相关非线性电路设计,1997年7月17日至18日,德国卡塞尔