×

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

最新的 引文 关联
川原骏；佐藤，Toshiki；武田，平子；良良吉中；Yui Yoshioka

完美图子类的高效非同构图枚举算法。 （英语） Zbl 07770289号

林春成（编辑）等，WALCOM：算法和计算。第17届国际会议和研讨会，2023年3月22日至24日，台湾新竹，WALCOM 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13973, 151-163 (2023).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Kawahara}等人，Lect。注释计算。科学。13973、151--163（2023；Zbl 07770289）
全文： 内政部 arXiv公司
伊藤武弘；川原骏；Yu Nakahata；Soh，武藏；铃木、亚基拉；纯一县Teruyama；塔希萨·托达

基于ZDD的求解最短重构问题的算法框架。 （英语） Zbl 07745660号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 167-183 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Ito}等人，Lect。注释计算。科学。13884167-183（2023年；Zbl 07745660）
全文： 内政部 arXiv公司
斯特凡·埃尔马瑟勒；莎拉·爱丽丝·加格尔；多米尼克·鲁索瓦克；约翰·沃纳（Johannes P.Wallner）。

用二元决策图表示抽象的辩证框架。 （英语） Zbl 07671887号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 177-189 (2022).
MSC公司：68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ellmauthaler}等人，莱克特。注释计算。科学。13416、177--189（2022；Zbl 07671887）
全文： 内政部
A.Yu Matrosova。；南卡罗来纳州奥斯塔宁。；戈辛，G.G。

推导TMR技术的近似逻辑电路。 （英语。俄文原件） Zbl 1520.81039号

俄罗斯物理。J。 65，编号4，751-760（2022）; Izv的翻译。维什。乌切布。扎韦德。，菲兹。65，第4期，第150-159页（2022年）。
MSC公司：81页68 2012年第68季度 81页第10页 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Matrosova}等人，《俄罗斯物理学》。J.65，No.4，751--760（2022；Zbl 1520.81039）；Izv的翻译。维什。乌切布。扎韦德。，菲兹。65，第4号，150--159（2022）
全文： 内政部
尤斯拉·莱姆巴哈；瑞安·鲁西奇；尼安提乌，尤利安；吉安弗兰科·西亚多

Bddl公司：二进制决策图的类型系统。 （英语） 兹比尔1514.68048

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13361, 31-47 (2022).
MSC公司：68第05页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lembachar}等人，Lect。注释计算。科学。13361，31-47（2022；Zbl 1514.68048）
全文： 内政部
伊戈尔·拉兹贡

单调2-CNF的OBDD大小分类。 （英语） Zbl 07803603号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214，第25条，第15页（2021年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Razgon}，LIPIcs——莱布尼茨国际程序。通知。214，第25条，第15页（2021；Zbl 07803603）
全文： 内政部 arXiv公司
Randal E.布莱恩特。；Heule，Marijn J.H。

使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 1467.68203号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).
MSC公司：68伏15 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12651，76-93（2021年；兹bl 1467.68203）
全文： 内政部 arXiv公司
贝诺·凯劳德；马蒂亚斯·马兰丹；琼·蒂博

多模DAE系统的隐式结构分析。 （英语） Zbl 07300861号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Caillaud}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020；Zbl 07300861）
全文： 内政部 哈尔
大卫·伯格曼；卡洛斯·卡多尼亚；萨哈纳兹·梅赫拉尼

具有最小颜色碎片的箱子包装的二进制决策图。 （英语） Zbl 1525.90345号

卢梭、路易斯·马汀（编辑）等，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11494, 57-66 (2019).
MSC公司：90C27型 68T20型 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{D.Bergman}等人，Lect。注释计算。科学。11494、57-66（2019年；Zbl 1525.90345）
全文： 内政部 arXiv公司
普福尔，马提亚斯；约格·里特；保罗·莫里托

在可逆电路中寻找冗余门。 （英语） Zbl 1515.68135号

Kari，Jarkko（编辑）等人，《可逆计算》。2018年9月12日至14日在英国莱斯特举行的2018年RC第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11106, 205-219 (2018).
MSC公司：2006年第68季度 2009年第68季度 81页65
PDF格式BibTeX公司 XML格式引用
\textit{M.Pfuhl}等人，Lect。注释计算。科学。11106205-219（2018；Zbl 1515.68135）
全文： 内政部
宫本美本；Shota Todoroki；迪普塔拉马；良良吉中；Ayumi Shinohara

