×

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

最新的 引文 关联
莫希特·特克里瓦尔;安德鲁·W·阿佩尔。;阿里尔·凯利森（Ariel E.Kellison）。;大卫·宾德尔;Jeannin、Jean-Baptiste

验证了平稳迭代线性解算器的正确性、准确性和收敛性：Jacobi方法。 （英语） Zbl 07810733号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 206-221 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Tekriwal}等人，Lect。注释计算。科学。14101206-221（2023；Zbl 07810733）
全文： 内政部
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健

网络物理系统传感器攻击的定量稳健性分析。 （英语） Zbl 07807961号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Chong}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023；Zbl 07807961）
全文： 内政部
穆罕默德·马盖内姆;阿德纳·索乌德;安东尼奥·洛里亚

分布式混合梯度算法及其在协作自适应估计中的应用。 （英语） Zbl 07807723号

第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，2022年5月4日至6日。纽约州纽约市：计算机协会（ACM）。第15号论文，第10页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Maghenem}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第15号论文，第10页（2022；Zbl 07807723）
全文： 内政部 哈尔
史海鹏;石、海河;徐胜华

算法设计通过优化重用生成。 （英语） Zbl 1481.68048号

何坤（编辑）等，《理论计算机科学》。2020年11月13日至15日，中国南宁，NCTCS 2020第38届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1352, 14-32 (2021).
MSC公司：68周01 68号30 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{H.Shi}等人，Commun。计算。信息科学。1352，14-32（2021；Zbl 1481.68048）
全文： 内政部
杰森·贝尔;托马斯·利德贝特（Thomas F.Lidbetter）。;杰弗里·沙利特

通过正则语言逼近的加法数论。 （英语） Zbl 1467.11011号

发现的国际期刊。计算。科学。 31,6号，667-687（2020）.
审核人：Jean-Paul Allouche（巴黎）
MSC公司：11B13号机组 11A63型 11B85号 68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bell}等人，国际法学研究所。计算。科学。31，第6号，667--687（2020；Zbl 1467.11011）
全文： 内政部
埃里克·德朱利

随机语言中秩序的出现。 （英语） Zbl 1509.68131号

《物理学杂志》。A、 数学。西奥。 52，第50号，文章ID 504001，17 p.（2019）; 更正同上，第55号，第48条，第489501条，第4页（2022年）。
MSC公司：65年第68季度 2012年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛E.De Giuli｝，J.Phys。A、 数学。西奥。52，第50号，文章ID 504001，第17页（2019；Zbl 1509.68131）
全文： 内政部 arXiv公司
斯佩兰斯基、德米特里·瓦西尔埃维奇

模糊线性自动机测试。 （俄语。英文摘要） Zbl 1425.93171号

伊兹夫。萨拉特。Univ.（N.S.），Ser。马特·梅赫。通知。 19，第2期，233-240（2019）.
MSC公司：93立方厘米 93立方厘米05 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{D.V.Speranskiĭ}，Izv。萨拉特。Univ.（N.S.），Ser。马特·梅赫。通知。19，第2号，233--240（2019年；Zbl 1425.93171）
全文： 内政部 MNR公司
R.M.巴巴科夫。;Barkalov，A.A。

具有转换数据路径的微程序有限状态机合成方法的结构分类。 （英语。俄文原件） Zbl 1443.68081号

赛博。系统。分析。 55，第2期，167-173（2019）; 翻译自Kibern。修女。分析。2019年，第2期，第3-9期（2019年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.M.Babakov}和\textit{A.A.Barkalov}，Cybern。系统。分析。55，No.2，167--173（2019；Zbl 1443.68081）；翻译自Kibern。修女。分析。2019年第2、3-9号（2019年）
全文： 内政部
安德烈·阿西诺夫斯基;巴彻、阿克塞尔;西里尔·班德利尔;伯恩哈德·吉滕贝格

具有禁止模式的格路径的分析组合：渐近方面和博尔赫斯定理。 （英语） Zbl 1482.05009号

