×

找到595份文件(结果1-100)

100
马查克斯

区间概率定时图变换系统。 (英语) Zbl 1492.68071

Gadducci,Fabio(ed.)等人,《图形变换》。第14届国际会议,ICGT2021,作为STAF2021的一部分举行,虚拟活动,2021年6月24-25日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12741221-239年(2021年)。
理学硕士:68Q42号 68Q60型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

等变最小模型程序。 (英语。俄文原件) Zbl 1478.14030

罗斯。数学。苏尔夫。 76,3号,461-542(2021年); Usp翻译。Mat.Nauk 76,第3号,93-182(2021年)。
理学硕士:14E30型 14E07型 14J50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

概率定时图变换系统的组成分析。 (英语) Zbl 1467.68090

Guerra,Esther(ed.)等人,《软件工程的基本方法》。第24届国际会议,FASE 2021,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2021,卢森堡,卢森堡,2021年3月27日至4月1日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12649196-217(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

图转换程序的两级推理。 (英语) Zbl 1429.68043

Guerra,Esther(ed.)等人,《图变换》。第12届国际会议,2019年ICGT,作为2019年STAF的一部分,于2019年7月15日至16日在荷兰埃因霍温举行。查姆:斯普林格。选择。笔记计算。科学。11629、111-127(2019年)。
理学硕士:68N30型 68Q42号 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

非局部NLS显式解和波函数的GBDT和代数几何方法。 (英语) Zbl 1422.35151

PDF格式 BibTeX公司 XML 引用

在没有归纳法的情况下解决归纳数据类型的Horn子句。 (英语) Zbl 1451.68172

理论实践。日志。程序。 18号,3-4号,452-469(2018年); 勘误表同上,19,第4号,629(2019年)。
理学硕士:68Q60型 03B70型 68N17
PDF格式 BibTeX公司 XML 引用

软件水印:一种基于语义的方法。 (英语) Zbl 1412.68036

Mastroeni,Isabella(编辑),《第六届数字和符号抽象域国际研讨会论文集》,NSAD 2016,英国爱丁堡,2016年9月11日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。331,71-85(2017年)。
理学硕士:68N30型 68问55 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

高阶并发分离逻辑中类型与效应的关系模型。 (英语) 兹布1380.68126

Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,2017年,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4660-3)。218-231(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用数组变换程序进行有界模型检验。 (英语) Zbl 1485.68067

Hermenegildo,Manuel V.(ed.)等人,基于逻辑的程序综合与转换。第26届国际研讨会,2016年9月6日至8日,英国爱丁堡,LOPSTR2016。修订论文选集。查姆:斯普林格。选择。笔记计算。科学。10184275-292(2017年)。
理学硕士:68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用

再次访问快速排序。正在验证快速排序的替代版本。 (英语) Zbl 1475.68102

Ábrahám,Erika(ed.)等人,《形式方法的理论与实践》。在弗兰克·德波尔60岁生日之际献给他的文章。查姆:斯普林格。选择。笔记计算。科学。9660407-426(2016年)。
理学硕士:68页10页 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

非线性常微分方程的解耦抽象。 (英语) Zbl 1427.68173

Fitzgerald,John(ed.)等人,FM 2016:形式方法。第21届国际研讨会,塞浦路斯利马索尔,2016年11月9日至11日,会议记录。查姆:斯普林格。选择。笔记计算。科学。9995628-644(2016年)。
理学硕士:68Q60型 34立方厘米 34C20
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

可逆术语重写。 (英语) Zbl 1387.68147

Kesner,Delia(ed.)等人,第一届计算和扣除形式结构国际会议,FSCD 2016,葡萄牙波尔图,2016年6月22-26日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-010-1)。LIPIcs–莱布尼茨国际信息学论文集52,第28条,第18页(2016年)。
理学硕士:68Q42号 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

确保模型转换的正确性,同时保持可判定性。 (英语) Zbl 1482.68085