一种有效的零抑制二元决策图查询学习算法。 （英语） 兹比尔1403.68201

Steve Hanneke等人，算法学习理论国际会议。2017年10月15日至17日，日本京都京都大学，第28届会议记录（ALT 2017）。[s.l.]：机器学习研究论文集PMLR。机器学习研究论文集（PMLR）76，360-371（2017）。
MSC公司：68T05型 68第05页 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{H.Mizumoto}等人，Proc。机器。学习。决议（PMLR）76，360-371（2017；Zbl 1403.68201）
全文： 链接
索肯，马蒂亚斯；杰哈德·杜克（Gerhard W.Dueck）。；D.迈克尔·米勒

一种基于符号变换的快速可逆逻辑综合算法。 （英语） Zbl 1480.94056号

Devitt，Simon（编辑）等人，《可逆计算》。第八届国际会议，RC 2016，意大利博洛尼亚，2016年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 307-321 (2016).
MSC公司：94C11号机组 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{M.Soeken}等人，莱克特。注释计算。科学。9720，307--321（2016；Zbl 1480.94056）
全文： 内政部
马克·巴格诺尔

通过二进制决策图，MALL证明等价是logspace-complete。 （英语） Zbl 1433.03144号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。38, 60-75 (2015).
MSC公司：03楼52 05年3月 07年3月 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bagnol}，LIPIcs——莱布尼茨国际程序。通知。38、60-75（2015年；Zbl 1433.03144）
全文： 内政部 arXiv公司
斯莫尔卡，斯特芬；埃利奥普洛斯、斯皮里顿；内特·福斯特；阿琼·古哈

NetKAT的快速编译器。 （英语） Zbl 1360.68352号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。328-341 (2015).
MSC公司：第68页第20页 68甲19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Smolka}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。328--341（2015；Zbl 1360.68352）
全文： 内政部 arXiv公司
Damien Pous

语言等价和Kleene代数的符号算法及测试。 （英语） Zbl 1346.68120号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。357-368 (2015).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。357-368（2015年；兹比尔1346.68120）
全文： 内政部 arXiv公司
盖努季诺娃，A.F。

总函数和部分函数的量子和经典OBDD的比较复杂性。 （英语。俄文原件） Zbl 1347.68137号

俄罗斯数学。 59，第11号，26-35（2015）; Izv的翻译。维什。乌切布。扎韦德。，材料2015，第11号，32-45（2015）。
MSC公司：2005年第68季度 68第05页 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.F.Gainutdinova}，俄罗斯数学。59、11号、26-35（2015；Zbl 1347.68137）；Izv的翻译。维什。乌切布。扎韦德。，材料2015，第11、32-45号（2015）
全文： 内政部
比比洛，P.N。

用二元决策图定义的不完全指定布尔函数系统的分解。 （英语。俄文原件） Zbl 1325.94173号

自动。远程控制 75，第7期，1173-1194（2014）; Avtom翻译。Telemekh公司。2014年，第7期，17-42（2014）。
MSC公司：94立方厘米10 94C15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.N.Bibilo}，自动。遥控75，No.7，1173--1194（2014；Zbl 1325.94173）；Avtom翻译。Telemekh公司。2014年第7期、第17-42号（2014）
全文： 内政部
乌斯曼·劳夫；萨明、希玛；安东尼奥·塞隆

生物调控网络中振荡行为的形式分析：一种替代方法。 （英语） Zbl 1337.92081号

Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记299，85-100（2013）。
MSC公司：第92页第42页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Rauf}等人，《电子》。注释Theor。计算。科学。29985-100（2013年；Zbl 1337.92081）
全文： 内政部
阿卜拉耶夫，F.M。；卡迪耶夫，K.R。

扩展小宽度的\（k\）-OBDD的层次结构。 （英语。俄文原件） Zbl 1290.68040号

俄罗斯数学。 57、3号、46-50（2013）; Izv的翻译。维什。乌切布。扎韦德。，Mat.2013，第3期，第56-61页（2013年）。
MSC公司：2005年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Ablayev}和\textit{K.R.Khadiev}，俄罗斯数学。57、3号、46--50（2013；Zbl 1290.68040）；Izv的翻译。维什。乌切布。扎韦德。，材料2013，第3号，56--61（2013）
全文： 内政部
德米特里·布加琴科

