×

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

最新的 引文 关联
皮耶朱利奥·凯蒂斯;北萨巴迪尼。;R.F.C.沃尔特斯。

Span（Graph）中的组合最小化：一些示例。 （英语） Zbl 1271.68186号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，181-197（2004）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Katis}等人，《电子》。注释Theor。计算。科学。104、181--197（2004年；Zbl 1271.68186）
全文： 链接
吉·斯尔巴

不可判定的双相似性问题的完备性结果。 （英语） Zbl 1271.68195号

Schnoebelen，P.（编辑），《2003年INFINITY会议录》，第五届无限状态系统验证国际研讨会，CONCUR 2003卫星研讨会，法国马赛2003年9月2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记98，5-19（2004）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Srba}，电子。注释Theor。计算。科学。98、5--19（2004年；Zbl 1271.68195）
全文： 链接
安娜·索科洛娃;埃里克·P·德文克。

概率自动机：系统类型、并行组合和比较。 （英语） Zbl 1203.68089号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925，1-43（2004）。
MSC公司：65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sokolova}和\textit{E.P.de Vink}，莱克托。注释计算。科学。2925，1-43（2004；Zbl 1203.68089）
全文： 内政部
Tim A.C.Willemse。

混合自动机在进程代数中的嵌入。 （英语） Zbl 1196.68122号

Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999343-362（2004）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.C.Willemse}，莱克特。注释计算。科学。2999343--362（2004年；Zbl 1196.68122）
全文： 内政部
杰科·盖尔登胡伊斯;安蒂·瓦尔马里

Tarjan的算法使实时LTL验证更加高效。 （英语） Zbl 1126.68476号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988205-219（2004）。
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Geldenhuis}和\textit{A.Valmari}，莱克特。注释计算。科学。2988205-219（2004年；Zbl 1126.68476）
全文： 内政部
Jean-Pierre拉米斯

Gevrey渐近性及其在全纯常微分方程中的应用。 （英语） Zbl 1131.34333号

陈华（编辑）等，《数学物理中的微分方程和渐近理论》。会议演讲，武汉大学，湖北，2003年10月20日至29日。新泽西州哈肯萨克：世界科学（ISBN 981-256-055-6/hbk）。分析2系列，44-99（2004）。
MSC公司：34立方米 34A25型 34E05型 34米25
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.拉米斯}，爵士。分析。2，44-99（2004年；兹bl 1131.34333）
刘林;乔纳森·比林顿

简化参数自动机：多媒体协议服务案例研究。 （英语） Zbl 1108.68327号

Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，483-486（2004）。
MSC公司：68个M12 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Liu}和\textit{J.Billington}，Lect。注释计算。科学。3299、483--486（2004年；Zbl 1108.68327）
全文： 内政部
马吕斯·博兹加;苏珊娜·格拉芙;伊莉安娜奥伯;尤利安·奥贝尔;约瑟夫·西法基斯

IF工具集。 （英语） Zbl 1105.68352号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学课堂讲稿3185237-267（2004）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}等人，Lect。注释计算。科学。3185237--267（2004；Zbl 1105.68352）
全文： 内政部
格德·贝尔曼;亚历山大·戴维;Larsen，Kim G。

UPPAAL教程。 （英语） Zbl 1105.68350号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学课堂讲稿3185200-236（2004）。
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。3185200-236（2004年；兹比尔1105.68350）
全文： 内政部
Diletta R.卡奇亚格拉诺。;弗拉维奥·科拉迪尼

定时事件和定时语言的表达能力。 （英语） Zbl 1105.68082号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学讲义3185，98-131（2004）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Cacciagrano}和\textit{F.Corradini}，莱克特。注释计算。科学。3185,98--131（2004；Zbl 1105.68082）
全文： 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿

使用数字时钟的概率时间自动机性能分析。 （英语） Zbl 1099.68534号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791105-120（2004）。
MSC公司：68平方米 68个M12 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。注释计算。科学。2791105-120（2004年；Zbl 1099.68534）
全文： 内政部
塞巴斯蒂安·帕内克;奥拉夫·斯特斯伯格;塞巴斯蒂安·恩格尔

