×

找到59个文档（结果1-59）

最新的 引文 关联
安德烈亚斯·贝克

矩阵求和方法和多重求和。（矩阵求和erfahren和Multisummierbarkeit。） （德语） Zbl 0848.40004号

乌尔姆：乌尔姆大学，传真。f.数学。u.Wirtschaftswiss大学。第94页（1995年）。
审核人：H.H.Körle（马尔堡）
MSC公司：40G99型 34A25型 40D25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Beck}，矩阵求和erfahren und Multisummierbarkeit。乌尔姆：大学乌尔姆，假。f.数学。u.瑞士信贷银行。（1995年；兹bl 0848.40004）
汉金，C。（编辑）;我·麦基。（编辑）;纳加拉扬，R。（编辑）

计算的理论和形式方法94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。 （英语） Zbl 0834.00050号

新加坡：帝国理工学院出版社（世界科学出版社发行）。第444页（1995年）。
MSC公司：00B25型 68-06 90-06年
PDF格式BibTeX公司 XML格式引用
\textit{C.Hankin}（编辑）等人，《计算的理论和形式方法》94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡：帝国理工学院出版社（世界科学出版社发行）（1995；Zbl 0834.00050）
德语，O.V。;奥菲塞罗夫，D.V。

解决问题：方法、编程和未来概念。 （英语） Zbl 0842.68076号

计算机科学和人工智能研究. 12. 阿姆斯特丹：爱思唯尔（北荷兰）。xi，422页（1995年）。
审核人：J.Šajda（布拉迪斯拉发）
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.V.德语}和\textit{D.V.Ofitserov}，问题解决：方法、编程和未来概念。阿姆斯特丹：爱思唯尔（北荷兰）（1995；Zbl 0842.68076）
费尔南多·库瓦·古瓦。

变形伽罗瓦表述：一项调查。 （英语） Zbl 0841.11027号

Murty，V.Kumar（编辑），费马最后定理研讨会。加拿大安大略省多伦多市菲尔兹数学科学研究所，1993-1994年。诉讼程序。普罗维登斯，RI：美国数学学会（加拿大数学学会出版）。CMS确认程序。17, 179-207 (1995).
审核人：A.Dabrowski（Szczecin）
MSC公司：11层80 11楼33 11层03 11兰特39 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{F.Q.Gouvía}，CMS Conf.Proc.（CMS会议程序）。17、179--207（1995年；Zbl 0841.11027）
吉尔基，P.B。;博特文尼克，B。

eta不变量、等变自旋bordism和正标量曲率度量。 （英语） Zbl 0837.58031号

Demuth，M.（编辑）等人，偏微分算子和数学物理。1994年7月3日至9日在德国霍尔绍举行的国际会议。巴塞尔：Birkhäuser Verlag。操作。理论、高级应用。78, 141-152 (1995).
审核人：V.Deundyak（罗斯托夫·纳多努）
MSC公司：58J22型 53立方厘米 55N22号 58J50型
PDF格式BibTeX公司 XML格式引用
\textit{P.B.Gilkey}和\textit{B.Botvinnik}，in：偏微分算子和数学物理。1994年7月3日至9日在德国霍尔绍举行的国际会议。巴塞尔：Birkhäuser Verlag。141--152（1995年；Zbl 0837.58031）
马克鲁夫·德里奇;大卫·S·塔塔科夫。

（mathbb{C}^2）中某些刚性弱拟凸超曲面上（超线部分）正则解的微局部解析性。 （英语） 兹比尔08333.5100

Commun公司。部分差异。方程 20，编号9-10，1647-1667（1995年）.
审核人：陈书兴（上海）
MSC公司：35N15型 第32周05 35A27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Derridj}和\textit{D.S.Tartakoff}，Commun。部分差异。方程式20，编号9--10，1647--1667（1995；Zbl 0833.35100）
全文： 内政部
米歇尔·罗达·里查德