多根二元决策图在概率模型检验中的应用。 （英语） Zbl 1325.68142号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148104-118（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bugaychenko}，莱克特。注释计算。科学。7148104-118（2012；Zbl 1325.68142）
全文： 内政部
贝特·博利格；Marc Gillé

乘法最重要位的随机OBDD需要指数大小。 （英语） Zbl 1298.68109号

乔纳·伊万娜（编辑）等，《SOFSEM 2011：计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议，2011年1月22日至28日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18380-5/pbk）。计算机科学课堂讲稿6543135-145（2011）。
MSC公司：65年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛B.Bollig｝和\textit｛M.Gillé｝，Lect。注释计算。科学。6543、135——145（2011年；Zbl 1298.68109）
全文： 内政部
阿赫蒂·佩德

叠加图和用计数法求结构描述。 （英语） Zbl 1360.05002号

塔尔图大学数学学位论文62.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学计算机科学学院（Diss.）（ISBN 978-9949-19-374-5/pbk；978-9949-19-375-2/ebook）。第87页。(2010).
MSC公司：05-02 05C90年 92E10型
PDF格式BibTeX公司 XML格式引用
\textit{A.Peder}，重叠图和通过计数方法寻找结构描述。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学计算机科学学院（Diss.）（2010；Zbl 1360.05002）
全文： 链接 链接
Bugaychenko，D.Yu。；索洛维耶夫，I.P。

整数函数的多根决策图的应用。 （英语。俄文原件） Zbl 1251.68082号

维斯特。圣彼得堡大学数学。 43，第2期，92-97（2010年）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年，第2号，91-98（2010）。
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{D.Yu.Bugaychenko}和\textit{I.P.Soloviev}，Vestn。圣彼得堡大学数学。43，No.2，92--97（2010；Zbl 1251.68082）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。2010年，第2期，91--98（2010）
全文： 内政部
贝特·博利格

基于符号OBDD的最小生成树问题算法研究。 （英语） 兹比尔1311.05183

Wu，Weili（编辑）等，组合优化与应用。2010年12月18日至20日，第四届国际会议，COCOA 2010，美国HI凯鲁亚·科纳。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-17460-5/pbk）。计算机科学课堂讲稿650916-30（2010）。
MSC公司：05C85号 05二氧化碳 68第05页 68兰特 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。6509，16-30（2010；Zbl 1311.05183）
全文： 内政部
马诺伊·辛哈尔；乔汉，R.K。；吉里什·夏尔玛

使用二进制决策图计算计算机通信网络可靠性的另一种方法。 （英语） Zbl 1213.68138号

Ranka，Sanjay（编辑）等人，《当代计算》。2010年8月9日至11日，第三届国际会议，IC3 2010，印度诺伊达。柏林：施普林格出版社（ISBN 978-3-642-14833-0/pbk；978-3-662-14834-7/电子书）。《计算机与信息科学通信》94160-170（2010）。
MSC公司：68米15 68米10
PDF格式BibTeX公司 XML格式引用
\textit{M.Singhal}等人，Commun。计算。信息科学。94、160-170（2010年；Zbl 1213.68138）
全文： 内政部
贝特·博利格

关于最大匹配和（Un）有向图的符号表示。 （英语） Zbl 1198.68180号

Calude，Christian S.（编辑）等人，《理论计算机科学》。第六届IFIP工作组2.2国际会议，TCS 2010，作为世界计算机大会（WCC 2010）的一部分，于2010年9月20日至23日在澳大利亚布里斯班举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15239-9/hbk；978-3-442-15240-5/电子书）。IFIP《信息和通信技术进展》3232686-300（2010）。
MSC公司：68兰特 65年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，IFIP高级信息通信。Technol公司。323286--300（2010年；Zbl 1198.68180）
全文： 内政部
曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）；杰尔达·詹森斯

ProbLog中的变量压缩。 （英语） Zbl 1306.68010号

Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397504-518（2010）。
MSC公司：68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Mantadelis}和\textit{G.Janssens}，莱克特。注释计算。科学。6397、504--518（2010年；Zbl 1306.68010）
全文： 内政部 链接
曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）；里卡多·罗查；安吉丽卡·基米格；杰尔达·詹森斯

概率上下文中BDD的预处理布尔公式。 （英语） Zbl 1306.68055号