使用混合整数规划优化时间自动机模型。 （英语） Zbl 1099.68674号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿279173-87（2004）。
MSC公司：68问题85 65年第68季度 90B35型 90立方厘米 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{S.Panek}等人，Lect。注释计算。科学。2791、73--87（2004年；Zbl 1099.68674）
全文： 内政部
赵建华;李宣东;郑涛;郑国良

删除无关的原子公式以有效检查时间自动机。 （英语） Zbl 1099.68060号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿279134-45（2004）。
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Zhao｝等人，Lect。注释计算。科学。2791、34-45（2004年；Zbl 1099.68060）
全文： 内政部
阿加塔·波罗拉;沃伊切赫·彭泽克;马西耶·斯兹雷特

针对时间自动机中检查可达性的有效分区细化。 （英语） Zbl 1099.68649号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791，2-17（2004）。
MSC公司：65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Półrola}等人，Lect。注释计算。科学。2791、2--17（2004年；Zbl 1099.68649）
全文： 内政部
斯塔夫罗斯·特里帕基斯

关于时间自动机的确定和最小化的福克定理。 （英语） Zbl 1099.68648号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791182-188（2004）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛S.Tripakis｝，Lect。注释计算。科学。2791182-188（2004年；Zbl 1099.68648）
全文： 内政部
柯特林·迪马

时间语言的非Archimedia离散化。 （英语） Zbl 1099.68049号

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791168-181（2004）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛C.Dima｝，Lect。注释计算。科学。2791168--181（2004年；Zbl 1099.68049）
全文： 内政部
安德鲁·菲什;豪斯，约翰

朝向约束图的默认读数。 （英语） Zbl 1091.68601号

Blackwell，Alan（编辑）等人，《图解表示和推理》。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21268-X/pbk）。计算机科学2980课堂讲稿。人工智能课堂讲稿，51-65（2004）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Fish｝和\textit｛J.Howse｝，Lect。注释计算。科学。2980,51-65（2004年；Zbl 1091.68601）
全文： 内政部
约翰·本特森;Yi，王

时间自动机：语义、算法和工具。 （英语） Zbl 1088.68119号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿309887-124（2004）。
MSC公司：68问题85 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bengtsson}和\textit{W.Yi}，Lect。注释计算。科学。3098、87-124（2004年；Zbl 1088.68119）
全文： 内政部
加布里埃尔·胡亚斯;罗伯特·洛伦茨;克里斯蒂安·纽梅尔

用信号网络模块进行建模和控制。 （英语） Zbl 1088.93002号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098585-625（2004）。
MSC公司：93A30型 93元65角 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Juhás}等人，Lect。注释计算。科学。3098、585--625（2004；Zbl 1088.93002）
全文： 内政部
布莱斯·基内斯特;安卡·穆斯科尔;迪特里赫·库斯克

一类具有有效算法的通信自动机的Kleene定理。 （英语） Zbl 1117.68403号

Calude，Cristian S.（编辑）等，《语言理论的发展》。第八届国际会议，DLT 2004，新西兰奥克兰，2004年12月13-17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24014-4/pbk）。计算机科学讲座笔记3340，30-48（2004）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Genest}等人，Lect。注释计算。科学。3340、30--48（2004年；Zbl 1117.68403）
全文： 内政部
维克托·布拉伯曼;迭戈·加伯维茨基;阿尔弗雷多·奥利维罗

ObsSlice：基于观测者的定时自动机切片器。 （英语） Zbl 1103.68608号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，470-474（2004）。
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Braberman}等人，Lect。注释计算。科学。3114、470--474（2004；Zbl 1103.68608）
全文： 内政部
D.R.吉卡。;穆拉夫斯基。;Ong，C.-H.L。

并发的语法控制。 （英语） Zbl 1099.68656号

Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学课堂讲稿3142683-694（2004）。
MSC公司：第68季度第60季度 68甲15 68问题85 68号30 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Ghica}等人，Lect。注释计算。科学。3142683-694（2004年；兹bl 1099.68656）
全文： 内政部
拉鲁西尼，F。;马基，N。;Schnoebelen博士。

