×

找到115个文档（结果1-100）

最新的 引文 关联
斯文·施奈德;莱恩·兰伯斯

评估图形条件的多样性。 （英语） Zbl 1492.68074号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12741, 122-141 (2021).
MSC公司：2012年第68季度 03B70号 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}和\textit{L.Lambers}，莱克特。注释计算。科学。12741、122--141（2021；Zbl 1492.68074）
全文： 内政部
吉多·马丁内斯;丹尼尔·艾哈曼;维克托·杜米特里斯库;尼克·吉安娜拉基斯;克里斯·霍布利泽尔;Hriţcu，科特林;莫纳尔·纳拉西姆哈默西;Paraskevopoulou，佐伊;Pit-Claudel，Clément公司;乔纳森·普罗琴科;塔希纳州拉马南安德罗;阿西姆·拉斯托吉;斯瓦米，尼基尔

Meta-F\textsuperscript{\（\star\）}：使用SMT、战术和元程序的证明自动化。 （英语） Zbl 1524.68195号

Caires，Luís（编辑），《编程语言和系统》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，第28届欧洲编程研讨会（ESOP 2019）在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11423, 30-59 (2019).
MSC公司：60年第68季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Martínez}等人，Lect。注释计算。科学。11423，30-59（2019；Zbl 1524.68195）
全文： 内政部
OA许可证
哈拉尔德·科尼格;乌韦·沃尔特

在预处理拓扑中成为Van Kampen是一个独特的特性。 （英语） Zbl 1433.68098号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第16条，第15页（2017年）。
MSC公司：68号30 03G30型 18A30型 18对25 18英尺20英寸 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.König}和\textit{U.Wolter}，LIPIcs——莱布尼茨国际程序。通知。72，第16条，第15页（2017；兹bl 1433.68098）
全文： 内政部
拉杜·马达尔;帕南加登，普拉卡什;戈登·普洛金

定量代数推理。 （英语） Zbl 1391.68021号

2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。700-709 (2016).
MSC公司：68号30 08A70号 08B05号 08B20号
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5-8日，美国纽约市，LICS 2016。纽约州纽约市：计算机协会（ACM）。700-709（2016；Zbl 1391.68021）
全文： 内政部 链接
安妮迪亚·班纳吉;戴维·诺曼（David A.Naumann）。;穆罕默德·尼库伊

带有框架和假设的关系逻辑。 （英语） Zbl 1391.68017号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第11条，第16页。(2016).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，LIPIcs——莱布尼茨国际程序。通知。65，第11条，第16页（2016；Zbl 1391.68017）
全文： 内政部 arXiv公司
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔

具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1338.68166号

J.计算。系统。科学。 82，No.5，878-911（2016）.
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
克劳斯·凯梅尔

谓词转换器的健康状况。 （英语） Zbl 1351.68076号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319255-270，仅电子版（2015）。
MSC公司：68号30 68问题55 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Keimel}，电子。注释Theor。计算。科学。319255-270（2015年；Zbl 1351.68076）
全文： 内政部
黑山，曼努埃尔;里卡多·佩纳;詹姆·桑切斯·埃尔南德斯

用于生成验证条件的通用中间表示。 （英语） Zbl 1473.68051号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9527, 227-243 (2015).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.黑山}等人，Lect。注释计算。科学。9527、227--243（2015；Zbl 1473.68051）
全文： 内政部
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃

线性逻辑的无限模型。 （英语） Zbl 1459.03025号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9034, 41-55 (2015).
MSC公司：03B47号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Grellois}和\textit{P.-A.Melliès}，莱克特。注释计算。科学。9034，41-55（2015；Zbl 1459.03025）
全文： 内政部 arXiv公司
托尔斯滕·阿伦特;阿内格丽特·哈贝尔;亨德里克·拉德克;加布里埃尔·坦泽尔

从核心OCL不变量到嵌套图约束。 （英语） 兹比尔1423.68092

Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8571, 97-112 (2014).
MSC公司：68纳米30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Arendt}等人，Lect。注释计算。科学。8571，97-112（2014；Zbl 1423.68092）
全文： 内政部
本·赛义德、纳贾;塔库阿卜杜拉提夫;萨德克本塞勒姆;马吕斯·博兹加

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

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8415，1-20（2014年）。
MSC公司：2007年7月68日 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Ben Said}等人，Lect。注释计算。科学。8415，1--20（2014；Zbl 1416.68014）
全文： 内政部
达内尔·阿赫曼;萨姆·斯塔顿

