×

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

最新的 引文 关联
拉文德拉霍拉;纳巴伦·德卡;迪帕克·D’souza

论TPTL在点式语义和连续语义中的表达对等性。 （英语） Zbl 07799623号

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213，第45条，第21页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Holla}等人，LIPIcs——莱布尼茨国际程序。通知。213，第45条，第21页（2021；Zbl 07799623）
全文： 内政部
德珀特，马克斯·A。;克劳斯·扬森;基姆·曼纽尔·克莱恩

模糊同时同余。 （英语） Zbl 07724212号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第39条，第16页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Deppert}等人，LIPIcs——莱布尼茨国际程序。通知。202，第39条，第16页（2021；Zbl 07724212）
全文： 内政部 arXiv公司
尼古拉斯·尤特;马里奥·Günzel;冯·德·布吕根·格奥尔格;陈建嘉

硬实时静态GANG-调度。 （英语） Zbl 07699459号

Brandenburg，Björn B.（编辑），第33届实时系统欧洲微观会议，ECRTS 2021，虚拟会议，2021年7月5日至9日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。196，第10条，第19页（2021年）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{N.Ueter}等人，LIPIcs——莱布尼茨国际程序。通知。196，第10条，第19页（2021；Zbl 07699459）
全文： 内政部
威廉·弗莱彻;Titus H.克林格。;詹姆斯·拉思罗普。;Dawn A.Nye。;雷曼，马修

使用化学反应网络进行强大的实时计算。 （英语） Zbl 07553902号

Kostitsyna、Irina等人，《非传统计算和自然计算》。第19届国际会议，2021年10月18日至22日，芬兰埃斯波，UCNC 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12984，35-50（2021）。
MSC公司：2007年第68季度 2009年第68季度 2010年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Fletcher}等人，莱克特。注释计算。科学。12984，35-50（2021；Zbl 07553902）
全文： 内政部 arXiv公司
埃蒂安·安德烈

模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。第12759页，第552-565页（2021）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·安德烈}，莱克特。注释计算。科学。12759、552--565（2021；Zbl 1493.68202）
全文： 内政部
OA许可证
亨宁费尔瑙;Wolf，佩特拉;山上春树

同步确定性下推自动机可能非常困难。 （英语） Zbl 07559404号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第33条，第15页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，LIPIcs——莱布尼茨国际程序。通知。170，第33条，第15页（2020；Zbl 07559404）
全文： 内政部 arXiv公司
乔瓦尼·格拉西奥利;罗汉·塔比什;雷纳托·曼库索;雷扎·米罗萨卢;鲁道夫·佩利佐尼;马可·卡卡莫

在现代异构MPSoC平台上设计混合临界应用程序。 （英语） 兹伯利07559361

Sophie Quinton（编辑），第31届欧洲微型实时系统会议，ECRTS 2019，德国斯图加特，2019年7月9日至12日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。133，第27条，第25页（2019年）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{G.Gracioli}等人，LIPIcs——莱布尼茨国际程序。通知。133，第27条，第25页（2019年；Zbl 07559361）
全文： 内政部
埃里克·卢巴特;达尔·齐利奥（Dal Zilio，Silvano）;迪迪埃·勒·波特兰;扬尼克·彭科尔;奥迪·苏比亚斯

用于计算时间Petri网语言交集的状态类构造。 （英语） Zbl 1434.68331号

安德烈，埃蒂安（编辑）等，时间系统的形式化建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11750, 79-95 (2019).
MSC公司：68问题85 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{埃利·卢巴特}等人，Lect。注释计算。科学。11750，79-95（2019年；兹比尔1434.68331）
全文： 内政部 arXiv公司
莫伊斯·克里钦

在时间域上使用自动机的确定技术测试实时系统。 （英语） Zbl 07142673号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 124-133 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Krichen}，莱克特。注释计算。科学。11884、124-133（2019；Zbl 07142673）
全文： 内政部
埃蒂安·安德烈;杰瑞，贾维尔;萨哈尔·姆希里

Time4sys2imi：一种工具，用于形式化不确定性下的实时系统模型。 （英语） Zbl 07142672号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 113-123 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。11884、113-123（2019；Zbl 07142672）
全文： 内政部 arXiv公司
安托万·米内

具有动态优先级的嵌入式实时并发软件的静态分析。 （英语） Zbl 1412.68042号

