×

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

最新 引文 关联
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）
全文： 内政部
马蒂亚斯·苏肯;杰哈德·杜克（Gerhard W.Dueck）。;D.迈克尔·米勒

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

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

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

自动。远程控制 75，第7号，1173-1194（2014）; Avtom翻译。Telemekh公司。2014年，第7期，17-42（2014）。
MSC公司：94立方厘米 94C15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.N.Bibilo}，自动。遥控75，No.7，1173--1194（2014；Zbl 1325.94173）；Avtom翻译。Telemekh公司。2014年第7期、第17-42号（2014）
全文： 内政部
阿尔伯特·迈尔斯

复杂系统可靠性。故障覆盖不完善的多通道系统。第2版。 （英语） 兹比尔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）
全文： 内政部
哈，迈克尔;马克·瑞恩

计算机科学中的逻辑。系统建模和推理。第2版。 （英语） Zbl 1073.68001号

剑桥：剑桥大学出版社（ISBN 0-521-54310-X/pbk；978-0-521-83536-7/hbk）。xiv，427页。(2004).
审核人：Alfredo Burrieza Muñiz（马拉加）
MSC公司：68-01 03-01 03B70号 60年第68季度 68T27型 68问题55 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Huth}和\textit{M.Ryan}，计算机科学中的逻辑。系统建模和推理。第二版剑桥：剑桥大学出版社（2004；Zbl 1073.68001）
全文： 内政部
詹皮埃罗·卡波迪

Meta-BDDs：布尔函数分层符号操作的分解表示。 （英语） Zbl 0991.68547号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2102118-130页（2001年）。
MSC公司：60年第68季度 65年第68季度 68瓦30 06E30年 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Cabodi}，莱克特。注释计算。科学。2102118-130（2001年；Zbl 0991.68547）
全文： 链接
英戈·韦格纳

通信复杂性和BDD下限技术。 （英语） Zbl 0956.68070号

Althöfer，Ingo（编辑）等人，《数字、信息和复杂性》。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特：Kluwer学术出版社。615-628（2000年）。
MSC公司：68问题30 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{I.Wegener}，in：数字、信息和复杂性。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特：Kluwer学术出版社。615--628（2000；Zbl 0956.68070）
马克·D·阿加德。;托马斯·梅勒姆。;约翰·W·奥利里。

X代表轨迹评估，布尔值代表定理证明。 （英语） Zbl 0949.68104号

Pierre，Laurence（编辑）等人，《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议，CHARME’99，Bad Herrenalb，Germany，1999年9月27-29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1703, 202-218 (1999).
MSC公司：60年第68季度 94立方厘米 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.D.Aagaard}等人，Lect。注释计算。科学。1703202--218（1999；Zbl 0949.68104）
埃德蒙·克拉克;Jha，萨默什;卢、袁;王栋（Wang，Dong）

抽象BDD：一种在模型检查中使用抽象的技术。 （英语） Zbl 0949.68105号

Pierre，Laurence（编辑）等人，《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议，CHARME’99，Bad Herrenalb，Germany，1999年9月27-29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1703, 172-186 (1999).
MSC公司：60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。1703172--186（1999年；Zbl 0949.68105）
安娜·斯洛博多瓦

关于具有多个可变阶数的OBDD的合成问题。 （英语） Zbl 0919.94053号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1450, 645-655 (1998).
审核人：I.斯特拉兹丁斯（里加）
MSC公司：94立方厘米 第68季度25 68瓦35 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{A.Slobodová}，莱克特。注释计算。科学。1450、645--655（1998年；Zbl 0919.94053）
哈里·普鲁;阿南德·斯利瓦斯塔夫

共享BDD的分块变量排序（扩展抽象）。 （英语） Zbl 1031.68540号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1450, 636-644 (1998).
审核人：U.Schöning（乌尔姆）
MSC公司：第68季度25 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Preuß}和\textit{A.Srivastav}，莱克特。注释计算。科学。1450、636--644（1998年；Zbl 1031.68540）
靖子武胜;三菱Nouzoe;山岛，Shuzo

代表阈值函数的OBDD的大小和可变顺序。 （英语） Zbl 0898.94020号

姜涛（编辑）等，《计算与组合学》。第三届国际年会，COCOON’97。中国上海。1997年8月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1276, 91-100 (1997).
审核人：H.Salum（塔林）
MSC公司：94立方厘米 06E30年 68N17号 68单位07
PDF格式BibTeX公司 XML格式引用
\textit{Y.Takenaga}等人，Lect。注释计算。科学。1276，91--100（1997；Zbl 0898.94020）
Vrudhula，Sarma B.K。;马苏德·佩德拉姆;赖永德

边值二元决策图。 （英语） Zbl 0858.94037号

Sasao，Tsutomu（编辑）等，离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。109-132 (1996).
审核人：U.Schöning（乌尔姆）
MSC公司：94立方厘米 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{S.B.K.Vrudhula}等人，in：离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。109-132（1996年；兹bl 0858.94037）
埃德蒙·克拉克（Edmund M.Clarke）。;Masahiro Fujita;赵旭东

多端二进制决策图和混合决策图。 （英语） Zbl 0855.94028号

Sasao，Tsutomu（编辑）等，离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。93-108 (1996).
审核人：J.Hromković（基尔）
MSC公司：94立方厘米 68问题65 68问题30
PDF格式BibTeX公司 XML格式引用
\textit｛E.M.Clarke｝等人，在：离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。93——108（1996年；Zbl 0855.94028）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件