×

找到105个文档（结果1-100）

最新的 引文 关联
Manolios，Panagiotis公司;理查德·特雷弗勒

安全性和活性的格理论表征。 （英文） Zbl 1321.68360号

第22届ACM分布式计算原理年度研讨会论文集，PODC'03，美国马萨诸塞州波士顿，2003年7月13-16日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-708-708-7）。325-333 (2003).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Manolios}和\textit{R.Trefler}，摘自：第22届ACM分布式计算原理研讨会论文集，PODC’03，美国马萨诸塞州波士顿，2003年7月13-16日。纽约州纽约市：计算机协会（ACM）。325--333（2003年；Zbl 1321.68360）
全文： 内政部
斯特凡·索科·奥斯基

po-manifolds的一个例子——追求良好的并发拓扑模型。 （英文） Zbl 1270.68225号

Patrick Cousot（编辑）等人，《并发和分布式系统理论中的几何和拓扑》（DISC’02卫星研讨会）。第四次研讨会论文（GETCO'02），法国图卢兹，2002年10月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》81，15-35（2003）。
MSC公司：68问题85 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sokołowski}，电子。注释Theor。计算。科学。81、15--35（2003年；Zbl 1270.68225）
全文： 链接
乌尔里奇·法伦伯格

定时PV程序的几何结构。 （英文） Zbl 1270.68083号

Patrick Cousot（编辑）等人，《并发和分布式系统理论中的几何和拓扑》（DISC’02卫星研讨会）。第四次研讨会论文（GETCO'02），法国图卢兹，2002年10月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记81，1-14（2003）。
MSC公司：68号30 65年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}，电子。注释Theor。计算。科学。81、1-14（2003年；Zbl 1270.68083）
全文： 链接
C.Bui Thanh;Klaudel，H。;F.波默罗。

用于系统验证的具有因果时间的Petri网。 （英文） Zbl 1270.68179号

沃尔特·福格勒（编辑）等人，MTCS’02。第三届时间关键系统模型国际研讨会（2002年CONCUR卫星研讨会）论文集，2002年8月24日，捷克共和国布尔诺。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第5期，85-100（2003）。
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Thanh}等人，《电子》。注释Theor。计算。科学。68，第5号，85--100（2003；Zbl 1270.68179）
全文： 链接
格德·贝尔曼;Larsen，Kim G。;拉德克·佩拉内克

储存或不储存。 （英文） Zbl 1278.68155号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 433-445 (2003).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。27256433-445（2003年；兹bl 1278.68155）
全文： 内政部
Zdeněk萨瓦

非平面系统的等价性检查是EXPTIME-hard。 （英文） Zbl 1274.68134号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 237-250 (2003).
MSC公司：2017年第68季度 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛Z.Sawa｝，Lect。注释计算。科学。2761237--250（2003年；Zbl 1274.68134）
全文： 内政部
尤金·斯塔克。;兰斯·克莱维兰;斯科特·斯莫尔卡。

用于概率I/O自动机的过程代数语言。 （英文） Zbl 1274.68255号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 193-207 (2003).
MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.W.Stark}等人，Lect。注释计算。科学。2761193-207（2003年；Zbl 1274.68255）
全文： 内政部
卢卡·德·阿尔法罗;马可·费拉;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;马里耶·斯托林加

计时游戏中的惊喜元素。 （英文） Zbl 1262.68141号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 144-158 (2003).
MSC公司：68问题85 65年第68季度 60年第68季度 91A05型 91A80
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}等人，Lect。注释计算。科学。2761144-158（2003年；Zbl 1262.68141）
全文： 内政部
tefénescu，阿林;哈维尔·埃斯帕尔扎;安卡·穆斯科尔

使用异步自动机合成分布式算法。 （英文） Zbl 1274.68680号

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 27-41 (2003).
MSC公司：68宽15 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.ötefénescu}等人，Lect。注释计算。科学。2761,27-41（2003年；Zbl 1274.68680）
全文： 内政部
陈静;林惠民

使定时自动机通信。 （英文） Zbl 1274.68226号

