Glaciology - Glacial deposits - Meetings;
机译:最后一个冰川最大南极冰盖的冰川学和地质特征
机译:旋转模型检查和软件验证: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马克,软封面。
机译:2019年9月11日举行的Eadpher Pre-adult讲习班关于牙科课程开发的比利时最佳实践的Het Pant Pant Pant Ped大会研讨会 - 这是2018年Eadphe Pre-Congress Orchopts的后续行动
机译:2015年基于服务的系统的正式建模和验证研讨会简介(FOR-MOVES)
机译:统计建模:GLIM 89和1989年7月17日至21日在意大利特伦托举行的第四届国际统计建模研讨会
机译:在HpV会前研讨会建模证据的程序
机译:会议记录“超出标准模型的内容”, 2000年,2001年,2002年,第2卷:会议录(第一部分)
机译:研讨会论文集:Radio Glaciology Ice sheet modeling