×

找到1078份文件(结果1-100)

广义相对论。广义相对论导论。第三修订版。(《引力与相对论》(Allgemeine Relativititätstheorie)中的艾因·埃因夫鲁(Eine Einführung) (德语) Zbl 07762571号

德格鲁伊特工作室柏林:De Gruyter/Oldenbourg(ISBN 978-3-11-120033-0/pbk;978-3-111-20240-2/电子书)。十六、263页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

轻型扳手的统一框架。 (英语) Zbl 07844591号

Saha,Barna(编辑)等人,第55届ACM SIGACT计算理论研讨会论文集,STOC’23,美国佛罗里达州奥兰多,2023年6月20日至23日。纽约州纽约市:计算机协会(ACM)。295-308 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

在凯恩近似下,半导体中极化辐射的带间多光子吸收及其线性圆二色性。 (英语。俄文原件) Zbl 1521.81507号

俄罗斯物理。J。 65,第10期,1746-1754(2023); Izv的翻译。维什。乌切布。扎韦德。,菲兹。65,第10期,127-134(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平衡辐射传播速度的温度依赖性。 (英语。俄文原件) Zbl 1515.83432号

俄罗斯物理。J。 64,第10期,1797-1807(2022); Izv的翻译。维什。乌切布。扎韦德。,菲兹。64,第10期,第16-25页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

KeY中浮点Java程序的演绎验证。 (英语) Zbl 1474.68186号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 242-261 (2021).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件