一个或两个时钟的模型检查时间自动机。 （英语） Zbl 1099.68057号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170387-401（2004）。
MSC公司：第68季度第60季度 65年第68季度 2017年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Laroussinie}等人，Lect。注释计算。科学。3170387--401（2004年；Zbl 1099.68057）
全文： 内政部
帕维尔·克查尔;列奥尼德·莫克鲁辛;蒂亚加拉扬，P.S。;Yi，王

定时与定时触发自动机。 （英语） Zbl 1099.68069号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学讲稿3170340-354（2004）。
MSC公司：68问题85 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Král}等人，Lect。注释计算。科学。3170340-354（2004年；Zbl 1099.68069）
全文： 内政部
托马斯·布拉兹迪尔;安东·库切拉;斯特拉日奥夫斯克，旧

无限状态概率系统的概率双相似性判定。 （英语） Zbl 1099.68065号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学讲义3170193-208（2004）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。3170193--208（2004年；Zbl 1099.68065）
全文： 内政部
贝内迪克特·博利格;马丁·勒克

消息传递自动机在表达上等价于EMSO逻辑。 （英语） Zbl 1097.68581号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。《计算机科学讲义》3170、146-160（2004）。
MSC公司：68问题85 03B15号机组 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}和\textit{M.Leucker}，莱克特。注释计算。科学。3170146-160（2004年；Zbl 1097.68581）
全文： 内政部
娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃;马丁·斯特芬

模型检查定时系统的同步关闭和流量分析。 （英语） 兹比尔1104.68415

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。计算机科学课堂讲稿3188292-313（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Ioustinova}等人，Lect。注释计算。科学。3188292--313（2004年；Zbl 1104.68415）
全文： 内政部
阿列克谢·利西萨;伊戈尔·波塔波夫

行经济学转换的成员资格和可达性问题。 （英语） Zbl 1096.68108号

吉·菲亚拉（编辑）等，《2004年计算机科学数学基础》。2004年8月22日至27日，第29届国际研讨会，MFCS，捷克共和国布拉格。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22823-3/pbk）。计算机科学课堂讲稿3153623-634（2004）。
MSC公司：68问题85 20平方米 20立方米 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Lisitsa}和\textit{I.Potapov}，莱克特。注释计算。科学。3153623--634（2004年；Zbl 1096.68108）
全文： 内政部
迪尔森·卡纳尔;南希·林奇

对定时I/O自动机进行分解验证。 （英语） Zbl 1109.68506号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。关于定时系统的正式建模和分析的联合国际会议，FORMATS 2004，以及实时和容错系统的正式技术，FTRTFT 2004，法国格勒诺布尔，2004年9月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253，84-101（2004）。
MSC公司：65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Kaynar}和\textit{N.Lynch}，莱克特。注释计算。科学。3253、84-101（2004年；Zbl 1109.68506）
全文： 内政部
玛丽亚·索里亚

密集实时系统的延迟近似。 （英语） Zbl 1109.68507号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253363-378（2004）。
MSC公司：65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Sorea}，莱克特。注释计算。科学。3253、363--378（2004年；Zbl 1109.68507）
全文： 内政部
米哈伊尔·贝尔纳德斯基;Raman Sharykin女士;拉杰夫·阿鲁尔

并发随机混合系统的结构化建模。 （英语） Zbl 1109.68510号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253，309-324（2004）。
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernadsky}等人，Lect。注释计算。科学。3253、309--324（2004；Zbl 1109.68510）
全文： 内政部
阿努杰，达瓦尔;戴维·杰宁

关于有限元中一元（Sigma{1}）的互模拟不变片段。 （英语） Zbl 1117.03339号

Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328224-236（2004）。
MSC公司：03B70号 03B45号 05年3月 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}和\textit{D.Janin}，莱克特。注释计算。科学。3328224--236（2004年；Zbl 1117.03339）
全文： 内政部
纳里尼·乔希;Kenji Kajiwara;玛塔·马佐科

与PainlevéII方程解的行列式公式相关的生成函数。 （英语） Zbl 1081.34087号

