×

找到10个文档(结果1-10)

暗物质的光明面。 (英语) Zbl 0973.83549号

Burgess,C.P.(编辑)等人,《广义相对论和相对论天体物理学》。1999年6月10日至12日,加拿大蒙特利尔,第八届加拿大会议论文。纽约州梅尔维尔:AIP,美国物理研究所。AIP确认程序。493, 208-212 (1999).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

空间等效原理的测试。 (英语) Zbl 0962.83501号

Piran,Tsvi(编辑),第八届马塞尔·格罗斯曼会议,关于理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。2卷。新加坡:世界科学。1207-1212 (1999).
PDF格式BibTeX公司 XML格式引用

关于实验测试的会议。 (英语) Zbl 0962.83502号

Piran,Tsvi(编辑),第八届马塞尔·格罗斯曼会议,关于理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。2卷。新加坡:世界科学。1167-1170 (1999).
PDF格式BibTeX公司 XML格式引用

引力波源。 (英语) Zbl 0962.83013号

Piran,Tsvi(编辑),第八届马塞尔·格罗斯曼会议,关于理论和实验广义相对论、引力和相对论场理论的最新发展。1997年6月22日至27日在以色列耶路撒冷举行的会议记录。2卷。新加坡:世界科学。1078-1085 (1999).
PDF格式BibTeX公司 XML格式引用

概率多项式时间等价与安全性分析。 (英语) Zbl 0976.94029号

Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。注释计算。科学。1708; 1709, 776-793 (1999).
PDF格式BibTeX公司 XML格式引用

逻辑前关系。 (英语) Zbl 0942.03018号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 546-561 (1999).
MSC公司:03B40型 03B70号
PDF格式BibTeX公司 XML格式引用

线性有界机器的同步乘积。 (英语) Zbl 0947.03057号

乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1684362-373页(1999年)。
PDF格式BibTeX公司 XML格式引用

将过渡系统划分为结构化余代数。 (英语) Zbl 0944.18006号

乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1684,13-38(1999年)。
MSC公司:18立方厘米50 2010年第68季度 18D05日 16立方厘米
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型