×

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

最新的 引文 关联
克里斯托夫·洛尔;Jean-Pierre科蒂亚特

从时间相关系统的规范到调度。 （英语） Zbl 1278.68182号

Damm，Werner（ed.）等人，实时和容错系统中的形式化技术。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469129-145（2002）。
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Lohr}和\textit{J.-P.Courtiat}，莱克特。注释计算。科学。2469129--145（2002年；Zbl 1278.68182）
全文： 内政部
马卡洛夫，V.L。;拉祖恰克，I.I。

常微分方程组的函数离散解法。 （俄语） Zbl 1097.65536号

Lukovskij，I.A.（编辑），Voprosy mekhaniki I ee prilozhenij。基辅：Instytut Matematyky NAN Ukraíny（ISBN 966-02-2751-5）。自然科学研究所阿卡德米伊恶心乌克兰。马特马蒂卡·塔伊伊Zastosuvannya 44，184-199（2002）。
MSC公司：65升10 34个B05 65L20英寸 34B27型 65升70
PDF格式BibTeX公司 XML格式引用
\textit｛V.L.Makarov｝和\textit｛I.Lazurchak｝，在《力学问题及其应用》中。基辅：Instytut Matematyky NAN Ukraíny。184-199（2002年；Zbl 1097.65536）
巴诺伊，阿莫茨;阿里·弗伦德;西蒙·兰达;约瑟夫·纳尔（Seffi）

竞争性在线交换政策。 （英语） Zbl 1058.94533号

2002年1月6日至8日在美国加利福尼亚州旧金山举行的第十三届ACM-SIAM离散算法年会论文集。宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 0-89871-513-X/pbk）。525-534 (2002).
MSC公司：94立方厘米10 90B18号机组 68M10个
PDF格式BibTeX公司 XML格式引用
\textit｛A.Bar-Noy｝等人，《第十三届ACM-SIAM离散算法年度研讨会论文集》，2002年SODA，美国加利福尼亚州旧金山，2002年1月6日至8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）。525--534（2002年；Zbl 1058.94533）
马克·艾吉尔;黛安·巴赫拉米;凯瑟琳·杜布瓦

关于一个推广的逻辑性定理。 （英语） Zbl 1072.68536号

Calmet，Jacques（编辑）等人，《人工智能、自动推理和符号计算》。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43865-3）。莱克特。注释计算。科学。2385, 51-63 (2002).
MSC公司：2012年第68季度 68吨15 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Aiguier}等人，Lect。注释计算。科学。2385、51-63（2002年；Zbl 1072.68536）
全文： 链接
马克·索夫罗尼欧;朱利亚·斯佩莱塔

可分离哈密顿系统的辛方法。 （英语） Zbl 1056.65139号

Peter M.A.Sloot（编辑）等人，《计算科学-ICCS 2002》。第二届国际会议，荷兰阿姆斯特丹，2002年4月21日至24日。诉讼程序。第3部分。柏林：施普林格出版社（ISBN 3-540-43594-8）。莱克特。注释计算。科学。2331506-515（2002年）。
MSC公司：65页第10页 2015年11月37日
PDF格式BibTeX公司 XML格式引用
\textit{M.Sofroniou}和\textit{G.Spaletta}，莱克特。注释计算。科学。2331506--515（2002年；Zbl 1056.65139）
全文： 内政部
马克·索夫罗尼欧;朱利亚·斯佩莱塔

求解中的正交矩阵微分系统数学软件. （英语） Zbl 1056.65068号

Peter M.A.Sloot（编辑）等人，《计算科学-ICCS 2002》。第二届国际会议，荷兰阿姆斯特丹，2002年4月21日至24日。诉讼程序。第3部分。柏林：施普林格出版社（ISBN 3-540-43594-8）。莱克特。注释计算。科学。2331, 496-505 (2002).
MSC公司：65升05 68瓦30 65升60 65页第10页 2015年11月37日
PDF格式BibTeX公司 XML格式引用
\textit{M.Sofroniou}和\textit{G.Spaletta}，莱克特。注释计算。科学。2331496--505（2002年；Zbl 1056.65068）
全文： 内政部
费利西亚·伊奥内斯库;米哈伊尔·伊奥内斯库;克里斯蒂娜·科科努;瓦伦丁·斯托伊卡

