×

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

JULIA的算法。使用JULIA语言进行优化、机器学习和微分方程。 (英语) Zbl 1512.90003号

查姆:施普林格(ISBN 978-3-031-16559-7/hbk;978-3-0.31-16562-7/pbk;988-3-031-16560-3/电子书)。xxi,439页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

JDK身份散列映射实现的正式规范和验证。 (英语) Zbl 1502.68054号

ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 45-62 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

Isabelle/HOL中高阶概率程序的程序逻辑。 (英语) Zbl 07570114号

Hanus,Michael(编辑)等人,《函数和逻辑编程》。第16届国际研讨会,FLOPS 2022,日本京都,2022年5月10日至12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13215, 57-74 (2022).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程语言和编译器设计中的计算思维。 (英语) Zbl 07765137号

Khuller,Samir(编辑)等人,第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21日至25日。纽约州纽约市:计算机协会(ACM)。1 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Reactamole:功能性反应分子编程。 (英语) Zbl 07741401号

Lakin,Matthew R.(编辑)等人,第27届DNA计算和分子编程国际会议。DNA 27,英国牛津(虚拟会议),2021年9月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。205,第10条,第20页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

适用于程序解释的跟踪。 (英语) Zbl 1520.68018号

哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13008, 202-221 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用具有多个约束的最小集覆盖结构在大型文献数据库中进行知识发现。 (英语) Zbl 1497.68150号

Fidanova,Stefka(编辑),计算优化的最新进展。2019年9月1日至4日在德国莱比锡举行的第十二届计算优化国际研讨会(WCO)的成果。查姆:斯普林格。螺柱计算。智力。920, 49-69 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

松雀鹰:通过数据驱动的源代码注释进行内存安全缺陷检测。 (英语) Zbl 1490.68081号

Yu,Yu(编辑)等人,《信息安全与密码学》。第17届国际会议,Insicrypt 2021,虚拟活动,2021年8月12日至14日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13007, 129-148 (2021).
MSC公司:68号30 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

主题模型加性正则化算法的收敛性。 (英语。俄文原件) Zbl 07466408号

程序。Steklov Inst.数学。 315,补遗1,S128-S139(2021)翻译自Tr.Inst.Mat.Mekh。(叶卡捷琳堡)26,第3期,第56-68页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在答案集语义下估计逻辑程序的基础大小。 (英语) Zbl 07437051号

Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 346-361 (2021).
MSC公司:第68页第27页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

查询起重。异构嵌套集合的语言集成查询。 (英语) Zbl 1473.68067号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 579-606 (2021).
PDF格式BibTeX公司 XML格式引用

代数和几何与Python。 (英语) 1480.00002赞比亚比索

查姆:施普林格(ISBN 978-3-030-61540-6/hbk;978-3-0.30-61543-7/pbk;978-1-3030-61541-3/电子书)。十六、425页。(2021).
MSC公司:00-01 15-01 00A06号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

会计和金融环境中的数据挖掘应用程序。 (英语) Zbl 1452.91322号

Lee,Cheng Few(编辑)等人,《金融计量经济学、数学、统计学和机器学习手册》。第1卷。新泽西州哈肯萨克:《世界科学》。823-857 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂系统中的管理和智能决策:一种优化驱动的方法。 (英语) Zbl 1468.90002号

新加坡:Springer(ISBN 978-981-15-9391-8/pbk;978-981-5-9392-5/电子书)。xi,第83页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SkuARE:基于语义的问答和推理引擎。 (英语) Zbl 07455707号

Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32573-86(2020年)。
MSC公司:68N17号
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

语法上限制可判定子类型的有界多态性。 (英语) Zbl 1476.68041号

Oliveira,Bruno C.d.S.(编辑),《编程语言和系统》。2020年11月30日至12月2日,日本福冈,APLAS 2020第18届亚洲研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12470, 125-144 (2020).
MSC公司:68甲15 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SDF3的多用途语法定义。 (英语) Zbl 1476.68040号

de Boer,Frank(编辑)等人,《软件工程和形式化方法》。第18届国际会议,SEFM 2020,荷兰阿姆斯特丹,2020年9月14-18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12310, 1-23 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统描述:lang-n-change–转换语言的工具。 (英语) Zbl 07368092号

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 198-214 (2020).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有嵌套数据结构和分组的语言集成查询。 (英语) Zbl 07368089号

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 139-158 (2020).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶逻辑编程在面向语言编程中的有效性。 (英语) Zbl 07368087号

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 106-123 (2020).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用编译器中间表示进行多语言和跨语言验证。 (英语) Zbl 1451.68071号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SimpleHypergraphs.jl——超图建模和分析的新型软件框架。 (英语) Zbl 07805861号

