×

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

最新的 引文 关联
丹尼尔·芬恩（Daniel S.Finn）。;马修·克内普利。;约瑟夫·普兹泰（Joseph V.Pusztay）。;马克·F·亚当斯。

基于PETSc-PIC的朗道阻尼数值研究。 （英语） 兹比尔07795552

Commun公司。申请。数学。计算。科学。 18，编号1，135-152（2023）.
MSC公司：83年第35季度 84年第35季度 35Q61问题 65M60毫米 65页第10页 65亿75 2005年5月 76米28 82D10号 78A35型 78A25型 2005年5月 65-04 68-04
PDF格式BibTeX公司 XML格式引用
\textit{D.S.Finn}等人，Commun。申请。数学。计算。科学。18，编号1，135--152（2023；Zbl 07795552）
全文： 内政部 arXiv公司
陈盛;努尔，Md Rabib

改进类型类的类型错误报告。 （英语） 兹伯利07570112

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 19-38 (2022).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{S.Chen}和\textit{M.R.Noor}，Lect。注释计算。科学。13215、19-38（2022；Zbl 07570112）
全文： 内政部
文森特·拉里

Skalpel：标准ML的类型错误切片器。 （英语） Zbl 1342.68062号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312197-213，仅电子版（2015）。
MSC公司：68N20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}，电子。注释Theor。计算。科学。312197-213（2015；Zbl 1342.68062）
全文： 内政部
雷娜·迪米特洛娃;伯恩德·芬克贝纳;马泰·科瓦茨;拉贝，马库斯·N。;赫尔穆特·塞德尔

反应系统中的模型检查信息流。 （英语） Zbl 1326.68182号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。第13届国际会议，2012年VMCAI，美国宾夕法尼亚州费城，2012年1月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148169-185（2012）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}等人，Lect。注释计算。科学。7148169--185（2012年；Zbl 1326.68182）
全文： 内政部 链接
塞德里克·Fornet;杰雷米·普莱诺

将信息流安全性编译到最小可信计算基础。 （英语） 兹比尔1326.68075

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602216-235（2011）。
MSC公司：68N20型 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{C.Fornet}和\textit{J.Planul}，莱克特。注释计算。科学。6602216--235（2011年；Zbl 1326.68075）
全文： 内政部
于大川

更多类型的汇编语言以确保机密性。 （英语） Zbl 1137.68359号

Shao，Zhong（编辑），《编程语言与系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。《计算机科学讲义》4807，86-104（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Yu}，莱克特。注释计算。科学。4807，86-104（2007；Zbl 1137.68359）
全文： 内政部
伯拉克·埃米尔;马，秦;马丁·奥德斯基

一阶面向对象模式匹配的翻译正确性。 （英语） Zbl 1137.68353号

Shao，Zhong（编辑），《编程语言与系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，54-70（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Emir}等人，Lect。注释计算。科学。4807、54-70（2007年；Zbl 1137.68353）
全文： 内政部
帕维尔·阿古斯蒂诺夫;克里斯滕森，问西蒙;劳丽·亨德伦;萨沙·库津斯;詹妮弗·洛塔克;安大略省Lhoták;奥格·德穆尔;塞雷尼、达米安;甘尼什·西坦帕兰;朱利安·蒂布勒

美国广播公司：一个可扩展的AspectJ编译器。 （英语） Zbl 1165.68356号

Rashid，Awais（ed.）等人，《面向方面软件开发学报》I.柏林：施普林格出版社（ISBN 978-3-540-32972-5/pbk）。计算机科学课堂讲稿3880。《期刊副刊》，293-334（2006）。
MSC公司：68N99型 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Avgustinov}等人，Lect。注释计算。科学。3880、293--334（2006年；Zbl 1165.68356）
全文： 内政部
迈克尔·巴克斯

量化计算反应系统中的概率信息流。 （英语） 兹比尔1487.68052

de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。3679, 336-354 (2005).
MSC公司：68平方米25 68M10个 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backes}，莱克特。注释计算。科学。3679、336--354（2005；Zbl 1487.68052）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件