×

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

最新的 引文 关联
徐建成;牛玉刚;吕新余;李、文

基于组件的加权一次丢弃协议下多智能体系统的滑模一致性控制。 （英语） Zbl 1520.93080号

国际期刊系统。科学。，普林克。申请。系统。集成。 54，第12号，2566-2578（2023）.
MSC公司：93B12号机组 93D50型 93甲16
PDF格式BibTeX公司 XML格式引用
\textit{J.Xu}等人，国际期刊系统。科学。，普林克。申请。系统。集成。54，编号12，2566--2578（2023；Zbl 1520.93080）
全文： 内政部
丹妮拉·卡尔维蒂;埃尔基·萨默萨洛

数据科学的数学。聚类和分类的计算方法。 （英语） Zbl 1471.68001号

数据科学丛书宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 978-1-61197-636-6/pbk）。x、 189页。（2021）。
审核人：阿波斯托洛斯·巴西迪斯（约阿尼纳）
MSC公司：68-01 2015年1月15日 15A23型 62H25个 62H30型 68T05型 68T09号
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvetti}和\textit{E.Somersalo}，数据科学数学。聚类和分类的计算方法。宾夕法尼亚州费城：工业与应用数学学会（SIAM）（2021；Zbl 1471.68001）
安德烈亚斯·米勒;斯特凡·米奇;沃纳·雷茨基格;维兰德·施温格;安德烈·普拉泽

混合系统组件验证的变更和延迟合同。 （英语） Zbl 1430.68154号

Huisman，Marieke（编辑）等人，《软件工程的基本方法》，第20届国际会议，2017年FASE，作为欧洲软件理论与实践联合会议的一部分，2017年ETAPS，2017年4月22日至29日，瑞典乌普萨拉。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10202, 134-151 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Müller}等人，Lect。注释计算。科学。102021134-151（2017年；兹比尔1430.68154）
全文： 内政部
孙，柯

通过集成同步组件进行多速率系统设计。 （英语） Zbl 1471.68039号

Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9399, 464-482 (2015).
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{K.Sun}，莱克特。注释计算。科学。9399，464--482（2015；Zbl 1471.68039）
全文： 内政部
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐

对组件集成进行编程和验证。 （英语） Zbl 1416.68051号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 69-83 (2014).
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。8415，69-83（2014；Zbl 1416.68051）
全文： 内政部
本·赛义德、纳贾;塔库阿卜杜拉提夫;萨德克·本萨勒姆;马吕斯·博兹加

基于组件的系统的模型驱动信息流安全。 （英语） 兹伯利1416.68014

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 1-20 (2014).
MSC公司：2007年8月 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Ben Said｝等人，Lect。注释计算。科学。8415，1--20（2014；Zbl 1416.68014）
全文： 内政部
迈拉·斯皮利奥普鲁（编辑）;拉尔斯·施密特·蒂姆（编辑）;露丝·詹宁（编辑）

数据分析、机器学习和知识发现。2012年8月1日至3日，德国希尔德斯海姆，GfKl 2012，Gesellschaft für Klassifikation，德国船级社第36届年会上提交的选定论文的修订版。 （英语） Zbl 1301.68022号

分类、数据分析和知识组织研究查姆：施普林格（ISBN 978-3-319-01594-1/pbk；978-3-3169-01595-8/电子书）。xxi，第470页。(2014).
审核人：Irina Ioana Mohorianu（诺维奇）
MSC公司：68-06 68个P01 68T05型 68立方英尺 62-07 62页99
PDF格式BibTeX公司 XML格式引用
\textit{M.Spiliopoulou}（编辑）等人，《数据分析、机器学习和知识发现》。德国船级社第36届年会（Gesellschaft für Klassifikation，GfKl 2012，德国希尔德斯海姆，2012年8月1日至3日）上提交的选定论文的修订版。查姆：施普林格（2014；Zbl 1301.68022）
全文： 内政部
穆罕默德·伊扎迪;阿里·莫瓦加尔

基于组合故障的约束自动机等价。 （英语） Zbl 1339.68187号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，105-122（2009）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Izadi}和\textit{A.Movaghar}，电子。注释Theor。计算。科学。250，第1号，第105-122条（2009年；Zbl 1339.68187）
全文： 内政部
尼古拉·贝内什;科瓦内克，米兰;Štefaňák，Filip