线性亚纯微分系统的形式解和可和性。（解决方案为不同系统间的差异致病菌（linéaires méromorphes et sommation）。） （法语） Zbl 0831.34002号

博览会。数学。 13，编号2-3，116-162（1995）.
审核人：H.Haruki（滑铁卢/安大略省）
MSC公司：2004年5月 34A30型 34E05 40G99型
PDF格式BibTeX公司 XML格式引用
\textit{M.Loday-Richaud}，世博会。数学。13，编号2--3，116-162（1995；Zbl 0831.34002）
Michael G.欣奇。（编辑）;乔纳森·鲍文（Jonathan P.Bowen）。（编辑）

形式化方法的应用。 （英语） Zbl 0828.68013号

普伦蒂斯·霍尔计算机科学国际系列。伦敦：普伦蒂斯·霍尔。xvii，447页（1995年）。
MSC公司：2007年7月68日 00B15号机组 68米99 68N99型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Hinchey}（编辑）和\textit{J.P.Bowen}（主编），形式方法的应用。伦敦：普伦蒂斯·霍尔（1995；Zbl 0828.68013）
I.A.帕宁。

关于广义纤维束及其某些扭曲形式的（K）理论。 （英语） Zbl 0824.19001号

Bokut’，L.A.（编辑）等，第三西伯利亚代数与分析学校。1989年8月30日至9月4日，俄罗斯伊尔库茨克伊尔库茨克国立大学第三所西伯利亚学校学报。普罗维登斯，RI：美国数学学会。翻译。，序列号。2，美国数学。《社会》第163、143-154页（1995年）。
审核人：P.Cherenack（Rondebosch）
MSC公司：19日第10天 19E08年 14C35号 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Panin}，翻译。，序列号。2，美国数学。Soc.163、143--154（1995；Zbl 0824.19001）
埃里克·巴杜埃尔;菲利普·达伦多

由精神分裂症对象引起的网络和自动机之间的二重性。 （英语） Zbl 1502.68190号

大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 24-43 (1995).
MSC公司：68问题85 18A40型 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}和\textit{P.Darondeau}，莱克特。注释计算。科学。953、24-43（1995年；Zbl 1502.68190）
全文： 内政部 链接
阿尼亚·格罗纽尔德;汉斯，弗莱舍克

通过约简计算Petri网语言。 （英语） Zbl 1508.68243号

Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 253-262 (1995).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gronewold}和\textit{H.Fleischhack}，莱克特。注释计算。科学。965、253--262（1995年；Zbl 1508.68243）
全文： 内政部
埃里克·巴杜埃尔;卢卡·伯纳迪内洛;菲利普·达伦多

有界网综合的多项式算法。 （英语） Zbl 1496.68212号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 364-378 (1995).
MSC公司：68问题85 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Badouel}等人，Lect。注释计算。科学。915364-378（1995年；Zbl 1496.68212）
全文： 内政部
安妮·贝杰伦

符号计时设备。 （英语） 兹比尔1496.68215

Alagar，V.S.（编辑）等人，代数方法论和软件技术。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 504-517 (1995).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bergeron}，莱克特。注释计算。科学。936504-517（1995年；Zbl 1496.68215）
全文： 内政部
亨宁·雷内克

可识别跟踪语言的子类。 （英语） Zbl 1496.68179号

De Michelis，Giorgio（编辑）等人，Petri网的应用和理论，1995年。第十六届国际会议，1995年6月26日至30日，意大利都灵。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。935, 357-373 (1995).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Reineke}，莱克特。注释计算。科学。935357-373（1995年；Zbl 1496.68179）
全文： 内政部
巴拉吉，V。;维什瓦纳，P.A。

关于向量丛模空间的变形理论。 （英语） Zbl 0844.14006号