Fill，James Allen（编辑）等人，第29届算法分析的概率、组合和渐近方法国际会议，2018年6月25日至29日，AofA 2018，瑞典乌普萨拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。110，第10条，第14页（2018年）。
MSC公司：2015年1月5日 2016年1月5日 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Asinowski}等人，LIPIcs——莱布尼茨国际程序。通知。110，第10条，第14页（2018；Zbl 1482.05009）
全文： 内政部
Farmer，William M。

一种新型的数学证明。 （英语） Zbl 1395.68257号

Davenport，James H.（编辑）等人，《数学软件–ICMS 2018》。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。计算机科学课堂讲稿10931175-181（2018）。
MSC公司：68立方英尺 07年3月 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}，莱克特。注释计算。科学。10931175-181（2018；Zbl 1395.68257）
全文： 内政部
安德烈·阿西诺夫斯基;巴彻、阿克塞尔;西里尔·班德利尔;伯恩哈德·吉滕贝格

具有禁止模式的格路径的分析组合：枚举方面。 （英语） Zbl 1437.68090号

Klein，Shmuel Tomi（编辑）等人，《语言和自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 195-206 (2018).
MSC公司：65年第68季度 2015年1月5日 2016年1月5日 11B75号
PDF格式BibTeX公司 XML格式引用
\textit{A.Asinowski}等人，Lect。注释计算。科学。10792、195--206（2018；Zbl 1437.68090）
全文： 内政部
斯特凡诺·席沃;罗姆·兰格拉克

使用UPPAAL对连续动力系统进行离散化。 （英语） Zbl 1498.68142号

Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10500297-315（2017年）。
MSC公司：65年第68季度 2015年11月37日 65升05 60年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Schivo}和\textit{R.Langerak}，莱克特。注释计算。科学。10500，297--315（2017；Zbl 1498.68142）
全文： 内政部 链接
休伯特·加拉维;弗雷德里克·朗;温德林·塞维

从LOTOS到LNT。 （英语） Zbl 1498.68062号

Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).
MSC公司：68甲15 68N20型 60年第68季度 第68季度第65季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}等人，Lect。注释计算。科学。10500，3--26（2017；Zbl 1498.68062）
全文： 内政部 哈尔
尼古拉斯·巴塞特;Jean Mairesse女士;米歇尔·索里亚

自动机网络的均匀采样。 （英语） Zbl 1442.68081号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第36条，第16页（2017年）。
MSC公司：65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Basset}等人，LIPIcs——莱布尼茨国际程序。通知。85，第36条，第16页（2017年；Zbl 1442.68081）
全文： 内政部
张楠;段振华;田聪;杜洪伟;Yang，Kai（杨凯）

建模和验证多核程序。 （英语） Zbl 1474.68196号

高晓峰（主编）等，组合优化及其应用。第十一届国际会议，2017年COCOA，中国上海，2017年12月16-18日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。10628492-500（2017年；兹比尔1474.68196）
全文： 内政部
塔姆，Hellis

Kameda-Weiner方法的新解释和推广。 （英语） Zbl 1388.68182号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 116，12 p.（2016）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Tamm}，LIPIcs——莱布尼茨国际程序。通知。55，第116条，第12页（2016年；Zbl 1388.68182）
全文： 内政部
代表，托马斯;艾玛·特雷茨基;Prabhu、Prathmesh

通过张量积进行牛顿程序分析。 （英语） Zbl 1347.68094号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。663-677 (2016).
MSC公司：68号30 2016年60月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Reps}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。663--677（2016；Zbl 1347.68094）
全文： 内政部
伊沃·杜恩施;格迪加（Günther Gediga）

简化上下文结构。 （英语） Zbl 1436.68332号

Kryszkiewicz，Marzena（编辑）等人，《模式识别和机器智能》。2015年6月30日至7月3日在波兰华沙举行的2015年PReMI第六届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9124, 23-32 (2015).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{I.Düntsch}和\textit{G.Gediga}，莱克特。注释计算。科学。9124，23-32（2015；Zbl 1436.68332）
全文： 内政部
购买，D.B。;科列加耶夫，O.M。

