×

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

最新的 引文 关联
Wijnand Suijlen；费利克斯·德·弗雷蒙德；阿尔诺·拉洛伊特；安东尼·佩蒂特

Alldifferent约束的GAC过滤并行算法。 （英语） Zbl 1502.68281号

Schaus，Pierre（编辑），约束编程、人工智能和运筹学的集成。第19届国际会议，CPAIOR 2022，美国加利福尼亚州洛杉矶，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13292, 390-407 (2022).
MSC公司：68T20型 68宽10 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{W.Suijlen}等人，Lect。注释计算。科学。13292，390--407（2022；Zbl 1502.68281）
全文： 内政部
穆罕默德·里兹万·阿里；Pun、Violet Ka I。

基于参与者的工作流建模语言的成本分析。 （英语） Zbl 1498.68069号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 104-121 (2021).
MSC公司：68号30 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Ali}和\textit{V.K.I.Pun}，莱克特。注释计算。科学。13130，104-121（2021；Zbl 1498.68069）
全文： 内政部 链接
马蒂亚斯·科普；周，袁

走向切割平面定理的计算机辅助发现和自动证明。 （英语） 兹比尔1445.68329

Cerulli，Raffaele（编辑）等人，《组合优化》。2016年5月16日至18日，第四届国际研讨会，ISCO，意大利，Vietri sul Mare。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9849, 332-344 (2016).
MSC公司：68伏15 90立方厘米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Köppe}和\textit{Y.Zhou}，Lect。注释计算。科学。9849，332--344（2016；Zbl 1445.68329）
全文： 内政部 arXiv公司
罗伯托·纳尔多；乌戈·詹蒂莱；阿德里亚诺·佩隆；马西莫·贝内雷切蒂；瓦莱里亚·维托里尼；斯特凡诺·马龙；雷纳托·德古列尔莫；尼古拉·马佐卡；路易吉·维拉迪

用于规范化铁路控制系统规范的动态状态机。 （英语） Zbl 1328.68129号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。《计算机与信息科学通信》476，93-109（2015）。
MSC公司：60年第68季度 65年第68季度 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Nardone}等人，Commun。计算。信息科学。476、93——109（2015年；Zbl 1328.68129）
全文： 内政部
马克·佩奇（Marc E.Pfetsch）。；阿明·Fügenschuh；比约恩·盖勒；尼娜·盖勒；拉尔夫·戈尔默；本杰明·希勒；赫斯科·亨波拉；托尔斯滕·科赫；托马斯·莱曼；亚历山大·马丁；安东尼奥·莫尔西；杰西卡·罗维坎普；拉尔斯·施韦；马丁·施密特；吕迪格·舒尔茨；罗伯特·施瓦兹；乔纳斯·施韦格；克劳迪娅·斯坦格尔；马克·斯坦巴赫。；斯特凡·维格尔斯克；伯恩哈德·M·威勒特。

天然气管网优化中提名的验证：模型、方法和解决方案。 （英语） Zbl 1325.90019号

最佳方案。方法软件。 30，第1期，15-53页（2015年）.
MSC公司：90B15号机组 90B10型 90 C90 90立方厘米 90比90
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Pfetsch}等人，Optim。方法软件。30、第1号、第15--53号（2015；Zbl 1325.90019）
全文： 内政部
吉安卢卡·阿马托；弗朗西丝卡·斯科扎里；埃纳州扎法内拉

从多面体的双重描述中高效地删除约束/生成器。 （英语） Zbl 1337.68262号

Simon，Axel（编辑）等人，《第五届数字和符号抽象域国际研讨会论文集》，2014年国家科学院，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记307，3-15，仅电子版（2014）。
MSC公司：68单位05 52磅12 52B55号 90C57型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{G.Amato}等人，《电子》。注释Theor。计算。科学。307、3--15（2014年；Zbl 1337.68262）
全文： 内政部
伊贡博格尔

面向主题的软件设计方法和抽象状态机方法。 （英语） Zbl 1312.68071号