通过评估和代数效应归一化。 （英语） Zbl 1334.68046号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298，51-69（2013）。
MSC公司：68号30 03B70号 18层20 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}和\textit{S.Staton}，电子。注释Theor。计算。科学。298、51-69（2013年；Zbl 1334.68046）
全文： 内政部
库迪普·乔杜里;Jha，P.C.（哥伦比亚特区）。

包含独立和相关故障概念的模块化软件系统的最优测试工作控制：一种控制理论方法。 （英语） Zbl 1321.68188号

国际J.Optim。控制，Theor。申请。（IJOCTA） 第2期，第129-137页（2012年）.
MSC公司：68纳米30 49公里15 49N90型 90C60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhary}和\textit{P.C.Jha}，国际J.Optim。控制，理论。申请。（IJOCTA）2，第2期，129--137（2012；Zbl 1321.68188）
全文： 内政部
OA许可证
马塞洛·菲奥雷

离散广义多项式函子（扩展抽象）。 （英语） Zbl 1367.18004号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼程序，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学课堂讲稿7392214-226（2012）。
MSC公司：18层20 03G30型 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}，莱克特。注释计算。科学。7392，214--226（2012；Zbl 1367.18004）
全文： 内政部
安东尼·安约林;安迪·舒尔;加布里埃尔·坦泽尔

构造保持完整性的三重图文法。 （英语） Zbl 1367.68124号

Ehrig，Hartmut（编辑）等人，图变换。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33653-9/pbk）。计算机科学课堂讲稿7562，356-370（2012）。
MSC公司：2012年第68季度 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{A.Anjorin}等人，Lect。注释计算。科学。7563256-370（2012年；兹bl 1367.68124）
全文： 内政部
西蒙·希尔舍尔（罗马）;维拉·泽丹

时间尺度上的Hamilton-Jacobi理论及其在线性二次型问题中的应用。 （英语） Zbl 1230.49023号

非线性分析。，理论方法应用。，序列号。A、 理论方法 75，第2期，932-950（2012）.
MSC公司：49升20 49公里15 93立方厘米 49甲10 34号05
PDF格式BibTeX公司 XML格式引用
\textit{R.Šimon Hilscher}和\textit{V.Zeidan}，非线性分析。，理论方法应用。，序列号。A、 理论方法75，第2期，932-950（2012年；Zbl 1230.49023）
全文： 内政部
泽维尔·勒罗伊

机械化语义。应用于程序验证和编译器验证。 （英语） Zbl 1213.68206号

Esparza，Javier（编辑）等人，《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-099-5/hbk；978-1-60750-100-8/电子书）。北约和平与安全科学系列D：信息与通信安全25，195-224（2010）。
MSC公司：68号30 68N20型 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{X.Leroy}，北约科学。和平安全。序列号。D、 信息通信。安全。25195-224（2010年；Zbl 1213.68206）
全文： 内政部 arXiv公司
阿达梅克，吉安尼;斯特凡·米利厄斯;吉里韦莱比尔

高阶递归方案的语义。 （英语） Zbl 1239.68041号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿572849-63（2009）。
MSC公司：68问题55 03B40型 18层20 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。5728、49-63（2009年；Zbl 1239.68041）
全文： 内政部 arXiv公司
丹尼尔·瓦奇斯莫斯;阿恩·罗什

如何从数值上检查无穷维优化问题的充分最优性条件。 （英语） Zbl 1197.49022号

Kunisch，Karl（ed.）等人，偏微分方程耦合系统的最优控制。基于2008年3月2日至8日在德国Oberwolfach举行的国际会议。巴塞尔：Birkhäuser（ISBN 978-3-7643-8922-2/hbk；978-3-7643-8923-9/ebook）。ISNM。国际数值数学系列158297-317（2009）。
MSC公司：49K20型 65奈拉 93年第35季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Wachsmuth}和\textit{A.Rösch}，ISNM，国际期刊。数字。数学。158297--317（2009年；Zbl 1197.49022）
安德烈·诺瓦科夫斯基

多维抛物线“minmax”控制问题的Neumann边界控制。 （英语） Zbl 1188.49025号

Bernhard，Pierre（编辑）等人，《动态游戏及其应用的进展》。分析和数值发展。2006年7月3日至6日，在法国索菲亚·安蒂波利斯举行的第十二届国际动态游戏与应用研讨会上，根据研讨会上的陈述，选出了一些论文。马萨诸塞州波士顿：Birkhä用户（ISBN 978-0-8176-4833-6/hbk；978-0-86-4834-3/电子书）。《国际动态游戏协会年鉴》10，71-83（2009）。
MSC公司：49K20型 49K35型 49号35 49J45型 49甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Nowakowski}，Ann.国际社会。游戏10，71-83（2009；Zbl 1188.49025）
全文： 内政部
卡尔·海因茨·佩内曼

