×

找到423个文档（结果1–100）

最新的 引文 关联
马文·布里格;斯特凡·米奇;安德烈·普拉泽

用通信混合程序统一替换动态逻辑。 （英语） Zbl 07838482号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 96-115 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Brieger}等人，Lect。注释计算。科学。14132，96-115（2023；Zbl 07838482）
全文： 内政部 arXiv公司
池田、高石;元朗，昭治

并行程序的可逆运行时环境。 （英语） Zbl 07368062号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 272-279 (2020).
MSC公司：2009年第68季度 2010年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{T.Ikeda}和\textit{S.Yuen}，Lect。注释计算。科学。12227、272--279（2020；Zbl 07368062）
全文： 内政部
马克·押斯波;罗纳德·克雷默;伊凡·达姆加德;丹尼尔·埃斯科德罗;袁、陈

通过Galois环在\（\mathbb{Z}/p^k\mathbb{Z}\）上进行高效信息理论安全多方计算。 （英语） Zbl 1455.94203号

Dennis Hofheinz等人，《密码学理论》。第17届国际会议，TCC 2019，德国纽伦堡，2019年12月1-5日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11891, 471-501 (2019).
MSC公司：94A62型 94A60型 2010年第68季度 第68页第25页 11T71型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abspoel}等人，Lect。注释计算。科学。11891、471--501（2019；Zbl 1455.94203）
全文： 内政部
希曼舒·乔汉;维杰·加格。

在并行计算中快速检测稳定谓词和计数谓词。 （英语） Zbl 1487.68115号

Aspnes，James（编辑）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18-20日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。95，第20条，第21页（2018年）。
MSC公司：2010年第68季度 68号30 68宽10 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{H.Chauhan}和\textit{V.K.Garg}，LIPIcs——莱布尼茨国际程序。通知。95，第20条，第21页（2018；Zbl 1487.68115）
全文： 内政部
汉斯·彼得·兰坦根;斯文·林格

用偏微分方程进行有限差分计算。现代软件方法。 （英语） Zbl 1377.65105号

计算科学与工程文本16.查姆：斯普林格公开赛（ISBN 978-3-319-55455-6/hbk；978-3-3169-55456-3/电子书）。xxiii，507页。，开放存取（2017）。
审核人：罗尔夫·迪特尔·格里戈里夫（柏林）
MSC公司：6500万06 65-01 65升12 第65天05 65号06 65N12号 65小时05 65H10型 2005年5月 35-04 76S05号 76A20型 60克50 第65页第10页 35K05美元 35升05 65日元
PDF格式BibTeX公司 XML格式引用
\textit{H.P.Langtangen}和\textit{S.Linge}，PDE有限差分计算。现代软件方法。查姆：斯普林格公开赛（2017；Zbl 1377.65105）
全文： 内政部
本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩

关于几乎可以肯定的终止的硬度。 （英语） Zbl 1465.68097号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 307-318 (2015).
MSC公司：2017年第68季度 68号30 2010年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.L.Kaminski}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。9234、307--318（2015；Zbl 1465.68097）
全文： 内政部 arXiv公司
张楠;段振华;田聪

圆柱计算模型的公理化。 （英语） Zbl 1332.68144号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。《计算机科学讲义》8591，71-83（2014）。
MSC公司：60年第68季度 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。8591，71-83（2014；Zbl 1332.68144）
全文： 内政部
格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫

RGITL：一种时序逻辑框架，用于对交错程序进行组合推理。 （英语） Zbl 1329.68172号

安。数学。Artif公司。智力。 71，编号1-3131-174（2014）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Schellhorn}等人，《数学年鉴》。Artif公司。智力。71，编号1--3，131-174（2014；Zbl 1329.68172）
全文： 内政部
科尔涅夫，V.V。;A.V.巴德尼克。

基于显式创建轻线程的编程模型的效率。 （俄语。英文摘要） Zbl 1413.68018号

维斯特。尤日诺-乌拉尔。戈斯。州立大学。材料型号。程序。 18（277），第12号，107-111（2012）.
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Korneev}和\textit{A.V.Budnik}，Vestn。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。18（277），第12号，107--111（2012；Zbl 1413.68018）
全文： MNR公司
普伦佐斯、迪米特里奥斯;罗马人Manevich;基沙夫·平加里;凯瑟琳·麦金利。

用于优化并行图程序的形状分析。 （英语） Zbl 1284.68196号

2011年1月26日至28日，美国德克萨斯州奥斯汀，第38届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。159-172 (2011).
MSC公司：68号30 68甲19 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{D.Prountzos}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。159-172（2011年；Zbl 1284.68196）
全文： 内政部
彼得·兰米奇