Janhunen，Tomi（编辑）等人，《人工智能中的逻辑》。第十二届欧洲会议，JELIA 2010，芬兰赫尔辛基，2010年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15674-8/pbk）。计算机科学课堂讲稿6341。人工智能课堂讲稿，260-272（2010）。
MSC公司：68问题32 68N17号 87年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Mantadelis}等人，Lect。注释计算。科学。6341260-272（2010年；Zbl 1306.68055）
全文： 内政部 链接
阿尔伯特·迈尔斯

复杂系统可靠性。故障覆盖不完善的多通道系统。第2版。 （英语） Zbl 1202.93001号

可靠性工程中的Springer系列伦敦：施普林格出版社（ISBN 978-1-84996-413-5/hbk；978-1-849 96-414-2/电子书）。xiii，第238页。(2010).
MSC公司：93-02 93立方厘米 93甲15 94C15号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Myers}，复杂系统可靠性。故障覆盖不完善的多通道系统。第二版伦敦：施普林格出版社（2010；Zbl 1202.93001）
全文： 内政部
贝特·博利格

基于符号OBDD的可达性分析需要指数空间。 （英语） Zbl 1274.68087号

van Leeuwen，Jan（编辑）等人，SOFSEM 2010：计算机科学的理论与实践。2010年1月23日至29日，捷克共和国，第36届计算机科学理论与实践当前趋势会议，Špindlerův Mlín。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11265-2/pbk）。计算机科学课堂讲稿5901224-234（2010）。
MSC公司：68第05页 2017年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。5901224--234（2010年；Zbl 1274.68087）
全文： 内政部
安德烈·里姆萨；Zárate，Luis E。；宋，Mark A.J。

使用BDD处理大型正式上下文-透视图和限制。 （英语） Zbl 1248.68482号

费雷，塞巴斯蒂安（编辑）等，形式概念分析。2009年5月21日至24日在德国达姆施塔特举行的2009年ICFCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-01814-5/pbk）。计算机科学课堂讲稿5548。《194-209年人工智能讲义》（2009）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Rimsa}等人，Lect。注释计算。科学。5548194-209（2009年；兹bl 1248.68482）
全文： 内政部
贝特·博利格

关于阈值函数的OBDD复杂性和变量排序问题（扩展摘要）。 （英语） Zbl 1206.68100号

Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404129-140（2009）。
MSC公司：68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。5404、129--140（2009年；Zbl 1206.68100）
全文： 内政部
凯·兰普卡

一种新的分区符号可达性分析算法。 （英语） Zbl 1337.68167号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223137-151（2008）。
MSC公司：60年第68季度 68第05页 68兰特 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{K.Lampka}，电子。注释Theor。计算。科学。223137--151（2008年；Zbl 1337.68167）
全文： 内政部
Randal E.布莱恩特。

机房视图：符号模型检查的计算支持。 （英语） Zbl 1142.68430号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，145-149（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}，莱克特。注释计算。科学。5000145-149（2008年；兹比尔1142.68430）
全文： 内政部 链接
贝特·博利格

关于整数乘法的最高有效位的OBDD复杂性。（扩展摘要）。 （英语） Zbl 1139.68342号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，306-317（2008）。
MSC公司：65年第68季度 2016年11月 68第05页 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。4978，306--317（2008；Zbl 1139.68342）
全文： 内政部
贝特·博利格；Niko系列；英戈·韦格纳

一些基本函数的精确OBDD边界。（扩展摘要）。 （英语） Zbl 1132.68347号

Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。2008年1月19日至25日，斯洛伐克斯莫科韦茨，第34届计算机科学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。计算机科学课堂讲稿4910174-185（2008）。
MSC公司：68第05页 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Lect。注释计算。科学。4910174-185（2008年；Zbl 1132.68347）
全文： 内政部
吉安弗兰科·西亚多

数据表示和有效解决方案：决策图方法。 （英语） Zbl 1323.68049号

Bernardo，Marco（编辑）等人，《绩效评估的正式方法》。2007年5月28日至6月2日，意大利贝蒂诺罗，第七所计算机、通信和软件系统正式设计方法国际学校，SFM 2007。高级讲座。柏林：施普林格出版社（ISBN 978-3-540-72482-7/pbk）。计算机科学课堂讲稿4486，371-394（2007）。
MSC公司：68平方米 68第05页 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciardo}，莱克特。注释计算。科学。4486371-394（2007年；兹bl 1323.68049）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件