×

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

物质的构成:对大多数日常物理现象进行数学建模。 (英语) 兹比尔0901.60073

伊利诺伊州芝加哥:芝加哥大学出版社。xxii,343页(1996年)。
审核人:W.斯图尔佩
PDF格式BibTeX公司 XML格式引用

数学逻辑导论。考虑逻辑编程的教科书。(逻辑数学中的Einführung。逻辑程序中的Ein Lehrbuch。) (德语) Zbl 0866.03001号

勒布奇·马塞马提克(Lehrbuch Mathematik)。威斯巴登:Vieweg。xii,250页(1996年)。
理学硕士:03-01 68N17号
PDF格式BibTeX公司 XML格式引用

数据包络分析中加性模型的敏感性分析。二、。 (英语) Zbl 0867.90003号

Hunjak,F.(ed.)等人,《第六届国际运筹学会议论文集》,1996年10月1日至3日,克罗地亚Rovinj,KOI'96。Rovinj:克罗地亚运筹学协会。17-22 (1996).
PDF格式BibTeX公司 XML格式引用

人类活动对对流层中羟基自由基分布的影响。 (英语) Zbl 0859.92033号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间建模和仿真。使用Turbo Pascal和CTMS/TP。包括1个磁盘。 (英语) Zbl 0925.65017号

教育中的计算:数学、科学和工程。新泽西州纽瓦克:戈登和布雷奇。xvii,483页(1996年)。
PDF格式BibTeX公司 XML格式引用

非线性积分微分方程的粘性解。 (英语) Zbl 0870.45002号

理学硕士:45K05型 45克10 91B16号 91B28型
PDF格式BibTeX公司 XML格式引用

可数布尔代数和可判定性。(Schetnye bulevy algebry i razreshimost’.) (俄语) Zbl 0902.03021号

Sibirskaya Shkola Algebry i Logiki公司。新西伯利亚:Nauchnaya Kniga。xii,第362页(1996年)。
PDF格式BibTeX公司 XML格式引用

方程式逻辑和三次曲线的自动推导。 (英语) 兹伯利0921.03011

计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;法语。48.00 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有缓冲保持成本的制造系统的最优控制。 (英语) Zbl 0854.90074号

Yin,George(编辑)等人,《制造系统控制和优化的最新进展》。柏林:Springer Verlag。勒克特。票据控制信息科学。214, 61-96 (1996).
PDF格式BibTeX公司 XML格式引用

可定义性和可计算性。Transl.公司。来自俄罗斯。 (英语) Zbl 0870.03019号

西伯利亚代数和逻辑学校。纽约州纽约市:咨询局。xiv,264页(1996年)。
理学硕士:03D60年 03-02 03-01 68-02 68-01
PDF格式BibTeX公司 XML格式引用

世界建模:概念和应用。第2版。 (英语) Zbl 0849.93005号

Kheir,Naim A.(编辑),《系统建模和计算机仿真》。纽约州纽约市:马塞尔·德克尔。选举人。电子工程。94, 657-695 (1996).
理学硕士:93年30日
PDF格式BibTeX公司 XML格式引用

流行病学中的随机和确定性模型。 (英语) Zbl 0843.92020号

Lakshmikantham,V.(编辑),世界非线性分析师大会’92。第一届世界大会会议记录,1992年8月19日至26日,美国佛罗里达州坦帕。4卷。柏林:de Gruyter。3211-3225 (1996).
理学硕士:92天30分 91D20型 60J20型
PDF格式BibTeX公司 XML格式引用

在崎岖的能源环境中实现全球最小化。 (英语) Zbl 0840.65055号

Pardalos,P.M.(编辑)等,非凸能量函数的全局最小化:分子构象和蛋白质折叠。论文选自1995年3月20日至21日举行的DIMACS研讨会。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。23, 1-13 (1996).
审核人:R.Lepp(塔林)
PDF格式BibTeX公司 XML格式引用

同步并行控制器的高级综合。 (英语) Zbl 1418.68133号

Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。1091, 93-112 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

硬件结构抽象。 (英语) Zbl 1407.68048号

Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:施普林格。勒克特。注释计算。科学。1074, 264-287 (1996).
理学硕士:2007年7月68日 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多态规范语言的语义处理。 (英语) Zbl 1355.68058号

Michael Hanus(编辑)等人,《代数和逻辑编程》。第五届国际会议,1996年9月25日至27日,德国亚琛,ALP’96。诉讼程序。柏林:施普林格出版社(ISBN 3-540-61735-3/pbk)。勒克特。注释计算。科学。1139, 330-344 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指定类型系统。 (英语) Zbl 1355.68057号

Michael Hanus(编辑)等人,《代数和逻辑编程》。第五届国际会议,1996年9月25日至27日,德国亚琛,ALP’96。诉讼程序。柏林:施普林格出版社(ISBN 3-540-61735-3/pbk)。勒克特。注释计算。科学。1139, 314-329 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不错的本地全球油田。二、。 (英语。俄文原件) Zbl 0968.12003号

代数逻辑卡 35,第5期,503-528(1996); 代数逻辑翻译35,第5期,281-295(1996)。
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML

不错的本地全球领域。一、。 (英语。俄文原件) Zbl 0968.12002号

代数逻辑卡 35,第4期,411-423(1996); 代数逻辑翻译35,第4期,229-235(1996)。
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML

基于自组织可加性方法算法的离散-连续系统的最优控制。 (俄语) Zbl 0951.93516号

理学硕士:93立方厘米 49甲15 93年30日
PDF格式BibTeX公司 XML格式引用

基于波与地球磁场相互作用的地球物理勘探方法。 (英语) Zbl 1071.86502号

理学硕士:86甲15 86A25个 86-08
PDF格式BibTeX公司 XML格式引用

投资组合优化问题。 (英语) Zbl 0910.90012号

May,Robert L.(编辑)等人,《计算技术与应用:CTAC 95》。1995年7月3日至5日,澳大利亚墨尔本斯温伯恩科技大学第七届两年期会议记录。新加坡:世界科学。795-802 (1996).
PDF格式BibTeX公司 XML格式引用

Kreisel从无效证明中提取的边界。 (英语) Zbl 0896.03005号

Odifreddi,Piergiorgio(编辑),《克里塞利亚纳:关于乔治·克里塞尔及其周围》。马萨诸塞州韦尔斯利:A K Peters。289-300 (1996).
PDF格式BibTeX公司 XML格式引用

模拟高粘度气体饱和岩浆火山喷发期间的非稳态过程。 (英语。俄文原件) Zbl 0943.86002号

莫斯克。机械大学。牛市。 51,第4期,30-35页(1996年); 维斯特翻译。莫斯科。州立大学。I 1996,第4期,91-98(1996)。
理学硕士:86A60型 86甲17
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行