Aichernig，Bernhard K.（编辑）等人，《十字路口的形式方法》。从Panacea到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修改后的文件。柏林：施普林格出版社（ISBN 3-540-20527-6/pbk）。莱克特。注释计算。科学。2757, 337-351 (2003).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}和\textit{H.Lin}，Lect。注释计算。科学。2757337--351（2003年；Zbl 1274.68226）
全文： 内政部
ter Beek，Maurice H。;埃兹贝特·苏哈伊·瓦尔朱;维克托·米特拉纳

下推自动机小组。 （英文） 兹比尔1254.68139

Broy，Manfred（编辑）等人，《系统信息学的观点》。2003年7月9日至12日，俄罗斯新西伯利亚，阿卡德姆戈罗多克，第五届安德烈·埃尔肖夫国际纪念大会，PSI 2003。修改后的文件。柏林：施普林格出版社（ISBN 3-540-20813-5/pbk）。计算机科学课堂讲稿2890329-337（2003）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。2890、329--337（2003年；Zbl 1254.68139）
全文： 内政部
艾哈迈德·布瓦贾尼;泰瑟·图利

过程重写系统的可达性分析。 （英文） 兹比尔1205.68183

Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。注释计算。科学。2914, 74-87 (2003).
MSC公司：2012年第68季度 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}和\textit{T.Touili}，莱克特。注释计算。科学。2914、74-87（2003年；Zbl 1205.68183）
全文： 内政部
伊琳娜·洛马佐娃（Irina A.Lomazova）。

用于建模分布式系统的交互自动机。 （英文） Zbl 1147.68598号

Peter M.A.Sloot（编辑）等人，《计算科学–ICCS 2003》。国际会议，澳大利亚墨尔本和俄罗斯圣彼得堡，2003年6月2-4日。诉讼，第二部分。柏林：施普林格出版社（ISBN 3-540-40195-4/pbk）。计算机科学课堂讲稿2658851-860（2003）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Lomazova}，莱克特。注释计算。科学。2658、851--860（2003年；Zbl 1147.68598）
全文： 内政部
米歇尔·博雷尔;法比奥·加杜奇

共导形式的表示测试语义。 （英文） Zbl 1124.68383号

Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 279-289 (2003).
MSC公司：68问题55 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Boreale}和\textit{F.Gadducci}，莱克特。注释计算。科学。2747279--289（2003年；Zbl 1124.68383）
全文： 内政部
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

通勤V形图。关于精化与测试的关系。 （英文） Zbl 1116.68392号

Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，EACSL第12届年会，KGC 2003第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。莱克特。注释计算。科学。2803, 15-28 (2003).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}，莱克特。注释计算。科学。2803、15--28（2003年；Zbl 1116.68392）
全文： 内政部
玛尔塔Sagastume;加布里埃尔·鲍姆
[吉列尔莫·马丁内斯]

问题、语言和算法。与吉列尔莫·马丁内斯合作。第2版。（Problemas，lenguajes y algoritmos.Con la colaboración de Guillermo Martínez） （西班牙语） Zbl 1109.68498号

科尔ção CLE公司37.坎皮纳斯：坎皮纳斯教育大学、洛基卡中心、科西尼亚历史科学院。第279页。(2003).
MSC公司：2005年第68季度 65年第68季度 68-01 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Sagastume}和\textit{G.Baum}，问题，长度算法。Con la colaboración de Guillermo Martínez（西班牙语）。第二版，坎皮纳斯：坎皮纳斯大学，洛基卡中心，科学与历史（2003；Zbl 1109.68498）
罗伯特·戈德布拉特

多项式余代数的等式逻辑。 （英文） Zbl 1083.03056号

Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。149-184（2003年）。
MSC公司：03G30型 68问题85 第68季度第65季度 18 C50 03B45号 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Goldblatt}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版。149——184（2003年；Zbl 1083.03056）
Kryvyi，S.L。;马特维耶娃，L.Ye。

系统属性分析的形式化方法。 （英语。俄文原件） 1099.68658兹比尔

赛博。系统。分析。 39，第2期，174-191（2003）; 翻译自Kibern。修女。分析。39，第2期，15-36页（2003年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kryvyi}和\textit{L.Ye.Matveyeva}，Cybern。系统。分析。39，第2号，174--191（2003；Zbl 1099.68658）；翻译自Kibern。修女。分析。39，第2期，第15--36期（2003年）
全文： 内政部
沃尔夫拉姆·科普夫

