机译:荷马经济出版社(Joshua Hall)约书亚·霍尔(Joshua Hall)加利福尼亚州斯坦福:斯坦福大学出版社,2014年。xii + 241页。 $ 24.95(纸)。
机译:旋转模型检查和软件验证: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马克,软封面。
机译:斯坦福会议,会议前实地考察,8月25日,年度会议,8月26-28日,会议后实地考察,8月29日至9月1日
机译:合同季度报告DE-FG36-02ID14418斯坦福地热计划2004年9月
机译:威胁环境对西方军民关系模式的影响(2001年9月11日至2006年9月11日)。
机译:Covid-19康复后的斯坦福大厅共识声明
机译:为了纪念失去了2001年9月11日的生命的人,音乐总监和钢琴家RICE CHORALE THOMAS JABER,2003年9月11日盛大的爱丽丝·普拉特·布朗霍尔
机译:1965年9月8日至10日,加拿大斯坦福大学斯坦福大学斯坦福线性加速器中心国际磁铁技术研讨会的会议记录,