Mastroeni，Isabella（编辑），第六届数字和符号抽象域国际研讨会论文集，NSAD 2016，英国爱丁堡，2016年9月11日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。331, 3-39 (2017).
MSC公司：68号30 68问题55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，电子。注释Theor。计算。科学。331、3--39（2017；Zbl 1412.68042）
全文： 内政部
埃雷梅耶夫，A.P。;I.E.库里连科。

时间分支时间模型中推理的实现。 （英语。俄文原件） Zbl 1442.68221号

J.计算。系统。科学。国际。 56，第1号，105-124（2017）; 翻译自Kibern。修女。分析。2017年第1期，107-127（2017）。
MSC公司：68T27型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Eremeev}和\textit{I.E.Kurilenko}，J.Compute。系统。科学。国际标准56，第105-124号（2017年；兹bl 1442.68221）；翻译自Kibern。修女。分析。2017年第1期，第107-127号（2017）
全文： 内政部
Park，Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安，Sojin;Choi，Jin-Young先生;康英业

一种用于分层实时系统可调度性分析和工作负载抽象的进程代数方法。 （英语） Zbl 1373.68162号

J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Park｝等人，J.Log。阿尔盖布。方法计划。92、1-18（2017年；Zbl 1373.68162）
全文： 内政部 链接
黄，香;Titus H.克林格。;詹姆斯·拉思罗普。;李晓元;杰克·H·卢茨。

通过化学反应网络实时计算实数。 （英语） Zbl 1486.68064号

Patitz，Matthew J.（编辑）等人，《非传统计算与自然计算》。2017年6月5日至9日在美国阿肯色州费耶特维尔举行的第16届UCNC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10240, 29-40 (2017).
MSC公司：2007年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Huang}等人，Lect。注释计算。科学。10240，29--40（2017；Zbl 1486.68064）
全文： 内政部 arXiv公司
冯一柳;刘亚飞;刘恒柱

B-SIFT：用于实时应用的简单有效的SIFT。 （英语） Zbl 1412.94008号

贾英敏（编辑）等，《2016年中国智能系统会议论文集》，厦门，中国。第一卷新加坡：斯普林格出版社。莱克特。注释Electr。《工程》404，357-362（2016）。
MSC公司：94A08型 68单位10
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Feng｝等人，Lect。注释Electr。工程404，357--362（2016；Zbl 1412.94008）
全文： 内政部
A.I.卡利亚耶夫。;I.A.卡利亚耶夫。

云计算环境中资源的多代理调度方法。 （英语。俄文原件） Zbl 1383.93050号

J.计算。系统。科学。国际。 55，编号211-221（2016）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2016年第1期，第51-63页（2016年）。
MSC公司：93立方厘米83 93甲14 90B36型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛A.I.Kalyaev｝和\textit｛I.A.Kalyaev｝，J.Comput。系统。科学。国际55号，第2期，211-221（2016；Zbl 1383.93050）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2016年第1期，51-63（2016）
全文： 内政部
泽维尔·阿拉米根;乌里·法伦贝格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel

热带Fourier-Motzkin消除，应用于实时验证。 （英语） Zbl 1301.90069号

国际代数计算杂志。 24，第5期，569-607（2014）.
MSC公司：90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01型 52B55号
PDF格式BibTeX公司 XML格式引用
\textit｛X.Allamigeon｝等人，国际代数计算杂志。24，第5号，569--607（2014；Zbl 1301.90069）
全文： 内政部 arXiv公司
埃蒂安·安德烈;劳伦·弗里堡;罗曼·苏拉特

合并和征服：参数时间自动机中的状态合并。 （英语） Zbl 1410.68194号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 381-396 (2013).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。8172、381--396（2013；Zbl 1410.68194）
全文： 内政部
姚兴华;张敏;陈一香

PADS中的证明系统。 （英语） Zbl 1405.68222号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049，391-408（2013）。
MSC公司：68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{X.Yao}等人，Lect。注释计算。科学。8049、391--408（2013；Zbl 1405.68222）
全文： 内政部
Cheryl P.安达姆。;乔纳森·德里斯科尔。;杰米·迪塞萨尔（Jaime A.DiCesare）。;蒂姆·恩克（Tim N.Enke）。;安东尼·马库拉。;加尔，苏珊娜

比较使用聚合酶链反应分析DNA计算库的不同方法。 （英语） Zbl 1362.68070号