幂级数、Bieberbach猜想、de Branges函数和Weinstein函数。 （英文） Zbl 1072.68678号

Sendra，J.Rafael（编辑），ISSAC 2003。2003年符号和代数计算国际研讨会论文集，美国宾夕法尼亚州费城，2003年8月3日至6日。纽约州纽约市：ACM出版社（ISBN 1-58113-641-2/pbk）。169-175 (2003).
MSC公司：68瓦30 30B10号机组 30 C50 40立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{W.Koepf}，in：2003年符号和代数计算国际研讨会论文集，ISSAC 2003，费城，宾夕法尼亚州，美国，2003年8月3-6日。纽约州纽约市：ACM出版社。169-175（2003年；Zbl 1072.68678）
托尔·克里斯托弗森;安德斯·莫恩;汉森、哈尔斯坦·阿谢姆

从Petri网中提取高级信息：一个铁路案例。 （英文） Zbl 1091.68552号

程序。美国东部时间。阿卡德。科学。，物理学。数学。 52，第4期，378-393（2003）.
MSC公司：68问题85 68平方英寸
PDF格式BibTeX公司 XML格式引用
\textit{T.Kristoffersen}等人，Proc。美国东部时间。阿卡德。科学。，物理学。数学。52，第4号，378--393（2003；Zbl 1091.68552）
西奥多·科洛科尔尼科夫;Michael J.沃德。

Gierer-Meinhardt模型的简化波格林函数及其对尖峰动力学的影响。 （英文） Zbl 1063.35024号

Eur.J.应用。数学。 14，第5期，513-545（2003）.
审核人：嘉奇莫（芜湖）
MSC公司：35B25型 35K57型 35千50 92C20美元 65M60毫米 35B40码
PDF格式BibTeX公司 XML格式引用
\textit{T.Kolokolnikov}和\textit{M.J.Ward}，Eur.J.Appl。数学。第51413-545号（2003年；兹bl 1063.35024）
全文： 内政部
斯蒂芬·马吉尔;布拉德利·斯卡格斯;毛里西奥，爸爸;约翰·黑尔

可编程安全的实施和验证。 （英文） Zbl 1090.68545号

Gudes，Ehud（编辑）等人，《数据和应用程序安全研究方向》。IFIP TC11/WG11.3第十六届数据和应用程序安全年会，2002年7月28日至31日，英国剑桥。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-7541-3/hbk）。IFIP，国际信息处理联合会128，285-299（2003）。
MSC公司：第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Magill}等人，IFIP，国际联邦信息处理。128285--299（2003年；Zbl 1090.68545）
爱丽丝·菲亚洛夫斯基;马丁·施利钦梅尔

Krichever-Novikov型Witt代数的整体形变。 （英文） Zbl 1052.17011号

Commun公司。康斯坦普。数学。 第5期，第6期，921-945（2003）.
审核人：Pasha Zusmanovich（阿姆斯特丹）
MSC公司：17B66型 14日第15天 14H52型 14H55型 17B55号 17B68号
PDF格式BibTeX公司 XML格式引用
\textit{A.Fialowski}和\textit{M.Schlichenmaier}，Commun。康斯坦普。数学。5，第6号，921--945（2003；Zbl 1052.17011）
全文： 内政部 arXiv公司
何塞·路易斯·马丁斯。

关于微分方程形式解的表示。（解的表达式构成了差分方程。） （法语） Zbl 1058.35056号

Fauvet，F.（编辑）等人，《从组合学到动力学系统》。2002年3月22日至23日，法国马赛，Jean Thomann，Journées de calcul formel en l'honneur de Jean Thom ann。柏林：de Gruyter（ISBN 3-11-017875-3/pbk）。IRMA法律。数学。西奥。物理学。3, 63-86 (2003).
审核人：约瑟夫·迪布利克（布尔诺）
MSC公司：35立方厘米 34米25 34立方米 32C38号 35A20型
PDF格式BibTeX公司 XML格式引用
\textit{J.L.R.F.Martins}，IRMA Lect。数学。西奥。物理学。3、63-86（2003年；Zbl 1058.35056）
奥利维·芬克尔