软件开发中的形式化方法Z、B和VDM：比较分析。 （乌克兰语。英文摘要） 兹比尔1363.68037

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第4期，96-101（2015）.
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.B.Buy}和\textit{O.M.Kolegaev}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2015，第4期，第96-101页（2015；Zbl 1363.68037）
Yoneyama、Kazuki

随机预言机可编程性的形式化建模和使用任务PIOA验证签名不可伪造性。 （英语） Zbl 1453.68026号

Lee，Jooyoung（编辑）等人，《信息安全与密码学——ICISC 2014》。第17届国际会议，韩国首尔，2014年12月3-5日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8949, 37-52 (2015).
MSC公司：68平方米25 65年第68季度 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{K.Yoneyama}，莱克特。注释计算。科学。8949，37-52（2015；Zbl 1453.68026）
全文： 内政部
Yoneyama、Kazuki

非对称双线性配对协议的计算可靠性。 （英语） Zbl 1368.94136号

Chow，Sherman S.M.（编辑）等人，《可证明安全性》。第八届国际会议，ProvSec 2014，中国香港，2014年10月9日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-12474-2/pbk）。计算机科学课堂讲稿8782317-325（2014）。
MSC公司：94A60型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{K.Yoneyama}，莱克特。注释计算。科学。8782317--325（2014；Zbl 1368.94136）
全文： 内政部
张楠;段振华;田聪

圆柱计算模型的公理化。 （英语） 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）
全文： 内政部
Bychkov，A.S。

脉冲模糊线性混合自动机的稳定性。 （乌克兰语。英文摘要） Zbl 1289.93066号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，79-86（2012）.
MSC公司：93立方 65年第68季度 93立方厘米 93D05型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Bychkov}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2号，第79-86号（2012；Zbl 1289.93066）
杰雷米·米尔豪;马克·弗拉皮耶;雷吉尼·拉劳

访问控制策略B建模的元模型：工作进行中。 （英语） Zbl 1303.68053号

Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2011年5月12日至13日，法国巴黎，第四届加拿大-法国MITACS研讨会，FPS 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27900-3/pbk）。计算机科学课堂讲稿6888，234-241（2012）。
MSC公司：68第25页
PDF格式BibTeX公司 XML格式引用
\textit{J.Milhau}等人，Lect。注释计算。科学。6888、234--241（2012；Zbl 1303.68053）
全文： 内政部
皮埃尔·科诺帕基;哈基姆·贝哈瓦里;马克·弗拉皮耶;雷吉尼·拉劳

EB\（^{3}\）SEC中访问控制策略的规范和验证：正在进行中。 （英语） Zbl 1303.68052号

Garcia-Alfaro，Joaquin（编辑）等人，《安全基础与实践》。2011年5月12日至13日，法国巴黎，第四届加拿大-法国MITACS研讨会，FPS 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-27900-3/pbk）。计算机科学课堂讲稿6888，227-233（2012）。
MSC公司：68第25页
PDF格式BibTeX公司 XML格式引用
\textit{P.Konopacki}等人，Lect。注释计算。科学。6888、227--233（2012；Zbl 1303.68052）
全文： 内政部
塞德里克·洛伊;保罗·亨里·库内德;让·弗兰松

一种符号方法，用于计算随机0L系统生成的随机文本中模式出现次数的概率分布。 （英语） 兹比尔1355.68217

Drmota，Michael（ed.）等人，《第21届算法分析中的概率、组合和渐近方法国际会议论文集》（AofA'10），奥地利维也纳，2010年6月28日至7月2日。南希：协会。离散数学与理论计算机科学（DMTCS）。离散数学和理论计算机科学。诉讼，473-488（2010）。
MSC公司：68兰特 05年05月05日 60E10型 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Loi}等人，in：第21届算法分析中的概率、组合和渐近方法国际会议论文集（AofA'10），奥地利维也纳，2010年6月28日-7月2日。南希：协会。离散数学与理论计算机科学（DMTCS）。473-488（2010年；Zbl 1355.68217）
全文： 链接
马丁·亨森。

（Z）的应用和方法。 （英语） Zbl 1200.68154号