组件交互自动机的空间有效模型检查。 （英语） Zbl 1247.68159号

Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍，选出了一些论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列13，78-85，仅电子版（2009年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，OASIcs--OpenAccess服务器。通知。13、78——85（2009年；Zbl 1247.68159）
全文： 内政部
李成浦;刘晓东;肯尼迪，杰西

用于整体组件规范和检索的多视图相关本体模型。 （英语） Zbl 1185.68307号

Ślęzak，Dominik（ed.）等人，《软件工程进展》，高级软件工程及其应用国际会议，ASEA 2009。作为未来一代信息技术会议的一部分，2009年12月10日至12日在韩国济州岛举行了FGIT 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-10618-7/pbk；978-3-442-10619-4/电子书）。《计算机和信息科学中的通信》59，50-60（2009）。
MSC公司：68第20页 68T05型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Li｝等人，Commun。计算。信息科学。59、50-60（2009年；Zbl 1185.68307）
全文： 内政部 链接
沃尔特·多施;安妮特·圣佩尔

扩展交互式有界队列的服务域。 （英语） Zbl 1181.68069号

Castillo，Oscar（编辑）等人，《智能系统和计算机工程趋势》（IMECS 2007）。根据2007年3月21日至23日在中国香港举行的国际会议上的发言选出的论文。纽约州纽约市：施普林格出版社（ISBN 978-0-387-74934-1/hbk）。电气工程课堂讲稿6599-618（2008）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{W.Dosch}和\textit{A.Stümpel}，莱克特。注释Electr。工程6，599--618（2008；Zbl 1181.68069）
全文： 内政部
卡尔·埃里克·奥泽恩;安东尼奥·比奇;吉安卢卡·迪尼;斯蒂芬·海尔斯;卡尔·约翰逊。;约翰·莱杰罗斯;Tzes，安东尼

一种基于组件的网络控制系统设计方法。 （英语） Zbl 1293.93543号

欧洲药典控制 13，编号2-3，261-279（2007）.
MSC公司：93C85号 93立方厘米 93磅40
PDF格式BibTeX公司 XML格式引用
\textit{K.-E.Au rzén}等人，《欧洲药典》第13卷，第2--3261--279号（2007年；Zbl 1293.93543）
全文： 内政部 链接
汤姆·乔西亚;庞、军;穆罕默德·托拉比·达什蒂

在资源感知组件中保守秘密。 （英语） Zbl 1279.68253号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，79-94（2007）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chothia}等人，《电子》。注释Theor。计算。科学。190，第3号，79-94（2007；Zbl 1279.68253）
全文： 内政部
普兰达尔·巴杜里

嵌入式实时组件的时间表验证和合成。 （英语） Zbl 1189.93090号

Ramesh，S.（ed.）等人，分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格（ISBN 978-1-4020-6253-7/hbk）。137-153 (2007).
MSC公司：93C70号 93C85号 93立方厘米 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{P.Bhaduri}，in：分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格。137-153（2007年；Zbl 1189.93090）
全文： 内政部
奥尔加·库什纳伦科;阿诺·拉诺克斯

如何验证和利用基于组件的系统的细化。 （英语） Zbl 1185.68416号

Virbitskaite，Irina（编辑）等人，《系统信息学展望》。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修改后的文件。柏林：施普林格出版社（ISBN 978-3-540-70880-3/pbk）。计算机科学课堂讲稿4378，297-309（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kouchnarenko}和\textit{A.Lanoix}，莱克特。注释计算。科学。4378，297--309（2007；Zbl 1185.68416）
全文： 内政部 链接
刘志明（编辑）;何继峰（编辑）

组件软件的数学框架。分析和合成模型。 （英语） 兹比尔1139.68333

基于组件的软件开发系列2.新泽西州哈肯萨克：世界科学（ISBN 978-981-270-017-9/hbk；978-981-2 77-283-1/电子书）。xii，第354页。(2007).
MSC公司：68N99型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{Z.Liu}（编辑）和\textit{J.He}（主编），组件软件的数学框架。分析和合成模型。新泽西州哈肯萨克：《世界科学》（2007；Zbl 1139.68333）
全文： 内政部
普拉塞蒂亚，I.S.W.B。;沃斯·T·E·J。;A.阿祖拉。;瑞典斯威斯特拉。

面向基于组件的系统的基于UNITY的框架。 （英语） Zbl 1129.68385号