关于无穷有理关系和Borel集。 （英文） Zbl 1040.03033号

Calude，Cristian S.（编辑）等人，《离散数学与理论计算机科学》。第四届国际会议，2003年DMTCS，2003年7月7日至12日，法国第戎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40505-4/pbk）。莱克特。注释计算。科学。2731155-167（2003年）。
MSC公司：05年3月 03E15年 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Finkel}，莱克特。注释计算。科学。2731155--167（2003年；Zbl 1040.03033）
全文： 链接
马里耶·斯托林加;Vaandrager，Frits公司

概率自动机的测试场景。 （英文） 兹比尔1039.68071

Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 464-477 (2003).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Stoelinga}和\textit{F.Vaandrager}，莱克特。注释计算。科学。2714964-477（2003年；Zbl 1039.68071）
全文： 链接
伊利·纳伊姆（编辑）;乌韦·内斯特曼（编辑）;佩迪塔·史蒂文斯（编辑）

开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。 （英文） Zbl 1029.00058号

计算机科学课堂讲稿. 2884. 柏林：斯普林格。x、 第293页（2003年）。
MSC公司：00B25型 68-06 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{E.Najm}（ed.）等人，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（2003；Zbl 1029.00058）
全文： 内政部 链接
董金松（编辑）;吉姆·伍德科克（编辑）

正式方法和软件工程。第五届正式工程方法国际会议，ICFEM 2003，新加坡，2003年11月5-7日。诉讼程序。 （英文） Zbl 1029.00050

计算机科学课堂讲稿. 2885. 柏林：斯普林格。xi，683页（2003）。
MSC公司：00B25型 68-06 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{J.S.Dong}（编辑）和\textit{J.Woodcock}（编），形式方法和软件工程。第五届形式工程方法国际会议，2003年11月5-7日，新加坡。诉讼程序。柏林：施普林格出版社（2003；Zbl 1029.00050）
全文： 内政部 链接
科林·斯特林

共刺激和语言对等。 （英文） Zbl 1036.68068号

de Queiroz，Ruy J.G.B.（编辑），《并发和同步逻辑》。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1270-5/hbk）。趋势日志。螺柱日志。伦敦银行同业拆借利率。18, 269-284 (2003).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Stirling}，趋势日志。螺柱日志。伦敦银行同业拆借利率。18、269--284（2003年；Zbl 1036.68068）
戴维·戴哈贝

符号模型检查教程简介。 （英文） 兹比尔1036.68066

de Queiroz，Ruy J.G.B.（编辑），《并发和同步逻辑》。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1270-5/hbk）。趋势日志。螺柱日志。伦敦银行同业拆借利率。18, 215-237 (2003).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Déharbe}，趋势日志。螺柱日志。伦敦银行同业拆借利率。18、215--237（2003年；Zbl 1036.68066）
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。（编辑）;汤姆·迈鲍姆（编辑）

十字路口的形式方法。从万灵药到基础支持。联合国大学/理工学院十周年学术讨论会，联合国大学国际软件技术研究所，葡萄牙里斯本，2002年3月18日至20日。修订论文。 （英文） Zbl 1028.00041号

计算机科学课堂讲稿. 2757. 柏林：斯普林格。xiv，453页（2003年）。
MSC公司：00B30型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}（编辑）和\textit{T.Maibaum}（编者），十字路口的形式化方法。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/信息技术研究所国际软件技术研究所十周年座谈会。修改后的文件。柏林：施普林格出版社（2003；Zbl 1028.00041）
全文： 内政部 链接
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑）

组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 （英文） Zbl 1028.00026号

计算机科学课堂讲稿. 2852. 柏林：斯普林格。viii，507页（2003年）。
MSC公司：00B25型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2002年11月5日至8日，第一届国际研讨会，FMCO 2002，荷兰莱顿。修订的讲座。柏林：施普林格出版社（2003；Zbl 1028.00026）
全文： 内政部 链接
卡梅·奥利维;大卫·索津;特雷·米·西拉（Tere M.Seara）。

哈密尔顿-雅可比方程中的回复。 （英文） Zbl 1077.34086号

