×

找到62个文档(结果1-62)

使用SPACE中间模型帮助实现代理。 (英语) 兹比尔1070.68539

钟宁(编辑)等,《智能系统基础》。2003年10月28日至31日,第14届国际研讨会,ISMIS 2003,日本前桥市。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20256-0/pbk)。计算机科学课堂讲稿2871。人工智能课堂讲稿,221-225(2003)。
MSC公司:68T05型 68N99型
PDF格式BibTeX公司 XML格式引用

面向细胞系统的全细胞“电子”模型:模型设置和模型验证。 (英语) Zbl 1070.93005号

Benvenuti,Luca(编辑)等人,《正系统》。2003年8月28日至30日,意大利罗马,第一届积极系统:理论与应用多学科国际研讨会论文集(POSTA 2003)。柏林:施普林格出版社(ISBN 3-540-40342-6/pbk)。《控制与信息科学课堂讲稿》29495-102(2003)。
MSC公司:93A30型 92立方37 93E12号机组 92-08 92D25型
PDF格式BibTeX公司 XML格式引用

同级裁判……会错过吗? (英语) 邮编:1045.00008

白凤山(编辑)等,《数学中的电子信息与通信》。ICM 2002国际卫星会议,中国北京,2002年8月29日至31日。修订论文。柏林:施普林格出版社(ISBN 3-540-40689-1/pbk)。莱克特。注释计算。科学。2730, 132-143 (2003).
MSC公司:00A99号
PDF格式BibTeX公司 XML格式引用

通过模型检查验证逻辑控制算法。 (英语) Zbl 1098.68081号

亚琛:Shaker Verlag;Kaiserslautern:凯泽斯劳滕大学,Fachbereich Elektrotechnik和Informationstechnik(Diss.)。(ISBN 3-8322-2242-1/pbk)。viii,第142页。(2003).
MSC公司:60年第68季度 68-01
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于组件的软件的测试和质量保证。 (英语) Zbl 1061.68029号

Arech House计算机图书馆。马萨诸塞州波士顿:Artech House(ISBN 1-58053-480-5/hbk)。xxi,466页。(2003).
MSC公司:68甲19 68-01
PDF格式BibTeX公司 XML格式引用

ASP。NET和。NET平台。(ASP.NET和die.NET-Plattform.u bersetzung aus dem Amerikanischen von Jobst Giesecke和Clemens Vargas。) (德语) Zbl 1058.68028号

波恩:mitp(ISBN 3-8266-0965-4/pbk)。815秒。(2003).
MSC公司:68甲15 68-01
PDF格式BibTeX公司 XML格式引用

系统分析。自然系统数学建模导论。(系统分析.Einführung in die mathematische Modellierung natürlicher Systeme) (德语) Zbl 1051.93001号

柏林:施普林格出版社(ISBN 3-540-43935-8/hbk)。vi、255 S。(2003).
MSC公司:93-01 93A30型 92-01
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前3名

主字段

全部的 前3名

软件