并行程序的锁敏感分析。 （英语） Zbl 1255.68009号

穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。iv，185页。(2011).
MSC公司：68-02 第68季度第60季度 68甲19 2017年第68季度 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Lammich}，并行程序的锁敏感分析。明斯特：明斯特大学，Mathematicsch Naturwissenschaftliche Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2011年；Zbl 1255.68009）
托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;瓦埃科娃、伊万娜·胡塔·奥娃

具有无界递归的概率程序的运行时分析。 （英语） Zbl 1242.68064号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。《计算机科学讲义》6756319-331（2011）。
审核人：金·索林（乌普萨拉）
MSC公司：68号30 68甲19 2017年第68季度 2010年第68季度 65年第68季度 65年第68季度 87年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。6756、319--331（2011；Zbl 1242.68064）
全文： 内政部 arXiv公司
安托万·米内

嵌入式关键并行C程序中运行时错误的静态分析。 （英语） Zbl 1239.68021号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602398-418（2011）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，莱克特。注释计算。科学。6602398--418（2011年；Zbl 1239.68021）
全文： 内政部 arXiv公司
M.S.塔尔科夫。

用递归神经网络将并行程序的图映射到分布式计算机系统的图上。 （俄语。英文摘要） Zbl 1472.68122号

普里克尔。Diskretn公司。材料。 2010年，第4（10）、33-40（2010）号.
MSC公司：68兰特 64岁以下 68号30 2006年第68季度 2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Tarkov}，普里克尔。Diskretn公司。2010年材料，第4（10）、33-40号（2010年；兹bl 1472.68122）
全文： MNR公司
托马斯·劳贝尔;古杜拉·吕格尔

多核和集群系统的并行编程。2007年第二版德语的扩展英语翻译。 （英语） Zbl 1211.68073号

柏林：施普林格出版社（ISBN 978-3-642-04817-3/hbk；978-3-442-04818-0/电子书）。x、 第455页。(2010).
审核人：Jörg Desel（哈根）
MSC公司：第68页第19页 68-01 68M99型
PDF格式BibTeX公司 XML格式引用
\textit{T.Rauber}和\textit{G.Rünger}，多核和集群系统的并行编程。2007年第2版德语的扩展英语翻译，柏林：Springer（2010；Zbl 1211.68073）
全文： 内政部
文森特·达诺斯;埃勒姆·卡舍菲;帕南加登，普拉卡什;西蒙·佩德里克斯

扩展测量演算。 （英语） Zbl 1209.68250号

Gay，Simon（编辑）等人，《量子计算中的语义技术》。剑桥：剑桥大学出版社（ISBN 978-0-521-51374-6/hbk）。235-310（2010年）。
MSC公司：2005年第68季度 68号30 2010年第68季度 68问题55 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}等人，in：量子计算中的语义技术。剑桥：剑桥大学出版社。235-310（2010年；兹比尔1209.68250）
托尔斯滕·阿滕柯奇;Green，Alexander S。

量子IO单子。 （英语） Zbl 1209.68103号

Gay，Simon（编辑）等人，《量子计算中的语义技术》。剑桥：剑桥大学出版社（ISBN 978-0-521-51374-6/hbk）。173-205 (2010).
MSC公司：68甲18 2005年第68季度 2010年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}和\textit{A.S.Green}，in：量子计算中的语义技术。剑桥：剑桥大学出版社。173-205（2010；Zbl 1209.68103）
吉梅内斯·拉雷多（Jimenez Laredo）、胡安·路易斯（Juan Luis）;梅雷洛·格雷沃斯（Merelo Guervos）、胡安·朱利安（Juan Julian）;佩德罗·安吉尔·卡斯蒂略·巴尔迪维索

进化代理：对等进化算法的框架。 （英语） Zbl 1198.68296号

Fernández de Vega，Francisco（编辑）等人，《并行和分布式计算智能》。柏林：施普林格出版社（ISBN 978-3-642-10674-3/hbk；978-3-442-10675-0/电子书）。计算智能研究269，43-62（2010）。
MSC公司：68瓦15 68T05型 68T42型 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Jimenez Laredo}等人，《研究与计算》。智力。269，43-62（2010年；兹bl 1198.68296）
全文： 内政部
哈，Ok-Kyoon;金永珠（Kim，Young-Joo）;Kang，Mun-Hye先生;Jun，Yong-Kee先生

OpenMP程序种族检测工具的经验比较。 （英语） Zbl 1211.68071号