自然计算。 11，第2期，339-349（2012）.
MSC公司：2005年第68季度 2010年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{C.P.Andam}等人，《自然计算》。11，第2号，339--349（2012；Zbl 1362.68070）
全文： 内政部
Bae，Kyungmin先生;Ölveczky、Peter Csaba;冯，托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯

使用实时淡紫色验证等级托勒密二世离散事件模型。 （英语） Zbl 1264.68051号

科学。计算。程序。 77，第12期，1235-1271（2012）.
MSC公司：68号30 60年第68季度 68问题55 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bae}等人，科学。计算。程序。77，第12号，1235--1271（2012；Zbl 1264.68051）
全文： 内政部
弗洛伦特·佩雷斯;伯纳德·伯托米厄;弗朗索瓦·沃纳达特

关于时间Petri网的构成。 （英语） Zbl 1238.68101号

离散事件动态。系统。 21，第3期，395-424（2011）.
审核人：Maciej Koutny（泰恩河畔纽卡斯尔）
MSC公司：68问题85 60年第68季度 68问题55 68甲19 68号30 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{F.Peres}等人，离散事件动态。系统。21，第3号，395--424（2011；Zbl 1238.68101）
全文： 内政部
埃蒂安·安德烈;罗曼·苏拉特

合成满足安全特性的定时参数。 （英语） Zbl 1348.68117号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，31-44（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}和\textit{R.Soulat}，莱克特。注释计算。科学。6945，31-44（2011；Zbl 1348.68117）
全文： 内政部
纳吉，纳亚;塞利姆·G·阿克尔。

具有不确定时间约束的计算：对并行性和普遍性的影响。 （英语） Zbl 1330.68077号

Calude，Cristian S.（编辑）等人，《非常规计算》。2011年6月6日至10日在芬兰图尔库举行的2011年加州大学第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21340-3/pbk）。计算机科学课堂讲稿6714，152-163（2011）。
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Nagy｝和\textit｛S.G.Akl｝，Lect。注释计算。科学。6714，152--163（2011；Zbl 1330.68077）
全文： 内政部
普拉帕蓬·拉特纳塔姆荣;Jose A.B.Fortes。

资源有限的专家混合系统的实时调度。 （英语） Zbl 1361.68022号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。71-80 (2010).
MSC公司：68平方米 68T20型 90B35型 90立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Rattanatamrong}和\textit{J.A.B.Fortes}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。71-80（2010年；Zbl 1361.68022）
全文： 内政部
霍华德·鲍曼（编辑）;约翰·德里克（编辑）

分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） Zbl 1233.68011号

剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).
MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
阿卜杜拉乌夫·本亚希亚;阿诺·库库鲁;萨伏安·塔哈;弗朗索瓦梗;弗莱德里克·博朗格;塞巴斯蒂安·杰拉德

为实时系统扩展UML的标准执行模型。 （英语） Zbl 1198.68165号

Hinchey，Mike（编辑）等人，《分布式、并行和生物启发系统》。2010年9月20日至23日，作为WCC 2010的一部分，在澳大利亚布里斯班举行了第七届IFIP TC 10工作会议（DIPES 2010）和第三届IFIP TC10国际会议（BICC 2010）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15233-7/hbk；978-3-442-15234-4/电子书）。IFIP信息和通信技术进展329，43-54（2010）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Benyahia}等人，IFIP高级信息通信。Technol公司。329、43-54（2010年；Zbl 1198.68165）
全文： 内政部
Stetsyura，G.G。

用于解决数据处理和控制系统中资源分配中的冲突和死锁的快速分散算法。 （英语。俄文原件） Zbl 1198.93129号

自动。远程控制 71，第4期，708-717（2010）; Avtom翻译。Telemekh公司。2010年，第4期，181-190（2010）。
MSC公司：93立方厘米83 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.G.Stetsyura}，自动。遥控71，No.4，708--717（2010；Zbl 1198.93129）；Avtom翻译。Telemekh公司。2010年，第4期，181--190（2010）
全文： 内政部
阿希姆·雷特伯格（编辑）;毛罗·C·扎内拉。（编辑）;迈克尔·阿曼（编辑）;迈克尔·凯基森（编辑）;弗兰兹·兰米格。（编辑）

嵌入式系统的分析、架构和建模。第三届IFIP TC 10国际嵌入式系统研讨会，IESS 2009，德国兰格那根，2009年9月14-16日。诉讼程序。 （英语） Zbl 1183.68018号