Loday-Richaud，Michèle（编辑），复杂分析，动力系统，发散级数的可和性和伽罗瓦理论。二、。纪念Jean-Pierre Ramis的卷。会议记录，2003年9月22日至26日，法国图卢兹，纪念J.-P.拉米斯60岁生日。巴黎：法国数学学会（ISBN 2-85629-168-6/pbk）。《Astérisque》297，67-78（2004）。
审核人：安德烈·卡帕耶夫（圣彼得堡）
MSC公司：34M55型 33埃17 34E05型 34米25 34立方米
PDF格式BibTeX公司 XML格式引用
\textit{N.Joshi}等人，Astérisque 297，67--78（2004；Zbl 1081.34087）
全文： arXiv公司 链接
安东·库切拉;理查德·迈尔

用于检查下推自动机和有限状态自动机之间语义等价性的通用框架。 （英语） Zbl 1094.68050号

Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，395-408（2004）。
MSC公司：65年第68季度 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Kučera}和\textit{R.Mayr}，IFIP，国际联邦信息处理。155、395--408（2004年；Zbl 1094.68050）
弗雷德·佩恩。

混合拉普拉斯和泊松解算器。二： Robin BC。 （英语） Zbl 1113.65315号

Constanda，C.（编辑）等人，《科学与工程中的积分方法》，分析与数值技术。2002年8月7日至10日，法国圣埃蒂安大学第七届国际会议（IMSE 2002）的论文。马萨诸塞州波士顿：Birkhäuser（ISBN 0-8176-3228-X/hbk）。181-186 (2004).
审核人：Messoud A.Efendiev（柏林）
MSC公司：65号38
PDF格式BibTeX公司 XML格式引用
\textit{F.R.Payne}，in：科学和工程中的积分方法。分析和数值技术。2002年8月7日至10日，法国圣埃蒂安大学第七届国际会议（IMSE 2002）的论文。马萨诸塞州波士顿：Birkhäuser。181-186（2004年；兹bl 1113.65315）
克莉丝汀·努特·惠格

算术模的傅里叶变换。一、。（傅里叶变换des（{mathcal D}）-模算术。I.） （法语） Zbl 1126.14016号

阿道夫森（编辑）等人，《居室理论的几何方面》。第一卷，第二卷。柏林：Walter de Gruyter（ISBN 3-11-017478-2/hbk）。857-907 (2004).
审核人：Werner Kleinert（柏林）
MSC公司：14日第15天 10层14号 14楼30 14日第10天 18层20
PDF格式BibTeX公司 XML格式引用
\textit{C.Noot-Huighe}，in：居室理论的几何方面。第一卷，第二卷。柏林：Walter de Gruyter。857--907（2004年；Zbl 1126.14016）
克里斯托夫·格林姆（编辑）

系统规范语言。2003年9月23日至26日，德国法兰克福FDL'03对UML、SystemC、System Verilog、混合信号系统和属性规范的部分贡献。 （英语） Zbl 1049.68085号

马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-7990-7/hbk）。x、 第357页。（2004年）。
MSC公司：第68季度第60季度 68甲15 68-01
PDF格式BibTeX公司 XML格式引用
\textit{C.Grimm}（编辑），系统规范语言。2003年9月23日至26日，德国法兰克福FDL'03对UML、SystemC、System Verilog、混合信号系统和属性规范的部分贡献。马萨诸塞州波士顿：Kluwer学术出版社（2004；Zbl 1049.68085）
爱丽丝·菲亚洛夫斯基

李代数的整体变形。 （英语） Zbl 1048.17010号

Fachini，Alberto（编辑）等人，《环、模、代数和阿贝尔群》。
2002年威尼斯代数会议论文集，意大利威尼斯，2002年6月3日至8日。纽约州纽约市：Marcel Dekker（ISBN 0-8247-4807-7/pbk）。莱克特。Notes纯应用。数学。第236、177-188页（2004年）。
审核人：Pasha Zusmanovich（阿姆斯特丹）
MSC公司：17B66型 14日第15天 14H52型 14H55型 17B55号 17B68号
PDF格式BibTeX公司 XML格式引用
\textit{A.Fialowski}，莱克特。Notes纯应用。数学。236177-188（2004年；Zbl 1048.17010）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件