Ślȩzak，Dominik（编辑）等人，网格和分布式计算。2009年12月10日至12日，作为未来一代信息技术会议（FGIT 2009）的一部分，在韩国济州岛举行了GDC 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-10548-7/pbk；978-3-442-10549-4/电子书）。计算机和信息科学通信63，108-116（2009）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{O.-K.Ha}等人，Commun。计算。信息科学。63、108-116（2009年；Zbl 1211.68071）
全文： 内政部
克里斯汀·保林·莫林

Coq中Kahn网络的构造性指称语义。 （英语） Zbl 1195.68063号

Bertot，Yves（编辑）等人，《从语义学到计算机科学》。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社（ISBN 978-0-521-51825-3/hbk）。383-413 (2009).
MSC公司：68问题55 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Paulin-Mohring}，in：从语义学到计算机科学。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社。383--413（2009年；Zbl 1195.68063）
佩拉娜，萨布里;齐格弗里德·本克纳;Xhafa，法托斯;伦纳德·巴罗利

大规模并行系统的混合性能建模和预测。 （英语） Zbl 1189.68033号

Xhafa，Fatos（编辑），网格和P2P系统中的并行编程、模型和应用。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-004-9/hbk；978-3-540-68844-0/电子书）。并行计算进展17，54-82（2009）。
MSC公司：68甲19 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{S.Pllana}等人，高级并行计算。17、54-82（2009年；Zbl 1189.68033）
全文： 内政部
弗雷德里克·德格伦德;塞雷，凯萨

改进并行算法。 （英语） Zbl 1171.68854号

Alexander，Michael（编辑）等人，《并行和分布式处理的进程代数》。佛罗里达州博卡拉顿：CRC pRESS（ISBN 978-1-4200-6486-5/hbk）。查普曼和霍尔/CRC计算科学系列，77-96（2009）。
MSC公司：68瓦10 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{F.Degerlund}和\textit{K.Sere}，in：并行和分布式处理的进程代数。佛罗里达州博卡拉顿：CRC pRESS。77-96（2009年；Zbl 1171.68854）
米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月

通过程序重写实现分布式系统的形式序列化。 （英语） 兹比尔1278.68213

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，53-75（2007）。
MSC公司：68问题85 68甲19 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bertran}等人，《电子》。注释Theor。计算。科学。188、53-75（2007年；Zbl 1278.68213）
全文： 内政部
托马斯·尼切

并行系统的数据分配和通信管理。 （英语） Zbl 1101.68493号

Berichte aus der Informatik公司亚琛：Shaker-Verlag；柏林：柏林工业大学，Fakultät IV–电子技术/信息学（ISBN 3-8322-5242-8/pbk）。第48页。(2006).
MSC公司：68第05页 68-02 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{T.Nitsche}，并行系统的数据分布和通信管理。亚琛：Shaker-Verlag；柏林：TU-Berlin，Fakultät IV——Elektrotechnik/Informatik（2006；Zbl 1101.68493）
全文： 链接
奥拉、贾罗斯;阿钦斯基;罗曼·威兹科夫斯基

一个面向对象的进化程序库，带有有限元网格划分应用程序。 （英语） Zbl 1088.65538号

Burczyáski，Tadeusz（ed.）等人，IUTAM力学进化方法研讨会。2002年9月24日至27日在波兰克拉科夫举行的IUTAM研讨会会议记录。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-2266-2/hbk）。固体力学及其应用117，351-360（2004）。
MSC公司：65千5 65日元 68甲19 2005年5月 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Żola}等人，《固体力学》。申请。117、351--360（2004年；Zbl 1088.65538）
马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔

关于并行程序的最优切片。 （英语） Zbl 1323.68316号

2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。647-656（2001年）。
MSC公司：65年第68季度 03B70号 68号30 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.üller-Olm}和textit{H.Seidl}，摘自：第三十三届ACM计算理论研讨会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。647--656（2001年；Zbl 1323.68316）
全文： 内政部
雷内·科布勒;Dieter Kranzlmüller;延斯·沃尔科特

使用事件操作调试OpenMP程序。 （英语） Zbl 0997.68729号

Eigenmann，Rudolf（ed.）等人，OpenMP共享内存并行编程。OpenMP应用程序和工具国际研讨会，WOMPAT 2001，美国印第安纳州西拉斐特，2001年7月30日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2104, 81-89 (2001).
MSC公司：68单位99 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Kobler}等人，Lect。注释计算。科学。2104，81-89（2001；Zbl 0997.68729）
S.I.卡特科夫。;波托辛，I.V。

支持开发并行计算算法的设施。 （英语。俄文原件） Zbl 0991.68153号