IFIP信息和通信技术进展310.柏林：施普林格出版社（ISBN 978-3-642-04283-6/hbk；978-3-442-04284-3/电子书）。xi，第315页。(2009).
MSC公司：68-06 68平方米 68M99型 68岁20岁 68单位99 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Rettberg}（ed.）等人，《嵌入式系统的分析、架构和建模》。第三届IFIP TC 10国际嵌入式系统研讨会，IESS 2009，德国兰格那根，2009年9月14-16日。诉讼程序。柏林：施普林格出版社（2009；Zbl 1183.68018）
全文： 内政部
伊莎贝尔·恶魔戈丁

使用批处理速度可控的批处理Petri网对运输网络进行建模和分析。 （英语） Zbl 1242.90054号

Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，法国巴黎，2009年6月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学讲座笔记5606204-222（2009）。
MSC公司：90B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.恶魔岛}，莱克特。注释计算。科学。5606204-222（2009；Zbl 1242.90054）
全文： 内政部
玛丽亚·斯皮奇科娃

交互式实时系统的基于改进的验证。 （英语） Zbl 1283.68214号

Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214131-157（2008）。
MSC公司：60年第68季度 68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Spichkova}，电子。注释Theor。计算。科学。214131-157（2008年；Zbl 1283.68214）
全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）

组合规范的自动验证：概述。 （英语） Zbl 1279.68217号

Pu，Geguang（编辑）等人，《利用理论为软件工具支持服务的第一届国际研讨会论文集》（TTSS 2007），中国澳门，2007年9月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记207，3-16（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}，电子。注释Theor。计算。科学。207、3-16（2008年；Zbl 1279.68217）
全文： 内政部
穆罕默德·法伊兹·穆罕默德·萨伊德;祖瓦里·易卜拉欣;诺哈尼萨省萨尔敏

使用实时PCR生成用于DNA计算的DNA码字。 （英语） Zbl 1157.68369号

Sahni，S.（编辑），《计算机科学与技术进展》。第四届IASTED国际会议（ACST 2008）会议记录，马来西亚兰卡威，2008年4月2-4日。卡尔加里：国际科学技术促进发展协会（IASTED）；加利福尼亚州阿纳海姆：Acta出版社（ISBN 978-0-88986-730-7/CD-ROM）。150-155 (2008).
MSC公司：68页30 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.F.M.Saaid}等人，《计算机科学与技术进展》。2008年4月2日至4日，马来西亚兰卡威，第四届国际可持续发展大会国际会议记录。卡尔加里：国际科学技术促进发展协会（IASTED）；加利福尼亚州阿纳海姆：Acta出版社。150-155（2008；Zbl 1157.68369）
亚历克斯·亨里克斯;布尔克哈德·温什

改进的无网格变形技术用于可信的交互式软对象模拟。 （英语） Zbl 1160.68529号

JoséBraz（编辑）等人，《计算机视觉和计算机图形》。理论和应用。2007年3月8日至11日在西班牙巴塞罗那举行的2007年VISIGRAPP国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89681-4/pbk；978-3-540-89682-1/电子书）。计算机和信息科学通信21，88-101（2008）。
MSC公司：68吨10 68单位10
PDF格式BibTeX公司 XML格式引用
\textit{A.Henriques}和\textit{B.Wünsche}，Commun。计算。信息科学。21、88-101（2008年；Zbl 1160.68529）
全文： 内政部
顾大章;朗尼·韦尔奇

动态分布式实时系统的鲁棒分配和调度启发式算法。 （英语） Zbl 1153.68338号

Xhafa，Fatos（ed.）等人，分布式计算环境中调度的元启发式。柏林：施普林格出版社（ISBN 978-3-540-69260-7/hbk）。计算智能研究146，61-93（2008）。
MSC公司：68平方米 90B35型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit｛D.Gu｝和\textit｛L.Welch｝，螺柱计算。智力。146、61-93（2008年；Zbl 1153.68338）
全文： 内政部
马钦·斯皮尔卡

使用Adder Designer设计和分析基于规则的系统。 （英语） Zbl 1161.68303号

Cotta，Carlos C.（编辑）等人，《知识驱动计算》。知识工程和智能计算。柏林：施普林格出版社（ISBN 978-3-540-777474-7/hbk）。计算智能研究102，255-271（2008）。
MSC公司：2007年7月68日 68问题85 93立方厘米83
PDF格式BibTeX公司 XML格式引用
\textit｛M.Szpyrka｝，螺柱计算。智力。102255-271（2008年；Zbl 1161.68303）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件