Avrachenkov,Konstantin(编辑)等人,网络图的算法和模型。2019年7月6日至7日,澳大利亚昆士兰州布里斯班WAW 2019第16届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11631, 115-129 (2019).
MSC公司:05-04 05C65号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于多语言结构。 (英语) Zbl 1524.68078号

Caires,Luís(编辑),《编程语言和系统》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11423, 293-321 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于分割约束逻辑语言的断言语言。 (英语) Zbl 1524.68064号

弗雷德·梅斯纳德(编辑)等,基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11408, 148-165 (2019).
MSC公司:68甲19 68N17号
PDF格式BibTeX公司 XML格式引用

Uhura:使用受控自然语言指定应答程序的创作工具。 (英语) Zbl 1525.68009号

Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 559-575 (2019).
MSC公司:68N17号 68T50型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于逻辑的文化遗产问答系统。 (英语) Zbl 1525.68163号

Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 526-541 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

RoboChart的概率语义。最弱的完成方法。 (英语) Zbl 07168635号

Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 80-105 (2019).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

空间、时间和因果关系的微积分:代数、几何、逻辑。 (英语) Zbl 07168631号

Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 3-21 (2019).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

可逆命令式并行程序和调试。 (英语) Zbl 1527.68035号

Thomsen,Michael Kirkedal(编辑)等人,可逆计算。第11届国际会议,RC 2019,瑞士洛桑,2019年6月24日至25日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11497, 108-127 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过概率动作语言(p\mathcal{BC}+\)的决策论扩展,阐述了马尔可夫决策过程的容错表示。 (英语) Zbl 1522.68116号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2019年6月3日至7日,第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11481, 224-238 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

介绍高性能科学计算。 (英语) Zbl 1453.65001号

软件-环境-工具30.宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 978-1-61197-563-5/pbk)。xiii,455页。(2019).
PDF格式BibTeX公司 XML格式引用

有限状态技术。自动机、转换器和自行车。 (英语) Zbl 1465.68006号

剑桥理论计算机科学丛书60.剑桥:剑桥大学出版社(ISBN 978-1-108-48541-8/hbk;978-1-108/75694-5/电子书)。x、 304页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PML2:ML中的集成程序验证。 (英语) Zbl 1528.68083号

Abel,Andreas(编辑)等人,第23届国际校样和程序类型会议,2017年5月24日至6月1日,匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104,第4条,第27页(2018年)。
MSC公司:68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用

语言和语法。 (英语) Zbl 1403.68112号

Gudivada,Venkat N.(编辑)等人,《自然语言的计算分析和理解:原理、方法和应用》。阿姆斯特丹:爱思唯尔/北荷兰(ISBN 978-0-444-64042-0/hbk;978-0-64043-7/电子书)。《统计手册》38,15-29(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新审视非线性AMPL模型的表达式表示。 (英语) Zbl 1411.90321号

Al-Baali,Mehiddin(编辑)等人,《数值分析与优化》。根据2017年1月2日至5日在阿曼马斯喀特举行的第四届NAO-IV国际会议上的陈述,选出论文。查姆:斯普林格。Springer程序。数学。《法律总汇》第235卷,第99-118页(2018年)。
MSC公司:90立方
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络动态八卦分析凯特. (英语) Zbl 1518.68034号

Desharnais,Jules(编辑)等人,《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11194, 280-297 (2018).
MSC公司:68甲15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

C语言编程与数值分析:简介。 (英语) Zbl 1397.65001号

机械工程综合讲座13.加州圣拉斐尔:Morgan&Claypool出版社(ISBN 978-1-68173-313-5/hbk;978-1-681 73-311-1/pbk;978-1-68173-312-8/ebook)。xiii,184页。(2018).
MSC公司:65-01 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从LOTOS到LNT。 (英语) Zbl 1498.68062号

Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

Apla+语言中的编排组合符。 (英语) Zbl 1461.68050号

刘少英(主编)等,结构化面向对象形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10189,3-14(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

如何获得一个有效且经过验证的任意决策整数库。 (英语) Zbl 1403.68026号

Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,VSTTE 2017。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-72307-5/pbk;978-3-3169-72308-2/电子书)。计算机科学课堂讲稿10712,84-101(2017)。
MSC公司:68甲15 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

验证Why3中的无分支装配代码。 (英语) Zbl 1403.68027号

Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。2017年7月22日至23日,德国海德堡,第九届国际会议,VSTTE 2017。修订了选定的论文。商会:施普林格出版社(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/ebook)。计算机科学课堂讲稿10712,66-83(2017)。
MSC公司:68甲15 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份