程序。计算。柔和。 27，第2期，78-85（2001）；译自Programmirovanie 2001，第2期，34-46（2001）。
MSC公司：68宽10 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Katkov}和\textit{I.V.Pottosin}，程序。计算。柔和。27，第2号，78--85（2001；Zbl 0991.68153）；译自Programmirovanie 2001，No.2，34-46（2001）
全文： 内政部
拉杰夫·乔希;贾亚德夫·米斯拉

走向最大并发程序理论（简称）。 （英语） Zbl 1314.68198号

2000年7月16日至19日，美国俄勒冈州波特兰，PODC’00，第19届ACM分布式计算原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-183-6）。319-328（2000年）。
MSC公司：68问题85 64岁以下 68甲19 68宽10 68瓦15
PDF格式BibTeX公司 XML格式引用
\textit{R.Joshi}和\textit{J.Misra}，in：第19届ACM分布式计算原理研讨会论文集，PODC’00，波特兰，俄勒冈州，美国，2000年7月16-19日。纽约州纽约市：计算机协会（ACM）。319--328（2000年；Zbl 1314.68198）
全文： 内政部
多罗申科，A.E。

组织高性能并行计算的数学模型和方法。代数动力学方法。(Математические модели и методы организации высокопроизводительных параллельных вычислений. Алгебродинамический подход.) （俄语） Zbl 1026.68158号

基辅：Naukova Dumka。第177页（2000年）。
MSC公司：68宽10 2005年5月 68-02
PDF格式BibTeX公司 XML格式引用
\文本{A.E.Doroshenko}。АЛГеброДинамибескиракаатитеСкрОДхаД（俄语）。基辅：Naukova Dumka（2000；Zbl 1026.68158）
赫尔穆特·塞德尔;伯恩哈德·斯特芬

并行程序的基于约束的过程间分析。 （英语） Zbl 0960.68035号

Gerd Smolka（编辑），《编程语言和系统》。第九届欧洲规划研讨会，ESOP 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1782, 351-365 (2000).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Seidl}和\textit{B.Steffen}，莱克特。注释计算。科学。1782351-365（2000年；兹bl 0960.68035）
Lee，Eva K。;约翰·米切尔（John E.Mitchell）。

并行分支定界框架中点间SQP算法的计算经验。 （英语） Zbl 0952.90048号

Frenk，Hans（编辑）等人，《高性能优化》。多德雷赫特：Kluwer学术出版社。申请。最佳方案。33, 329-347 (2000).
MSC公司：90立方厘米57 90立方厘米 90摄氏51度 91B28型
PDF格式BibTeX公司 XML格式引用
\textit{E.K.Lee}和\textit{J.E.Mitchell}，应用。最佳方案。33、329--347（2000；Zbl 0952.90048）
Werner Kytölä，奥蒂利亚

ParGrad系统：动态适应CRAY T3E上程序的并行度。 （英语） Zbl 0951.68505号

Krause，Egon（编辑）等人，《科学与工程中的高性能计算》，99年。斯图加特高性能计算中心（HLRS）交易。第二次研讨会，德国斯图加特，1999年10月4日至6日。柏林：斯普林格。457-468 (2000).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{O.Werner-Kytölä}，in：科学与工程中的高性能计算'99。斯图加特高性能计算中心（HLRS）交易。第二次研讨会，德国斯图加特，1999年10月4-6日。柏林：斯普林格。457--468（2000年；Zbl 0951.68505）
詹姆斯·菲利普斯（James C.Phillips）。;罗伯特·布伦纳;Aritom Shinozaki;米林德·邦达卡尔;Neal Kraewetz;阿提拉·古尔索伊;拉克西米坎特卡莱;罗伯特·D·斯科尔。;克劳斯·舒尔滕

避免消息驱动的并行MD代码中的算法混淆。 （英语） Zbl 0966.81060号

Deufhard，Peter（编辑）等人，《计算分子动力学：挑战、方法、想法》。第二届高分子建模算法国际研讨会论文集，德国柏林，1997年5月21日至24日。柏林：斯普林格。莱克特。注释计算。科学。Eng.4472-482（1999年）。
MSC公司：81V55型 81-08 81-04
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Phillips}等人，Lect。注释计算。科学。工程师4，472-482（1999年；兹bl 0966.81060）
斯蒂芬·布鲁克斯

递归过程的推理：扩展并不总是公平的。 （英语） Zbl 0924.68083号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。1999年4月28日至5月1日，路易斯安那州新奥尔良市杜兰大学第十五届会议记录。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。20，电子文件第12号（1999年）。
MSC公司：2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Brookes}，in：编程语义的数学基础。1999年4月28日至5月1日，路易斯安那州新奥尔良市杜兰大学第十五届会议记录。阿姆斯特丹：爱思唯尔。第12号电子文件（1999；Zbl 0924.68083）
全文： 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件