×

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

最新的 引文 关联
佩德，阿赫蒂

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

塔尔图大学数学学位论文62.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学计算机科学学院（Diss.）（ISBN 978-9949-19-374-5/pbk；978-9949-19-375-2/ebook）。第87页。(2010).
MSC公司：2002年5月 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的最小生成树问题算法研究。 （英语） Zbl 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年；兹比尔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/电子书）。《计算机与信息科学通信》94，160-170（2010）。
MSC公司：68米15 68M10个
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年；兹比尔1198.68180）
全文： 内政部
曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos）；杰尔达·詹森斯

ProbLog中的变量压缩。 （英语） 兹比尔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}，莱克特。票据计算。科学。6397054-518（2010年；兹比尔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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件