×

找到734个文档(结果1-100)

一种矩阵方法,用于检测具有转换数据路径的有限状态机的代数综合问题的形式解。 (英语。乌克兰原文) Zbl 1510.68006号

赛博。系统。分析。 59,第2期,190-198(2023); 翻译自Kibern。修女。分析。59,第2期,第18-26页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不,不,不。 (英语) Zbl 07740528号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,491-512 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

蒙特卡罗树搜索定价时间自动机。 (英语) Zbl 1522.68273号

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

软件系统lingvodoc及其为ob-ugric语言的文档和分析提供的可能性。 (英语。俄文原件) Zbl 07583222号

多克。数学。 105,第3期,187-206(2022); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。504, 60-82 (2022).
MSC公司:68倍 90倍X
PDF格式BibTeX公司 XML格式引用
全文: 内政部

站点定向删除的非确定性状态复杂性。 (英语) Zbl 07572322号

Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13266, 189-199 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交换正则语言上迭代洗牌的自动机理论正则性刻画。 (英语) 兹比尔07571007

Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13257/164-176(2022年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交换正则语言上迭代洗牌的正则性条件。 (英语) Zbl 07495102号

Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 27-38 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

Pyomo–Python中的优化建模。第3版。 (英语) Zbl 1462.90001号

弹簧优化及其应用67.查姆:施普林格出版社(ISBN 978-3-030-68927-8/hbk;978-3-0.30-68930-8/pbk;978-1-030-68928-5/电子书)。十七、225页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机支持的类模型分类公理化探索。 (英语) Zbl 1509.68328号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).
PDF格式BibTeX公司 XML格式引用

完整的可变长度代码:对单词编辑操作的偏移。 (英语) Zbl 1437.68103号

Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,LATA 2020。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12038, 437-448 (2020).
PDF格式BibTeX公司 XML格式引用

同态异或理论的非对称统一。 (英语) Zbl 1435.68373号

Herzig,Andreas(编辑)等人,《组合系统的前沿》。2019年9月4日至6日,第12届国际研讨会,FroCoS 2019,英国伦敦。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11715, 297-312 (2019).
PDF格式BibTeX公司 XML格式引用

Caucal层次的扩展? (英语) Zbl 1425.03005号

Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11417, 368-380 (2019).
MSC公司:03B15号机组 05年3月 05C76号 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性树语言的部分克隆。 (英语。俄文原件) Zbl 1435.08003号

同胞。数学。J。 60,第3期,497-507(2019); 来自Sib的翻译。材料Zh。60,第3期,640-654页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非均匀性算法:工具和范例。 (英语) Zbl 1402.68004号

离散数学及其应用佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-5071-4/hbk;978-1-4997-5072-1/电子书)。xix,569页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于Hadamard级数和旋转自动机。 (英语) Zbl 1510.68033号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。117,第6条,第14页(2018年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定义理论的模型理论保守扩展。 (英语) Zbl 1434.03028号

Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 133-145 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为什么是这些自动机类型? (英语) Zbl 1415.68122号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 143-163 (2018).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在确定性有序重启删除自动机上。 (英语) Zbl 1517.68210号

Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 529-540 (2018).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

站点定向删除。 (英语) Zbl 1517.68180号

Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 219-230 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

GLOBAL优化算法。最新更新Java实现和并行化。 (英语) Zbl 1496.90002号

SpringerBriefs优化.商会:施普林格出版社(ISBN 978-3-030-02374-4/pbk;978-3-030-02375-1/电子书)。九、111页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

函数式语言停顿问题不可判定性的形式化。 (英语) Zbl 1509.03049号

Moss,Lawrence S.(编辑)等人,《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10944, 196-209 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多标准决策辅助。方法、示例和Python实现。 (英语) Zbl 1408.90151号

弹簧优化及其应用136.查姆:施普林格(ISBN 978-3-319-91646-0/hbk;978-3-3169-91648-4/电子书)。十七、173页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用超级决策进行实际决策v3。层次分析法简介。 (英语) Zbl 1380.90002号

Springer运筹学简介查姆:施普林格(ISBN 978-3-319-68368-3/pbk;978-3-3169-68369-0/电子书)。xix,115页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用时间自动机形式化危险警告通信协议。 (英语) Zbl 1431.68011号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 640-660 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

介绍自然灵感优化。 (英语) Zbl 1397.90003号

阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-12-803636-5/pbk;978-0-12-803666-2/电子书)。十七、238页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 链接

有限自动机和嵌套复制系统上的重复数据消除。 (英语) Zbl 1486.68062号

Patitz,Matthew J.(编辑)等人,《非传统计算与自然计算》。2017年6月5日至9日在美国阿肯色州费耶特维尔举行的第16届UCNC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10240, 194-205 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用MATLAB进行线性规划。 (英语) Zbl 1386.90003号

弹簧优化及其应用127.查姆:施普林格(ISBN 978-3-319-65917-6/hbk;978-3-3169-65919-0/电子书)。十七、637页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时合同下嵌入式控制器的调度。 (英语) Zbl 1369.93359号

第20届ACM混合系统国际会议论文集:计算与控制,HSCC 2017,美国宾夕法尼亚州匹兹堡,2017年4月18日至20日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

使用Aspen Plus进行随机流程优化。 (英语) Zbl 1375.90005号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-8510-5/hbk;978-1-4977-8511-2/电子书)。十七、223页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 链接

Pyomo–Python中的优化建模。第二版。 (英语) Zbl 1370.90003号

弹簧优化及其应用67.商会:施普林格出版社(ISBN 978-3-319-58819-3/hbk;978-3-319-58821-6/ebook)。十八、277页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时频道推荐:一边看电视一边灵活切换。 (英语) Zbl 1475.68375号

朱大明(编辑)等,算法的前沿。2016年6月30日至7月2日,中国青岛,一汽2016年第十届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9711, 183-193 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

行为模型。从建模有限自动机到分析业务流程。 (英语) Zbl 1382.68003号

查姆:施普林格(ISBN 978-3-319-44958-6/hbk;978-3-3169-44960-9/电子书)。xii,279页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。《计算机科学讲义》9965、274-292(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

普通代数中语言歧义的正确处理。 (英语) Zbl 1478.03062号

Annie Foret(编辑)等人,《形式语法》。第20届和第21届国际会议,FG 2015,西班牙巴塞罗那,2015年8月。修订了选定的论文。2016年8月,意大利博赞,FG 2016。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9804, 306-322 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Outfix-guided插入(扩展抽象)。 (英语) Zbl 1436.68166号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 102-113 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异常的相对Hilbert-Post完整性。 (英语) Zbl 1460.68024号

Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9582, 596-610 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

应用于机器人手术的形式验证。 (英语) Zbl 1403.93140号

van Schuppen,Jan H.(编辑)等人,《分布式系统的协调控制》。商会:施普林格出版社(ISBN 978-3-319-10406-5/pbk;978-3-319-10407-2/ebook)。《控制与信息科学课堂讲稿》456347-355(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无界字符串上正则成员资格和长度约束的决策过程。 (英语) Zbl 1471.68119号

Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322135-150(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可逆单子计算。 (英语) Zbl 1351.68100号

Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319217-237,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用

确定性可逆有界计数器上的插入操作。 (英语) Zbl 1423.68249号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8977, 200-211 (2015).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

多通道空间逻辑的不可解释性结果。 (英语) Zbl 1471.03049号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399, 404-421 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件