Sampaio,Augusto(ed.)等人,《计算的理论方面——ICTAC 2016》,第13届国际学术讨论会,台湾台北,中华民国,2016年10月24-31日。会议记录。查姆:斯普林格。选择。笔记计算。科学。9965315-332(2016年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

用符号执行技术消除不可行路径。路径正确性和保存的证明。 (英语) Zbl 1478.68140

Blanchette,Jasmin Christian(编辑)等,交互式定理证明。第七届国际会议,ITP 2016,法国南希,2016年8月22-25日。会议记录。查姆:斯普林格。选择。笔记计算。科学。980736-51(2016年)。
理学硕士:68Q60型 68N30型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

Polycheck:仿射程序上迭代空间变换的动态验证。 (英语) Zbl 1347.68068

Bodik,Rastislav(ed.)等人,《第43届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL'16,圣彼得堡,佛罗里达州,美国,2016年1月20-22日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3549-2)。539-554(2016年)。
理学硕士:68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

概率规划中的条件作用。 (英语) Zbl 1351.68066

Ghica,Dan(编辑),《第31届编程语义学数学基础会议论文集》(MFPS XXXI),荷兰奈梅根,2015年6月22-25日,阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319199-216,电子版(2015)。
理学硕士:68N19 68问55 6887年
PDF格式 BibTeX公司 XML 引用

一个证明平方根和除法的除法。 (英语) Zbl 1351.68062

Bogomolov,Sergiy(ed.)等人,根据第七届和第八届数字软件验证(NSV)国际研讨会(2014年7月17日至18日和2015年4月13日)上的报告选择论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记317117-131(2015)。
理学硕士:68N18 6504年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

数字精度PID控制器的改造。 (英语) Zbl 1352.65665

Bogomolov,Sergiy(ed.)等人,根据第七届和第八届数字软件验证(NSV)国际研讨会(2014年7月17日至18日和2015年4月13日)上的报告选择论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记317,47-54(2015)。
理学硕士:6504年 65克50 93B52型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

术语重写系统中上下文移动变换的正确性。 (英语) Zbl 1473.68057

Falaschi,Moreno(编辑),《基于逻辑的程序综合与转换》。第25届国际研讨会,2015年7月13日至15日,意大利锡耶纳,LOPSTR,修订论文集。查姆:斯普林格。选择。笔记计算。科学。9527331-345(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用于生成验证条件的通用中间表示。 (英语) Zbl 1473.68051

Falaschi,Moreno(编辑),《基于逻辑的程序综合与转换》。第25届国际研讨会,2015年7月13日至15日,意大利锡耶纳,LOPSTR,修订论文集。查姆:斯普林格。选择。笔记计算。科学。9527227-243(2015年)。
理学硕士:68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

精度优化对数值迭代法收敛性的影响。 (英语) Zbl 1474.65479

Falaschi,Moreno(编辑),《基于逻辑的程序综合与转换》。第25届国际研讨会,2015年7月13日至15日,意大利锡耶纳,LOPSTR,修订论文集。查姆:斯普林格。选择。笔记计算。科学。9527143-160(2015年)。
理学硕士:65立方厘米 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用聚类抽象分析无限状态图变换系统。 (英语) Zbl 1432.68299

D'Souza,Deepak(编辑)等人,验证,模型检查和抽象解释。第16届国际会议,2015年VMCAI,印度孟买,2015年1月12日至14日。会议记录。柏林:斯普林格。选择。笔记计算。科学。893135-152(2015年)。
理学硕士:6885年 68Q42号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

反展开问题及其启发式求解。 (英语) Zbl 1428.68126号

Schmidt Schauß,Manfred(ed.)等人,关于程序转换和评估重写技术的第一次国际研讨会,WPTE'14,维也纳,奥地利,2014年7月13日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。第40、27-38页(2014年)。
理学硕士:68N30型 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

混合自动机中的拟因变量。 (英语) Zbl 1361.68118号

第17届ACM混合系统国际会议记录:计算与控制,HSCC 2014,柏林,2014年4月15-17日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-2732-9)。93-102(2014年)。
理学硕士:68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

可组合延续的组合语义:从中止控制到分隔控制。 (英语) Zbl 1345.68046

第19届ACM SIGPLAN函数式编程国际会议论文集,ICFP'14,瑞典哥德堡,2014年9月1-3日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-2873-9)。109-122(2014年)。
理学硕士:68N18 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于使用所有权的程序转换的自动内存管理。 (英语) Zbl 1453.68030

Garrigue,Jacques(编辑),《编程语言与系统》。第12届亚洲研讨会,APLAS 2014,新加坡,新加坡,2014年11月17-19日,会议记录。柏林:斯普林格。选择。笔记计算。科学。8858,58-77(2014年)。
理学硕士:68N15 68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于图的模型转换属性的说明和验证。 (英语) Zbl 1423.68291号

Giese,Holger(ed.)等人,《图形变换》。第七届国际会议,ICGT 2014,作为STAF 2014的一部分举行,英国约克,2014年7月22-24日。会议记录。柏林:斯普林格。选择。笔记计算。科学。8571113-129(2014年)。
理学硕士:68Q60型 68Q42号 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

抽象效果与相关逻辑关系的证明。 (英语) Zbl 1284.68371

第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14。纽约:计算机械协会(ACM)(ISBN 978-1-4503-2544-8)。619-631(2014年)。
理学硕士:68问55 68Q60型 03B70型
PDF格式 BibTeX公司 XML 引用

序列图的精化推理。 (英语) Zbl 1303.68040

van Emde Boas,Peter(ed.)等人,SOFSEM 2013:计算机科学理论与实践。第39届国际计算机科学理论与实践趋势国际会议,2013年1月26日至31日,捷克共和国,什平德勒v Mlýn。柏林:斯普林格出版社(ISBN 978-3-642-35842-5/pbk)。计算机科学课堂讲稿7741432-444(2013)。
理学硕士:68N30型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用于逻辑程序更新的查询驱动传播的增量表。 (英语) Zbl 1407.68085

McMillan,Ken(编辑)等人,《编程逻辑,人工智能和推理》。第19届国际会议,LPAR-19,南非Stellenbosch,2013年12月14-19日。会议记录。柏林:斯普林格。选择。笔记计算。科学。8312694-709(2013年)。
理学硕士:68N17
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用于实时重构建模的持续图变换规则。 (英语) Zbl 1405.68191

刘志明(编)等,《计算的理论问题——ICTAC 2013》,第10届国际学术讨论会,中国上海,2013年9月4日至6日,会议录。柏林:斯普林格出版社(ISBN 978-3-642-39717-2/pbk)。计算机科学课堂讲稿8049427-444(2013)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

属性驱动混淆策略的正式框架。 (英语) Zbl 1390.68179

Gąsieniec,Leszek(ed.)等人,《计算理论基础》。第19届国际研讨会,FCT 2013,英国利物浦,2013年8月19-21日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-40163-3/pbk)。计算机科学课堂讲稿8070133-144(2013)。
理学硕士:68N30型 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于依赖保证的并发程序转换验证仿真。 (英语) Zbl 1321.68201号

第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2012年1月22日至28日,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-1083-3)。455-468(2012年)。
理学硕士:68N30型 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部

一种基于重写的线性时序逻辑重写模型检验器。 (英语) Zbl 1291.68244

Kniesel,Günter(编辑)等人,第九届基于规则编程国际研讨会(rule 2008),奥地利哈根堡哈根伯格城堡,2008年7月14-18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记29019-36(2012)。
理学硕士:68Q60型 03B44号 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

约束感知模式转换。 (英语) Zbl 1291.68213

Kniesel,Günter(编辑)等人,第九届基于规则编程国际研讨会(rule 2008),奥地利哈根堡哈根伯格城堡,2008年7月14-18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记290,3-18(2012)。
理学硕士:68Q42号 68N18 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

嵌入式程序中平方根和除法消除的一种形式化证明。 (英语) Zbl 1383.68026

Hawblitzel,Chris(编辑)等人,认证程序和证明。2012年第二届国际会议,2012年12月13日至15日,日本京都。柏林:斯普林格出版社(ISBN 978-3-642-35307-9/pbk)。计算机科学课堂讲稿7679256-272(2012)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

筛选结果依据…

文件类型

数据库

审查状态

全部的 前5名

作者

全部的 前5名

串行