Higashino，Teruo（编辑），分布式系统原理。2004年12月15日至17日在法国格勒诺布尔举行的2004年OPODIS第八届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-27324-7/pbk）。计算机科学课堂讲稿3544，52-66（2005）。
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{I.S.W.B.Prasetya}等人，Lect。注释计算。科学。3544、52-66（2005年；Zbl 1129.68385）
全文： 内政部
石建清;罗德里克·默里·史密斯;D.Mike Titterington;巴拉克·A·皮尔默特。

用于学习大型数据集的过滤高斯过程。 （英语） Zbl 1112.60307号

Murray-Smith，Roderick（编辑）等人，《反馈系统中的切换和学习》。2003年9月8日至10日，爱尔兰Maynooth，欧洲多智能体控制暑期学校。修订的讲座和精选的论文。柏林：施普林格出版社（ISBN 3-540-24457-3/pbk）。计算机科学课堂讲稿3355128-139（2005）。
MSC公司：60G15年 62米10 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Q.Shi}等人，Lect。注释计算。科学。33551128-139（2005年；兹bl 1112.60307）
全文： 内政部
哈塞内·福查尔;安托万·罗莱;阿巴斯·塔希尼

组合定时系统的鲁棒性。 （英语） Zbl 1117.68321号

Vojtáš，Peter（编辑）等人，《SOFSEM 2005：计算机科学的理论与实践》。2005年1月22日至28日，斯洛伐克利普托夫斯克·扬，第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24302-X/pbk）。计算机科学讲座笔记3381157-166（2005）。
MSC公司：64岁以下 68米15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fouchal}等人，Lect。注释计算。科学。3381157--166（2005年；Zbl 1117.68321）
全文： 内政部
迈克尔·霍夫鲍尔（Michael W.Hofbaur）。

复杂系统的混合估计。 （英语） Zbl 1111.93002号

控制与信息科学课堂讲稿319.柏林：施普林格出版社（ISBN 3-540-25727-6/pbk）。xix，148页；(2005).
审核人：亚历山大·瓦西尔耶夫（敖德萨）
MSC公司：93-02 37甲10 68泰克 93D09型 93E10型 93E11号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.W.Hofbaur}，复杂系统的混合估计。柏林：施普林格出版社（2005；Zbl 1111.93002）
全文： 内政部
梅图斯，V.Yu。

自动化生产控制系统中的智能组件。 （英语。俄文原件） Zbl 1124.93342号

赛博。系统。分析。 39，第3期，345-356（2003）; 翻译自Kibern。西斯特。分析。39，第3号，第29-44页（2003年）。
MSC公司：93C83号 90B30型 68层35
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Meitus}，Cybern。系统。分析。39，第3号，345--356（2003；Zbl 1124.93342）；翻译自Kibern。西斯特。分析。39，第3期，29--44（2003）
全文： 内政部
乌菲·科克·维尔

建设开发环境的经验教训。 （英语） Zbl 1024.68885号

纽伦堡，Peter J.（编辑），元信息学。2002年8月7日至10日在丹麦埃斯比杰格举行的MIS 2002国际研讨会。修改后的文件。柏林：斯普林格。莱克特。注释计算。科学。2641, 9-17 (2003).
MSC公司：68单位99 68单元01 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{英国威尔}，Lect。注释计算。科学。2641、9--17（2003年；Zbl 1024.68885）
全文： 链接
巴什尔梅尼，拉什洛;斯塔利，克里斯蒂安;哈拉尔德·科什;克里斯蒂安·贝克尔

分布式对象系统和分布式多媒体对象/组件系统中的服务质量。 （英语） Zbl 1048.68687号

Frohner，Ákos（编辑），面向对象技术。ECOOP 2001车间读取器。小组和海报，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43675-8）。莱克特。注释计算。科学。2323, 7-29 (2002).
MSC公司：68单位99 68甲19 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{L.Böszörményi}等人，Lect。注释计算。科学。2323年7月29日（2002年；Zbl 1048.68687）
全文： 链接
T·王尔德。;科尔，J.A。;R.E.jun弗拉纳里。

将CUMULVS集成到AVS/Express中。 （英语） 兹比尔1055.68667

Peter M.A.Sloot（编辑）等人，《计算科学-ICCS 2002》。第二届国际会议，荷兰阿姆斯特丹，2002年4月21日至24日。诉讼程序。第2部分。柏林：施普林格出版社（ISBN 3-540-43593-X）。莱克特。注释计算。科学。2330, 864-873 (2002).
MSC公司：68单位99 68岁20岁 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Wilde}等人，Lect。注释计算。科学。2330864--873（2002年；Zbl 1055.68667）
全文： 链接
肖松荣;范国钦;宋文泰;Ou，Shih-Ching先生