安·Inst.Fourier 53，第4期，1185-1235（2003）.
审核人：弗拉基米尔·科斯托夫（尼斯）
MSC公司：34立方米 34米25 34立方米 70H20个
PDF格式BibTeX公司 XML格式引用
\textit{C.Olivé}等人，《傅里叶年鉴》53，第4期，1185--1235（2003年；Zbl 1077.34086）
全文： 内政部 Numdam编号 欧洲DML 链接
托米·米科宁

开发和使用正式规范工具支持的经验。 （英文） Zbl 1032.68917号

Rosen，Jean-Pierre（编辑）等人，《可靠的软件技术——Ada-Europe 2003》。第八届Ada-Europe可靠软件技术国际会议，法国图卢兹，2003年6月16-20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2655, 297-308 (2003).
MSC公司：68单位99 68N99型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。2655297--308（2003；Zbl 1032.68917）
全文： 链接
新墨西哥州科索夫斯基。

至多曲率黎曼流形的胶合。 （英语。俄文原件） Zbl 1047.53019号

圣彼得堡数学。J。 14，第5期，765-773（2003）; 代数分析的翻译。14，第5期，73-86（2002年）。
审核人：I.G.Nikolaev（乌尔班纳）
MSC公司：53C20美元 53立方厘米21 53立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Kosovskiĭ}，圣彼得堡数学。J.14，No.5，73-86（2003；兹bl 1047.53019）；代数分析的翻译。14，第5号，73--86（2002）
新墨西哥州科索夫斯基。

曲率至少为\（\kappa\）的黎曼流形的粘合。 （英语。俄文原件） Zbl 1042.53017号

圣彼得堡数学。J。 14，第3期，467-478（2003）; 代数分析的翻译。14，第3期，140-157（2002）。
审核人：I.G.Nikolaev（乌尔班纳）
MSC公司：53C20美元 53立方厘米21 53立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛N.N.Kosovskij｝，圣彼得堡。数学。J.14，No.3，140--157（2003；Zbl 1042.53017）；代数分析的翻译。14，第3号，140--157（2002）
荒木，Keijiro（编辑）;格内西、斯特凡尼亚（编辑）;迪诺·曼德里奥利（编辑）

FME 2003：正式方法。欧洲正式方法国际研讨会，意大利比萨，2003年9月8日至14日。诉讼程序。 （英文） Zbl 1024.00043号

计算机科学课堂讲稿. 2805. 柏林：斯普林格。xvii，942页（2003年）。
MSC公司：00B25型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Araki}（编辑）等，FME 2003：形式化方法。2003年9月8日至14日，意大利比萨，欧洲正式方法国际研讨会。诉讼程序。柏林：施普林格出版社（2003；Zbl 1024.0043）
全文： 内政部 链接
阿希姆·D·布鲁克。;沃尔夫，伯克哈特

使用理论形态来实现形式化方法工具。 （英文） Zbl 1023.68654号

Geuvers，Herman（编辑）等人，《证明和程序的类型》。2002年4月24日至28日，荷兰卑尔根达尔，TYPES 2002国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。2646, 59-77 (2003).
MSC公司：68吨15 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Brucker}和\textit{B.Wolff}，莱克特。注释计算。科学。2646、59--77（2003年；Zbl 1023.68654）
全文： 链接
古德斯，埃胡德（编辑）;Shenoi、Sujeet（编辑）

数据和应用程序安全的研究方向。IFIP TC11/WG11.3第十六届数据和应用程序安全年会，2002年7月28日至31日，英国剑桥。 （英文） Zbl 1060.68034号

国际信息处理联合会马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-7541-3/hbk）。xix，第346页。(2003).
MSC公司：第68页，共15页 68第05页 68M10个 68-06 00B25型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{E.Gudes}（编辑）和\textit{S.Shenoi}（编），数据和应用程序安全研究方向。IFIP TC11/WG11.3第十六届数据和应用程序安全年会，2002年7月28日至31日，英国剑桥。马萨诸塞州波士顿：Kluwer学术出版社（2003；Zbl 1060.68034）
莫汉·库马尔，N。;克里斯·彼得森;拉奥，A.普拉巴卡尔

