×

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

因子分析在自然科学中的应用。Leslie F.Marcus的附录。 (英语) Zbl 0868.62051号

剑桥:剑桥大学出版社。xii,371页(1996年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用Mathematica检验了双中心问题。(Zweizentrenp问题mit Mathematica betrachet.) (德语) Zbl 0941.70003号

Höhler,G.(编辑)等人,11。Computer-Workshopüber Computereinsatz in der Lehre,Halle,Deutschland,30岁。9月-2日。1996年10月。卡尔斯鲁厄:Fachinformationszentrum Karlsruhe,计算机。西奥。普拉克。物理学。7, 38-54 (1996).
PDF格式BibTeX公司 XML格式引用

用Maple进行Clifford代数计算。 (英语) Zbl 0861.15043号

Baylis,William E.(编辑),Clifford(几何)代数及其在物理、数学和工程中的应用。1995年7月30日至8月12日在加拿大班夫举行的理论物理暑期学校会议录。马萨诸塞州波士顿:Birkhäuser。463-501 (1996).
MSC公司:15A66型 68瓦30 15A63型 65楼30
PDF格式BibTeX公司 XML格式引用

几何代数:工程应用。 (英语) Zbl 0861.15040号

Baylis,William E.(编辑),Clifford(几何)代数及其在物理、数学和工程中的应用。1995年7月30日至8月12日在加拿大班夫举行的理论物理暑期学校会议录。马萨诸塞州波士顿:Birkhäuser。423-440 (1996).
PDF格式BibTeX公司 XML格式引用

低功耗时序逻辑电路的计算机辅助设计技术。 (英语) Zbl 0867.68110号

Kluwer国际工程与计算机科学系列.387。多德雷赫特:Kluwer学术出版社。xiii,181 p.英国国防部。165.00; $ 88.00;62.50英镑(1996年)。
MSC公司:68单位07 68-02 94立方厘米10 68M99型
PDF格式BibTeX公司 XML格式引用

满足性GRASP。 (英语) Zbl 0864.90092号

Johnson,David S.(编辑)等人,《派系、着色和可满足性》。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。26, 499-520 (1996).
MSC公司:90C09型 68页第10页 90C27型 68卢比 68吨99 94立方厘米10 94C12年
PDF格式BibTeX公司 XML格式引用

使用量词消去法解决稳定性问题。 (英语) Zbl 0854.65074号

Jeltsch,R.(编辑)等人,稳定性理论。1995年5月21日至26日在瑞士阿斯科纳举行的赫尔维茨百年纪念大会。巴塞尔:Birkhä用户。ISNM,国际期刊。数字。数学。121, 205-210 (1996).
PDF格式BibTeX公司 XML格式引用

现场可编程逻辑:智能应用程序、新范式和编译器。1996年9月23日至25日,德国达姆施塔特,1996年FPL第六届国际研讨会。诉讼程序。 (英语) Zbl 1155.68303号

计算机科学课堂讲稿1142.柏林:施普林格(ISBN 3-540-61730-2)。x、 第432页。(1996).
MSC公司:68-06 94-06 00B25型 68N20型 94立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

C.Transl的数值算法。来自德国的玛丽亚·肖恩(Maria Schon a。Frank Uhlig)。包括1张CD-ROM。 (英语) Zbl 0857.65003号

柏林:斯普林格。xxii,596页(1996年)。
PDF格式BibTeX公司 XML格式引用

线性常微分方程形式幂级数解的多重求和算法应用于斯托克斯现象。 (英语) 兹比尔0857.34015

Braaksma,B.L.J.(编辑)等人,《斯托克斯现象和希尔伯特的第16个问题》。研讨会论文集,荷兰格罗宁根,1995年5月31日至6月3日。新加坡:世界科学。197-213年(1996年)。
PDF格式BibTeX公司 XML格式引用

复合共轭-相对于什么? (英语) Zbl 0856.15029号

Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。285-294 (1996).
MSC公司:15A66型 15-04 68瓦30
PDF格式BibTeX公司 XML格式引用

Clifford代数在结晶学中的应用({mathcal Mathematica})。 (英语) Zbl 0862.15021号

Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。251-266 (1996).
MSC公司:15A66型 82D25个 15-04 15A90型 68瓦30
PDF格式BibTeX公司 XML格式引用

关于具有反对称部分的双线性形式的Clifford代数。 (英语) Zbl 0856.15028号

Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。167-188 (1996).
PDF格式BibTeX公司 XML格式引用

时空的生成过程和强相互作用的方向量子数。 (英语) 兹比尔0858.15018

Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。83-100(1996年)。
PDF格式BibTeX公司 XML格式引用

在数学物理教学中使用计算机代数和克利福德代数。 (英语) Zbl 0853.15024号

Abłamowicz,Rafa \322;(编辑)等,具有数字和符号计算的Clifford代数。马萨诸塞州波士顿:Birkhäuser。33-55 (1996).
MSC公司:15A66型 15-04 68瓦30
PDF格式BibTeX公司 XML格式引用

高阶代数、逻辑和术语重写。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。 (英语) Zbl 0851.00044号

计算机科学课堂讲稿1074.柏林:施普林格出版社(ISBN 3-540-61254-8/pbk)。第287页。(1996).
MSC公司:00B25型 03-06 68-06
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

OR-AND-OR三级网络。 (英语) Zbl 0847.94021号

Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。293-310 (1996).
MSC公司:94立方厘米10 68宽10
PDF格式BibTeX公司 XML格式引用

使用多终端EXOR TDD精确最小化FPRM。 (英语) Zbl 0847.94019号

Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。191-210 (1996).
MSC公司:94立方厘米10 68宽10
PDF格式BibTeX公司 XML格式引用

离散函数的基于图形的表示。 (英语) Zbl 0847.94018号

Sasao,Tsutomu(编辑)等,离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。马萨诸塞州波士顿:Kluwer学术出版社。1-28 (1996).
MSC公司:94立方厘米10 94-02 68兰特 03B35型 68瓦35 94C15号机组
PDF格式BibTeX公司 XML格式引用

理论物理中的数学。从经典力学到分形的精选例子。(包括磁盘)。翻译。以及德国原版的更新版本。1993 (英语) Zbl 0856.65134号

纽约,纽约:TELOS,施普林格出版社,第348页(1996年)。
PDF格式BibTeX公司 XML格式引用

从泛代数的角度来看具有不确定性的代数规范。(代数Spezifikationen mit Nichdeterminismus aus der Sicht der universellen代数) (德语) 兹比尔0865.08003

Berichte aus der Informatik公司亚琛:震撼的维拉格。vii,217 S.(慕尼黑大学,1995年)(1996年)。
PDF格式BibTeX公司 XML格式引用

属2曲线的中庸算法的序言。 (英语) Zbl 0857.14018号

伦敦数学学会讲座笔记系列. 230. 剑桥:剑桥大学出版社。xiv,218页(1996年)。
PDF格式BibTeX公司 XML格式引用

逻辑和离散数学。计算机科学的观点。 (英语) Zbl 0848.68003号

新泽西州上马鞍河:普伦蒂斯·霍尔。十八、750页(1996年)。
MSC公司:68-01 68卢比
PDF格式BibTeX公司 XML格式引用

PSR方法:集成硬件和软件模型。 (英语) Zbl 1418.68007号

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

精益校对的两级方法。 (英语) Zbl 1407.68431号

Berardi,Stefano(编辑)等人,《证明和程序的类型》。1995年6月5日至8日,意大利都灵,国际研讨会TYPES’95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1158, 16-35 (1996).
MSC公司:第68页第15页 03B35型 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有超限类型的高阶代数。 (英语) 兹比尔1407.68093

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

\(R^n)和(G^n)逻辑。 (英语) Zbl 1434.03083号

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

基于组的图转换和图的层次表示。 (英语) Zbl 1412.68104号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 502-520 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种识别有界树宽图的技术,并应用于部分2-路的子类。 (英语) Zbl 1412.68161号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 469-486 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用树转换器来计算图代数之间的平移。 (英语) Zbl 1412.68126号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 196-210 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图变换的部分代数方法。 (英语) Zbl 1412.68095号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 1-15 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号