×

找到3591个文档(结果1-100)

结构完备性和超直觉的查询逻辑。 (英语) Zbl 07810565号

Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 194-210 (2023).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复合体家族的确定着色。 (英语。俄文原件) Zbl 07794021号

数学杂志。科学。,纽约 275,第4号,403-501(2023); 翻译自Fundam。普里克尔。材料24,编号2,37-180(2022)。
PDF格式BibTeX公司 XML格式引用

一致椭圆复形序列上的半群路。 (英语。俄文原件) Zbl 07786657号

功能。分析。申请。 57,第2期,117-142(2023); 来自Funkts的翻译。分析。普里洛日。57,第2期,第41-74页(2023年)。
MSC公司:52C23型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将水合物中的甲烷注入饱和水合物、甲烷和水混合物的储层时,用二氧化碳替换水合物中甲烷的数学模型。 (英语。俄文原件) Zbl 07781675号

程序。Steklov Inst.数学。 322, 224-231 (2023); 翻译自Tr.Mat.Inst.Steklova 322,233-240(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于欧氏空间中两个具有规定边长的仿射等价框架的存在性。 (英语。俄文原件) 兹比尔07780150

同胞。数学。J。 64,第6期,1273-1278(2023); 来自Sib的翻译。材料Zh。64,第6期,1131-1137(2023)。
PDF格式BibTeX公司 XML格式引用

变分贝叶斯系统发育参数推断中的先验密度学习。 (英语) Zbl 07777118号

Jahn,Katharina(编辑)等人,《比较基因组学》。第20届国际会议,RECOMB-CG 2023,土耳其伊斯坦布尔,2023年4月14-15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13883, 112-130 (2023).
PDF格式BibTeX公司 XML格式引用

具有投入替代的生产网络中的一般均衡模型。 (英语) Zbl 1525.91116号

Michael Khachay(编辑)等人,《数学优化理论与运筹学》。2023年7月2日至8日在俄罗斯叶卡捷琳堡举行的第22届MOTOR 2023国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13930, 3-22 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异质外延薄膜生长过程中弹性应力松弛的一种新方法。 (英语。俄文原件) Zbl 1526.74047号

机械。固体 58,第3期,716-726(2023); Izv的翻译。罗斯。阿卡德。瑙克,梅克。特维德。特拉2023年,第3期,58-72(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

变量绑定和替代(无名)虚拟对象。 (英语) Zbl 07793039号

Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 389-408 (2022).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

否认。 (英语) Zbl 1518.94040号

葛春鹏(编辑)等,《可证明和实用安全》。第十六届国际会议,ProvSec 2022,中国南京,2022年11月11-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13600, 52-59 (2022).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

未来:使用最优扩散矩阵的轻量级分组密码。 (英语) Zbl 1515.94072号

Batina,Lejla(编辑)等人,《密码学进展——非洲密码2022》。第十三届非洲密码学国际会议,2022年7月18日至20日,摩洛哥费斯,AFRICACRYPT 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13503, 28-52 (2022).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

命题逻辑理论和替代的逆。 (英语。俄文原件) Zbl 07644546号

俄罗斯数学。 66,第5号,26-32(2022); Izv的翻译。维什。乌切布。扎韦德。,材料2022,编号5,33-41(2022)。
MSC公司:03Bxx号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算Dixon结果的插值算法。 (英语) Zbl 1508.13027号

Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 185-205 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件