\（{\mathbb P}^n\）上的标准矢量束变形。 （英文） Zbl 1085.14514号

Cutkosky，S.Dale（编辑）等，向量丛和表示理论。2002年4月5日至7日，美国密苏里州哥伦比亚市，关于希尔伯特方案、向量束及其与表示理论的相互作用的会议记录。普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3264-6）。康斯坦普。数学。322, 151-163 (2003).
MSC公司：14J60型 14日第15天 14层05
PDF格式BibTeX公司 XML格式引用
\textit{N.Mohan Kumar}等人，康特姆。数学。322151-163（2003年；Zbl 1085.14514）
吴，西安

限制非约化格式上的线性子空间。 （英文） Zbl 1086.14500号

Cutkosky，S.Dale（编辑）等，向量丛和表示理论。2002年4月5日至7日，美国密苏里州哥伦比亚市，关于希尔伯特方案、向量束及其与表示理论的相互作用的会议记录。普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3264-6）。康斯坦普。数学。322, 97-105 (2003).
MSC公司：14C17号 14N10号 14日第15天 14月15日
PDF格式BibTeX公司 XML格式引用
\textit{X.Wu}，康特姆。数学。32297--105（2003年；Zbl 1086.14500）
艾伦·C·赫什菲尔德。

量子力学和量子场论中的形变量子化。 （英文） Zbl 1039.53104号

Mladenov，Ivaílo M.（编辑）等人，《第四届几何、可积性和量化国际会议论文集》，Sts。2002年6月6日至15日，保加利亚，君士坦丁和埃琳娜。索菲亚：珊瑚出版社科学出版（ISBN 954-90618-4-1/pbk）。11-41 (2003).
审核人：Janusz Grabowski（华沙）
MSC公司：53D55型 81T70型
PDF格式BibTeX公司 XML格式引用
\textit{A.C.Hirshfeld}，in：第四届几何、可积性和量化国际会议论文集，Sts。康斯坦丁和埃琳娜（瓦尔纳附近），保加利亚，2002年6月6日至15日。索菲亚：珊瑚出版社科学出版社。11--41（2003；Zbl 1039.53104）
上野，Kenji

代数几何。3：方案的进一步研究。Transl.公司。由加藤导演的《日本人》。 （英文） Zbl 1021.14001号

数学专著的翻译《现代数学中的Iwanami系列》。218.普罗维登斯，RI：美国数学学会（AMS）。viii，222页（2003年）。
审核人：沃纳·克莱因茨（柏林）
MSC公司：14甲15 14-02 14-01 14华夏 14C30号
PDF格式BibTeX公司 XML格式引用
\textit{K.Ueno}，代数几何。3：方案的进一步研究。Transl.公司。由加藤导演的《日本人》。普罗维登斯，RI:美国数学学会（AMS）（2003；Zbl 1021.14001）
弗拉迪米罗·萨松;巴布亚州索波辛斯基

导出互模拟同余：2类与前类。 （英文） Zbl 1029.68111号

Andrew D.Gordon（编辑），《软件科学和计算结构基础》。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2620, 409-424 (2003).
MSC公司：68问题85 18 C50 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{V.Sassone}和\textit{P.Sobocinn ski}，莱克特。注释计算。科学。2620、409--424（2003年；Zbl 1029.68111）
全文： 链接
克里斯蒂安·阿提奥贝;帕斯卡·波扎特;格温·萨拉恩

状态图中正式数据类型的集成。 （英文） Zbl 1032.68107号

Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 341-355 (2003).
MSC公司：第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Attiogbé}等人，Lect。注释计算。科学。2621341--355（2003年；Zbl 1032.68107）
全文： 链接
冈瑟·科内利森;福美哈鲁加藤

芒福德曲线和正特征普通曲线的等变变形。 （英文） Zbl 1092.14032号

杜克大学数学。J。 116，第3期，431-470（2003）.
审核人：沃纳·克莱因茨（柏林）
MSC公司：14国道22号 14日第15天 14小时37分 2011年9月 14H25号 11G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Cornelissen}和\textit{F.Kato}，杜克数学。J.116，第3号，431--470（2003；Zbl 1092.14032）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件