使用基于web的实时模式识别系统搜索组件模式数据库。 （英语） Zbl 1025.68564号

Shafazand，Hassan（编辑）等人，《2002年欧亚信息与通信技术》。第一届欧亚会议，2002年10月29日至31日，伊朗设拉子。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2510, 739-746 (2002).
MSC公司：68单位99 68单位35 68M10个 第68页，共15页 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{S.-J.Xiao}等人，Lect。注释计算。科学。2510739-746（2002年；Zbl 1025.68564）
全文： 链接
沃尔克·格鲁恩;洛塔尔·舍普

电子商务门户系统的软件流程。 （英语） Zbl 1015.68788号

韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 315-331 (2002).
MSC公司：68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{V.Gruhn}和\textit{L.Schöpe}，莱克特。注释计算。科学。2480、315--331（2002年；Zbl 1015.68788）
全文： 链接
大卫·E·伯恩霍尔德（David E.Bernholdt）。;瓦尔·埃尔瓦西夫。;詹姆斯·科尔。

基于高性能组件的科学计算中的通信基础设施。 （英语） 兹比尔1015.68915

Kranzlmüller，Dieter（编辑）等人，并行虚拟机和消息传递接口的最新进展。第九届欧洲PVM/MPI用户小组会议，2002年9月29日至10月2日，奥地利林茨。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2474, 260-270 (2002).
MSC公司：68单位99 68甲19 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{D.E.Bernholdt}等人，Lect。注释计算。科学。2474260-270（2002年；Zbl 1015.68915）
全文： 链接
加勒坦·瓦内;铃木、元弘;托鲁省Egashira;吉崎基里哈

互联网服务交付和管理的平台架构。 （英语） Zbl 1046.68938号

Anthony Ambler等人，《智能网络中的服务管理》。第11届IFIP/IEEE分布式系统国际研讨会：操作和管理，DSOM 2000，奥斯汀，德克萨斯州，美国，2000年12月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41427-4）。莱克特。注释计算。科学。1960年，95-106（2000）。
MSC公司：68单位99 64岁以下 68个M12 68层35
PDF格式BibTeX公司 XML格式引用
\textit{G.Vanet}等人，Lect。注释计算。科学。1960年，95-106（2000年；Zbl 1046.68938）
全文： 链接
约翰·舒曼（Johann M.Schumann）。

软件工程中的自动定理证明。Donald Loveland引言。 （英语） Zbl 0977.68074号

柏林：斯普林格。xiv，228 p.79.00马克；öS 577.00；新加坡法郎70.00；£27.00; $ 39.95 (2000).
审核人：Mihai Cipu（布库雷什蒂）
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Schumann}，软件工程中的自动定理证明。唐纳德·洛夫兰（Donald Loveland）前言。柏林：施普林格出版社（2000；Zbl 0977.68074）
彼得·韦格纳

推理、建模和基于组件的技术。 （英语） Zbl 0793.68041号

安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。698, 372-386 (1993).
MSC公司：68N17号 68T20型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Wegner}，莱克特。注释计算。科学。698372-386（1993年；Zbl 0793.68041）
克里斯蒂安·波普

黑板系统的解释组件。（Eine Erklärungskomponent für ein Blackboard-System） （德语） Zbl 0825.68015号

Fortschritt-Berichte VDI公司。Reihe 10，Informatik/Kommunikationstechnik。10:Informatik/Kommunikationstechnik，135年。杜塞尔多夫：VDI-Verlag。七、 第137页（1990年）。
MSC公司：68-01 68层35 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Popp}，Eine Erklärungskcomponent für ein Blackboard-System（黑板系统）。杜塞尔多夫：VDI-Verlag（1990；Zbl 0825.68015）
斯特凡·施罗德

在系统环境中集成用于模式分析的知识组件。（在eine Systemumgebung für die Musteranalysie中集成einer Wissensk组件。） （德语） Zbl 0825.68016号

Fortschritt-Berichte VDI公司。Reihe 10，Informatik/Kommunikationstechnik。10:Informatik/Kommunikationstechnik，第136页。杜塞尔多夫：VDI-Verlag。六、 210页（1990年）。
MSC公司：68-01 68立方英尺 68层35 68单位10
PDF格式BibTeX公司 XML格式引用
\textit｛S.Schröder｝，在Musteranalyse的系统中集成Wissenskomponente。杜塞尔多夫：VDI-Verlag（1990；Zbl 0825.68016）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件