一种近似高级条件可满足性问题的算法。 （英语） 兹比尔1283.68211

König，Barbara（编辑）等人，第三届并发和验证图形转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，75-94（2008）。
MSC公司：第68季度第60季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.-H.Pennemann}，电子。注释Theor。计算。科学。213，第1号，75--94（2008；Zbl 1283.68211）
全文： 内政部
米里奇，ö特凡

最优控制中的构造性动态规划。自治问题。 （英语） Zbl 1052.49026号

布库雷什蒂：罗马伊迪图拉学院（ISBN 973-27-1068-3/pbk）。xi，第413页。(2004).
审核人：Lars Grüne（拜罗伊特）
MSC公司：49升20 49公里15 49号35 49J24型 49J52型 49升25 34A60型 26A27年 第26页第25页
PDF格式BibTeX公司 XML格式引用
\textit｛Ş.Mirică｝，最优控制中的构造性动态规划。自治问题。布库雷什蒂：罗马伊迪图拉学院（Editura Academiei Románe）（2004；Zbl 1052.49026）
克劳斯·哈维隆德

使用运行时分析指导Java程序的模型检查。 （英语） Zbl 0976.68576号

Havelund，Klaus（编辑）等人，SPIN模型检查和软件验证。第七届国际SPIN研讨会，2000年8月30日至9月1日，美国加利福尼亚州斯坦福市。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1885, 245-264 (2000).
MSC公司：68单位99 68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。1885245-264（2000年；Zbl 0976.68576）
玛丽·安妮·威廉姆斯

信念修正的应用。 （英语） Zbl 0931.03051号

Freitag，Burkhard（编辑）等人，《逻辑数据库中的事务和变化》。逻辑数据库和变化意义国际研讨会，德国施洛斯·达格斯图尔，1996年9月23日至27日，ILPS’97逻辑编程和演绎数据库（Trans）操作和变化会后研讨会，DYNAMICS’97，美国纽约州杰斐逊港，1997年10月17日。柏林：斯普林格。勒克特。注释计算。科学。1472, 287-316 (1998).
审核人：D.Makinson（阿夫雷村）
MSC公司：03B80号 03B42号 03B70号 91英镑 68纳米30 第68页第27页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.-A.威廉姆斯}，莱克特。注释计算。科学。1472287-316（1998年；兹bl 0931.03051）
戴维·莱森斯;萨伊迪，哈森

参数化网络的抽象。 （英语） Zbl 0907.68018号

Moller，Faron（编辑），无限状态系统的验证，Infinity’97。1997年7月11日至12日在意大利博洛尼亚举行的第二届国际研讨会上的论文选集。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第9、12页（1997年）。
MSC公司：68M10个
PDF格式BibTeX公司 XML格式引用
\textit{D.Lesens}和\textit{H.Saidi}，in：无限状态系统的验证，Infinity’97。1997年7月11-12日在意大利博洛尼亚举行的第二届国际研讨会上的论文选集。阿姆斯特丹：爱思唯尔。第12页（1997；Zbl 0907.68018）
Turski，W？adys？aw M。

行为编程。 （英语） Zbl 0792.68099号

Bird，Richard S.（编辑）等人，《程序构造的数学》。第二届国际会议，1992年6月29日至7月3日，英国牛津。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。669, 18-31 (1993).
审核人：W.M.Turski（华沙）
MSC公司：60年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Turski}，莱克特。注释计算。科学。669、18-31（1993年；Zbl 0792.68099）
文森佐·曼卡;安东尼奥·萨利布拉

多子集可能为空的多子代数的Birkhoff方程演算的稳健性和完备性。 （英语） Zbl 0749.08005号

西奥。计算。科学。 94，第1期，101-124（1992）.
审核人：S.Bloom（霍博肯）
MSC公司：08A70号 08B05号 68问题55 60年第68季度 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Manca}和\textit{A.Salibra}，Theor。计算。科学。94，第1号，101--124（1992；Zbl 0749.08005）
全文： 内政部
沃尔特·柯奇格·斯纳

项目固有保险分析模型。（Zusicherungen的分析程序模型。） （德语） Zbl 0760.68052号

Berichte der Gesellschaft für Mathematik und Datenverabeitung公司。173.慕尼黑等：奥尔登堡。127页（1988年）。
审核人：N.Curteanu（伊阿什）
MSC公司：60年第68季度 68瓦30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{W.Kirchgässner}，Ein Modell zur Analyse programmingärenter Zusicherungen。慕尼黑等：奥尔登堡（Oldenbourg Verlag）（1988；Zbl 0760.68052）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件