Boca，Paul P.（编辑）等人，《形式方法：最新技术和新方向》。献给彼得·兰丁（1930-2009）。伦敦：施普林格出版社（ISBN 978-1-84882-735-6/hbk；978-1-848 82-736-3/电子书）。117-145 (2010).
MSC公司：60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Henson}，in：形式方法：最新技术和新方向。献给彼得·兰丁（1930-2009）。伦敦：斯普林格。117——145（2010；Zbl 1200.68154）
全文： 内政部
帕特里夏·费雷拉;奥古斯托·桑帕约;亚历山大·莫塔

使用UML-RT图查看CSP规范。 （英语） Zbl 1279.68257号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，57-74（2008）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ferreira}等人，《电子》。注释Theor。计算。科学。195、57-74（2008年；Zbl 1279.68257）
全文： 内政部
休伯特·加拉维

思考并发理论的未来，特别是进程计算。 （英语） Zbl 1279.68258号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，149-164（2008）。
MSC公司：68问题85 60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}，电子。注释Theor。计算。科学。209、149--164（2008年；Zbl 1279.68258）
全文： 内政部
Alipour，胡斯曼;阿亚兹·伊萨德

基于正式需求规范的软件可靠性预测。 （英语） Zbl 1183.68188号

Sarbazi-Azad，Hamid（编辑）等人，《计算机科学与工程进展》，第13届国际CSI计算机会议，CSICC 2008，伊朗基什岛，2008年3月9日至11日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89984-6/pbk；978-3-440-89985-3/电子书）。《计算机与信息科学通信》6816-820（2008）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit｛H.Alipour｝和\textit｛A.Isazadeh｝，公社。计算。信息科学。6816-820（2008年；兹比尔1183.68188）
全文： 内政部
多米尼克·坎塞尔;多米尼克·梅里

贪婪算法的增量参数开发。 （英语） Zbl 1335.68293号

Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185，47-62（2007）。
MSC公司：68周05 68第05页 68吨15 68T20型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{D.Cansell}和\textit{D.Méry}，电子。注释Theor。计算。科学。185，47-62（2007；Zbl 1335.68293）
全文： 内政部
颜荣杰;李广元;张文良;彭云泉

时间自动机符号验证的改进。 （英语） Zbl 1215.68136号

Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574196-210（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Yan}等人，Lect。注释计算。科学。4574196-210（2007年；Zbl 1215.68136）
全文： 内政部
斯特凡·基弗;卢滕伯格，迈克尔;哈维尔·埃斯帕尔扎

关于单调多项式方程组的牛顿方法的收敛性。 （英语） 兹比尔1232.65076

STOC'07年。2007年6月11日至13日，美国加利福尼亚州圣地亚哥，第39届ACM计算理论年会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-631-8）。217-226 (2007).
MSC公司：65H10型 65小时04 65层10 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kiefer}等人，摘自：2007年STOC第39届年度ACM计算理论研讨会论文集。2007年6月11日至13日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）。217--226（2007；Zbl 1232.65076）
丹、李;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

结合代数和基于模型的测试用例生成。 （英语） Zbl 1108.68423号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。计算机科学课堂讲稿3407250-264（2005）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Dan}和\textit{B.K.Aichernig}，莱克特。注释计算。科学。3407250--264（2005；Zbl 1108.68423）
全文： 内政部
Michael Leuschel先生;埃德·特纳

在ProB中可视化更大的状态空间。 （英语） Zbl 1118.68549号

Treharne，Helen（ed.）等人，ZB 2005:Z和B中的正式规范和开发。第四届B和Z用户国际会议，英国吉尔福德，2005年4月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25559-1/pbk）。计算机科学课堂讲稿3455，6-23（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Leuschel｝和\textit｛E.Turner｝，Lect。注释计算。科学。3455，6--23（2005；Zbl 1118.68549）
全文： 内政部
Nikitchenko、Mykola S。;塔拉斯五世潘琴科。

组合编程语言中的数据结构。 （乌克兰语。英文摘要） 兹比尔1067.68557

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2004年，第2316-325号（2004年）.
MSC公司：68第05页 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Nikitchenko}和\textit{T.V.Pantchenko}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2004，编号2，316-325（2004；Zbl 1067.68557）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件