多处理器系统上测试向量生成的粗粒度并行化。 （英语） 兹比尔1048.68785

Grigoras，Dan（编辑）等人，《集群计算的高级环境、工具和应用程序》。2001年9月1日至6日在罗马尼亚曼加里亚举行的国际捕鲸委员会2001年北约高级研究研讨会。修改后的文件。柏林：施普林格出版社（ISBN 3-540-43672-3）。莱克特。注释计算。科学。2326, 231-240 (2002).
MSC公司：68单位99 68米15 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{F.Ionescu}等人，Lect。注释计算。科学。2326、231--240（2002年；Zbl 1048.68785）
全文： 链接
克里斯蒂安·比肖夫。;H.Martin·Bücker;布鲁诺·朗

计算金融的自动微分。 （英语） Zbl 1045.65020号

Kontoghiorghes，Erricos John（编辑）等人，《决策、经济和金融中的计算方法》。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-0839-2/hbk）。申请。最佳方案。第74297-310页（2002年）。
MSC公司：65D25个 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.H.Bischof}等人，应用。最佳方案。74、297--310（2002；Zbl 1045.65020）
迪特·施密特

月亮的运动。 （英语） Zbl 1068.70015号

Cabral，Hildeberto（编辑）等人，《经典与天体力学：累西腓讲座》。新泽西州普林斯顿：普林斯顿大学出版社（ISBN 0-691-05022-8/hbk）。205-237 (2002).
审核人：Nina A.Solovaya（布拉迪斯拉发）
MSC公司：2015年1月70日 70-08 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{D.Schmidt}，in：经典和天体力学：累西腓讲座。新泽西州普林斯顿：普林斯顿大学出版社。205-237（2002；Zbl 1068.70015）
彼得·比雷尔（Peter A.Beerel）。;谢爱国

使用马尔可夫链的异步电路性能分析。 （英语） Zbl 1029.68504号

Cortadella，Jordi（编辑）等人，《并行和硬件设计》。Petri网的进展。柏林：斯普林格。莱克特。注释计算。科学。2549, 313-343 (2002).
MSC公司：2007年8月 68问题85 94立方厘米10 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Beerel}和\textit{A.Xie}，莱克特。注释计算。科学。2549313--343（2002年；Zbl 1029.68504）
全文： 链接
瓦尔顿，托马斯;朱尼·伊萨霍;汉努·腾胡宁

细粒度可重新配置架构案例：对设想性能的分析。 （英语） Zbl 1020.68926号

Glesner，Manfred（编辑）等人，《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议，FPL 2002，法国蒙彼利埃，2002年9月2日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2438, 816-825 (2002).
MSC公司：68单位99 94立方厘米10 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Valtonen}等人，Lect。注释计算。科学。243816-825（2002年；Zbl 1020.68926）
全文： 链接
韦斯利·兰德克。;迈克尔·沃特林（Michael J.Wirthlin）。;布拉德·哈钦斯。

SLAAC1-V可重构计算系统上的多任务硬件。 （英语） Zbl 1020.68754号

Glesner，Manfred（编辑）等人，《现场可编程逻辑和应用》。可重构计算正在成为主流。第12届国际会议，FPL 2002，法国蒙彼利埃，2002年9月2-4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2438, 806-815 (2002).
MSC公司：68单位99 94立方厘米10 68米01
PDF格式BibTeX公司 XML格式引用
\textit{W.J.Landaker}等人，Lect。注释计算。科学。243806-815（2002年；Zbl 1020.68754）
全文： 链接
尤瓦诺、吉雄;亚历山大·古塞夫;维塔利·罗斯托夫采夫;塞尔格·I·维尼茨基。