Hitchin，N.J.（编辑）等人，代数几何中的向量丛。1993年达勒姆研讨会论文集，英国达勒姆。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。208, 1-14 (1995).
审核人：W.Kle惰性（柏林）
MSC公司：14D20日 14小时60分 14层05 14日第15天 14K30型
PDF格式BibTeX公司 XML格式引用
\textit{V.Balaji}和\textit{P.A.Vishwanath}，伦敦。数学。Soc.Lect（社会学）。注释序列。208，1-14（1995年；兹bl 0844.14006）
托马斯·亨辛格（Thomas A.Henzinger）。;彼得·科普克（Peter W.Kopke）。;Howard Wong-Toi，霍华德

时钟的表现力。 （英语） Zbl 1412.68131号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。944、417-428（1995年；兹bl 1412.68131）
全文： 内政部
费利佩·布拉乔;曼弗雷德·德罗斯特;迪特里赫·库斯克

并发自动机计算的依赖顺序。 （英语） Zbl 1379.68246号

Mayr，Ernst W.（编辑）等人，STACS 95。1995年3月2日至4日，德国慕尼黑，第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-59042-0）。计算机科学讲义900，467-478（1995）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bracho}等人，Lect。注释计算。科学。900、467--478（1995年；Zbl 1379.68246）
全文： 内政部
沃尔克·迪克特;安卡·穆斯科尔;克劳斯·莱因哈特

关于痕迹编码。 （英语） Zbl 1379.68243号

Mayr，Ernst W.（编辑）等人，STACS 95。1995年3月2日至4日，德国慕尼黑，第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-59042-0）。计算机科学讲义900，385-396（1995）。
MSC公司：70年第68季度 20立方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}等人，Lect。注释计算。科学。900、385--396（1995年；Zbl 1379.68243）
全文： 内政部
彼得·鲍曼;卡尔·勒默

Z中反应式和并发系统规范的框架。 （英语） Zbl 1354.68166号

Thiagarajan，P.S.（编辑），《软件技术和理论计算机科学基础》。第十五届会议，印度班加罗尔，1995年12月18日至20日。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60692-0）。莱克特。注释计算。科学。1026, 62-79 (1995).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumann}和\textit{K.Lermer}，莱克特。注释计算。科学。1026、62--79（1995年；Zbl 1354.68166）
全文： 内政部
彼得·尼伯特

序列代理系统的具有局部视图的演算。 （英语） Zbl 1193.68166号

Wiedermann，Jiří（编辑）等人，《计算机科学数学基础》，1995年。1995年8月28日至9月1日，第20届国际研讨会，MFCS’95，捷克共和国布拉格。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60246-1）。莱克特。注释计算。科学。969, 563-573 (1995).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.尼伯特}，莱克特。注释计算。科学。969563-573（1995年；Zbl 1193.68166）
全文： 内政部
罗伯特·安德森。;伊布拉基莫夫，奈尔·H。

Lie-Bäcklund群的不变量问题。 （英语） Zbl 0910.35004号

Bertrand，J.（编辑）等人，《物理学中的现代群论方法》。盖·里多退休纪念会议记录，法国巴黎，1995年1月。多德雷赫特：Kluwer学术出版社。数学。物理学。螺柱18，1-14（1995）。
审核人：F.M.Ragab（开罗）
MSC公司：35A25型 58J72型 58D19号 58J70型
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Anderson}和\textit{N.H.Ibragimov}，数学。物理学。螺柱18，1-14（1995；Zbl 0910.35004）
卡斯特拉尼，L。

量子群的场论。 （英语） Zbl 0877.17016号

Lukierski，Jerzy（编辑）等人，《量子群：形式主义和应用》。《XXX卡尔帕茨冬季理论物理学校学报》，波兰卡尔帕茨，1994年2月14日至26日。Warszawa:PWN波兰科学出版社。13-29（1995年）。
MSC公司：17B81号 81R50美元 46升85 46升87 81T40型 81T13型
PDF格式BibTeX公司 XML格式引用
\textit{L.Castellani}，in：量子群：形式主义和应用。《XXX卡尔帕茨冬季理论物理学校学报》，波兰卡尔帕茨，1994年2月14-26日。华沙：PWN-Polish Scientific Publishers。13-29（1995年；Zbl 0877.17016）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

软件