×

找到20个文档（结果1–20）

最新的 引文 关联
谢，费;杨国武;宋晓宇

软硬件协同验证的组合推理。 （英语） Zbl 1161.68591号

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，154-169（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Xie}等人，Lect。注释计算。科学。4218、154--169（2006年；Zbl 1161.68591）
全文： 内政部
杨国武;谢，费;宋晓宇;马雷克·佩考夫斯基

混合量子门的普遍性和无辅助量子点的合成。 （英语） Zbl 1160.68374号

Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。第11届国际会议，CIAA 2006，台湾台北，2006年8月21-23日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37213-4/pbk）。计算机科学课堂讲稿4094，279-280（2006）。
MSC公司：2005年第68季度 65年第68季度 81页68 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Yang}等人，Lect。注释计算。科学。4094279--280（2006年；Zbl 1160.68374）
全文： 内政部
杨国武;杨，金;宋晓宇;谢，费

GSTE中断言图的最大模型。 （英语） Zbl 1178.68351号

蔡金毅（主编）等，计算模型的理论与应用。第三届国际会议，TAMC 2006，中国北京，2006年5月15日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34021-1/pbk）。计算机科学课堂讲稿3959684-693（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Yang}等人，Lect。注释计算。科学。3959、684--693（2006年；Zbl 1178.68351）
全文： 内政部
杨国武;宋晓宇;威廉·N·洪。;谢，费;Marek A.Perkowski。

基于群论的二元可逆电路综合。 （英语） Zbl 1178.68261号

蔡金毅（主编）等，计算模型的理论与应用。第三届国际会议，TAMC 2006，中国北京，2006年5月15日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34021-1/pbk）。计算机科学课堂讲稿3959365-374（2006）。
MSC公司：2005年第68季度 81页68 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Yang}等人，Lect。注释计算。科学。3959365-374（2006年；Zbl 1178.68261）
全文： 内政部
杨国武;宋晓宇;Yang，Hannah H。;谢，费

基于IP的楼层规划的理论上限。 （英语） Zbl 1128.68394号

王璐生（编辑），计算与组合学。第十一届国际年会，COCOON 2005，中国昆明，2005年8月16-29日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28061-8/pbk）。计算机科学课堂讲稿3595411-419（2005）。
MSC公司：68卢比 65年第68季度 68单位07
PDF格式BibTeX公司 XML格式引用
\textit{G.Yang}等人，Lect。注释计算。科学。3595、411--419（2005年；Zbl 1128.68394）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件