机译:SSH 2016:第四届电子卫生服务科学国际研讨会与第18届IEEE电子卫生网络,应用和服务国际会议同期举办(HEALTHCOM 2016)
机译:旋转模型检查和软件验证: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马克,软封面。
机译:第六届国际k_0用户研讨会论文集
机译:2000年第6届IEEE国际植物神经网络国际研讨会及其应用程序
机译:统计建模:GLIM 89和1989年7月17日至21日在意大利特伦托举行的第四届国际统计建模研讨会
机译:第六届国际ANCA研讨会论文集:1995年6月28日至7月1日法国巴黎
机译:EARSeL森林火灾特别兴趣小组第六次国际研讨会论文集,遥感和GIS在森林火灾管理中的应用进展,以及在森林火灾管理中的遥感应用
机译:2000年第6届IEEE国际细胞神经网络及其应用研讨会论文集(CNNa 2000)