三次势扰动谐振子的Birkhoff-Gustavson归一化反问题。 （英语） Zbl 1022.65135号

J.计算。方法科学。工程师。 2，第1s-2s号，271-275（2002）.
MSC公司：65页第10页 2015年11月37日 37J35型 65日元 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Uwano}等人，《计算杂志》。方法科学。工程2，编号1--2，271--275（2002；Zbl 1022.65135）
斯科贝列夫，V.G。

离散系统分析。（Analiz diskretnykh姐妹） （俄语） Zbl 1017.93003号

顿涅茨克：乌克兰国家科学院（Natsional'naya Akademiya Nauk Ukrainy），梅哈尼基研究所（Institute Prikladnoj Matematiki i Mekhaniki）。172页（2002年）。
审核人：瓦列里·科兹洛夫斯基（顿涅茨克）
MSC公司：93-02 93元65角 68卢比 68T20型 93个B05 68-02 65年第68季度 06A07年 06E30年 93C40型 94立方厘米10 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Skobelev}，Analiz diskretnykh sismem（俄语）。顿涅茨克：乌克兰国家科学院，梅哈尼基研究所（2002；Zbl 1017.93003）
英格马尔·卡吉

宽带通信系统中的随机建模。 （英语） Zbl 1020.94001号

SIAM数学建模与计算专著. 8. 宾夕法尼亚州费城：工业和应用数学学会（SIAM）。十六、177页（2002年）。
审核人：W.R.W.Scheinhardt（恩斯切德）
MSC公司：94-01 60-01 68-01 94A05型 94立方厘米10 68M10个 60年20日 68平方米 60千克25
PDF格式BibTeX公司 XML格式引用
\textit{I.Kaj}，宽带通信系统中的随机建模。宾夕法尼亚州费城：工业和应用数学学会（SIAM）（2002；Zbl 1020.94001）
全文： 内政部
阿尔布雷赫特·贝特斯帕彻;马克·亚历山大·齐格纳

初学者离散数学。应用于工艺和计算机科学。（Diskrete Mathematik für Einsteiger，Mit Anwendungen，《技术与信息》） （德语） Zbl 1037.00001号

布伦瑞克：Vieweg（ISBN 3-528-06989-9/pbk）。viii、216 S。(2002).
审核人：拉尔夫·哈多·舒尔茨（柏林）
MSC公司：00A05号 68-01 05-01 94-01
PDF格式BibTeX公司 XML格式引用
\textit{A.Beutelspacher}和\textit{M.-A.Zschiegner}，Diskrete Mathematik für Einsteiger。Mit Anwendungen主讲Technik und Informatik。布伦瑞克：Vieweg（2002；Zbl 1037.00001）
克劳斯·德内克;Shelly L.Wismath。

泛代数及其在理论计算机科学中的应用。 （英语） Zbl 0993.08001号

佛罗里达州博卡拉顿：查普曼和霍尔/CRC。xii，第383页（2002年）。
审核人：马格努斯·斯坦比（图尔库）
MSC公司：08-01 68-01 2015年1月6日 08A70号 08A40号 2012年第68季度 70年第68季度 08轴 08Bxx年
PDF格式BibTeX公司 XML格式引用
\textit{K.Denecke}和\textit{S.L.Wismath}，泛代数及其在理论计算机科学中的应用。佛罗里达州博卡拉顿：查普曼和霍尔/CRC（2002；Zbl 0993.08001）
Stéphane P.德姆里。;或者艾瓦·奥斯卡。

不完整信息：结构、推理、复杂性。 （英语） Zbl 1016.68163号

理论计算机科学专著。EATCS系列柏林：施普林格。第十八章，第408页（2002年）。
审核人：Prabhat Kumar Mahanti（新不伦瑞克）
MSC公司：68单位35 68-02
PDF格式BibTeX公司 XML格式引用
\textit{S.P.Demri}和\textit{E.S.Orłowska}，不完整信息：结构、推理、复杂性。柏林：施普林格出版社（2002；Zbl 1016.68163）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件