Düsterhöft，Antje（ed.）等人，《概念建模及其理论基础》。在伯恩哈德·塔尔海姆60岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-642-28278-2/pbk）。计算机科学讲义7260，52-72（2012）。
MSC公司：68N99型 2005年第68季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}，莱克特。注释计算。科学。7260，52-72（2012；Zbl 1312.68071）
全文： 内政部
迈克尔·科隆。；桑卡拉纳拉亚南，斯里拉姆

泛化模板多面体域。 （英语） Zbl 1326.68088号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602176-195（2011）。
MSC公司：68号30 52B99号 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Colón}和\textit{S.Sankaranarayanan}，莱克托。注释计算。科学。6602176--195（2011年；Zbl 1326.68088）
全文： 内政部
克里斯托夫·布兰特；延斯·奥滕；克里斯托夫·克里茨；沃尔夫冈·比贝尔

在一阶逻辑中指定和验证组织安全属性。 （英语） Zbl 1309.68167号

Siegler，Simon（编辑）等人，《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际，为他举行庆祝活动。柏林：施普林格出版社（ISBN 978-3-642-17171-0/pbk）。计算机科学课堂讲稿6463。人工智能课堂讲稿，38-53（2010）。
MSC公司：68吨15 60年第68季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{C.Brandt}等人，Lect。注释计算。科学。6463、38-53（2010年；Zbl 1309.68167）
全文： 内政部
曼纽尔·诺格拉；María V.Hurtado。；玛丽亚·路易莎·罗德里格斯；劳伦斯·钟；何塞·路易斯·加里多

使用OWL-DL和CPN对基于UML的协作过程进行本体驱动分析。 （英语） Zbl 1195.68111号

科学。计算。程序。 75，第8期，726-760（2010）.
MSC公司：68岁20岁 68英里11 68问题85 68层35 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Noguera}等人，科学。计算。程序。75，第8号，726--760（2010；Zbl 1195.68111）
全文： 内政部
郑宇军；薛、缙云；左正康

朝向贪婪算法的自动方法。 （英语） Zbl 1248.68466号

邓晓铁（编辑）等，算法前沿。第三届国际研讨会，2009年6月20日至23日，中国合肥，一汽2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02269-2/pbk）。计算机科学课堂讲稿5598，302-313（2009）。
MSC公司：68T20型 90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zheng}等人，Lect。注释计算。科学。5598、302-313（2009年；Zbl 1248.68466）
全文： 内政部
埃卡德·伯德；托马斯·佩肯坎普；詹·拉科夫；塞缪尔·维奇梅耶

基于模型的最小割集重要性分析。 （英语） Zbl 1183.68365号

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311303-317（2008）。
MSC公司：60年第68季度 90B20型 90秒25
PDF格式BibTeX公司 XML格式引用
\textit{E.Böde}等人，Lect。注释计算。科学。5311303-317（2008年；Zbl 1183.68365）
全文： 内政部
多米尼克·坎塞尔；多米尼克·梅里

贪婪算法的增量参数开发。 （英语） Zbl 1335.68293号

Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185，47-62（2007）。
MSC公司：68周05 68第05页 68吨15 68T20型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{D.Cansell}和\textit{D.Méry}，电子。注释Theor。计算。科学。185，47-62（2007；Zbl 1335.68293）
全文： 内政部
博特尼克，E。；北卡罗来纳州特里卡。；A.J.威伊斯。；B.卢提克。；范·德·莫特尔·弗朗茨克（J.M.Van De Mortel-Fronczak）。；巴顿，J.C.M。；W.J.福克金。；罗达，J.E。

使用Spin、CADP和Uppaal分析转台系统的（chi）模型。 （英语） 兹比尔1088.68523

J.日志。阿尔盖布。程序。 65，第2号，51-104（2005）.
MSC公司：68平方米 68米15 90B30型
PDF格式BibTeX公司 XML格式引用
\textit{E.Bortnik}等人，J.Log。阿尔盖布。程序。65，No.2，51--104（2005；Zbl 1088.68523）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件