×

找到35份文件（结果1-35）

最新的 引文 关联
李建文;张丽君;浦、葛光;莫舍·瓦尔迪。;何继峰

\（\mathrm{长期贷款}_{f} \）满意度检查。 （英语） Zbl 1366.68177号

Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。人工智能和应用前沿263513-518（2014）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Li}等人，前面。工件。智力。申请。263513--518（2014年；Zbl 1366.68177）
全文： arXiv公司 链接
朱慧彪;杰夫·桑德斯。;何继峰;秦胜超

概率定时共享变量语言的表示语义。 （英语） Zbl 1452.68062号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681, 224-247 (2013).
MSC公司：68纳米30 68甲15 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhu}等人，Lect。注释计算。科学。7681，224--247（2013；Zbl 1452.68062）
全文： 内政部
朱慧彪;刘鹏;何继峰;秦胜超

使用Maude为Verilog连接操作语义和代数语义的机械方法。 （英语） Zbl 1452.68123号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681164-185（2013年）。
MSC公司：60年第68季度 2007年7月68日 2012年第68季度 68问题55 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhu}等人，Lect。注释计算。科学。7681、164--185（2013；Zbl 1452.68123）
全文： 内政部
李建文;浦、葛光;张丽君;王，郑;何继峰;金·古德斯特兰·拉森

关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号

Liu，Zhiming（编辑）等人，《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Li}等人，Lect。注释计算。科学。8051256-270（2013年；Zbl 1390.68435）
全文： 内政部 arXiv公司
朱慧彪;何继峰;彭晓青;金乃勇

事件驱动系统级语言的表示方法。 （英语） Zbl 1286.68037号

Andrew Butterfield（编辑），统一编程理论。第二届国际研讨会，2008年UTP，爱尔兰都柏林，2008年9月8-10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-14520-9/pbk）。计算机科学课堂讲稿5713，258-278（2010）。
MSC公司：68甲15 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhu}等人，Lect。注释计算。科学。5713、258--278（2010年；Zbl 1286.68037）
全文： 内政部
何继峰

链接语义模型。 （英语） 兹比尔1147.68447

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，18-33（2007）。
MSC公司：68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.He}，莱克特。注释计算。科学。4711、18-33（2007年；Zbl 1147.68447）
全文： 内政部
陈欣;何继峰;刘志明;詹乃军

基于组件的编程模型。 （英语） Zbl 1141.68363号

Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。计算机科学课堂讲稿4767191-206（2007）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。注释计算。科学。4767、191--206（2007年；Zbl 1141.68363）
全文： 内政部
何继峰;J.W.桑德斯。

统一概率。 （英语） Zbl 1186.68197号

Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲稿4010173-199（2006）。
MSC公司：2005年第68季度 68纳米30 2010年第68季度 87年第68季度 81页68 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{J.W.Sanders}，莱克特。注释计算。科学。4010173-199（2006年；Zbl 1186.68197）
全文： 内政部
何继峰;秦胜超;阿德南·谢里夫

构建面向属性的验证模型。 （英语） Zbl 1186.68113号

Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。《计算机科学讲义》4010，85-100（2006）。
MSC公司：68纳米30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.He}等人，Lect。注释计算。科学。4010、85-100（2006年；Zbl 1186.68113）
全文： 内政部 链接
何继峰;你好，托尼

CSP是CCS的收回。 （英语） Zbl 1186.68320号

Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲稿4010，38-62（2006）。
MSC公司：68问题85 68甲19 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{T.Hoare}，莱克特。注释计算。科学。4010、38--62（2006年；Zbl 1186.68320）
全文： 内政部
浦、葛光;邱宗燕;何继峰

将时间和资源整合到马戏团中。 （英语） Zbl 1272.68070号

Mota，A.（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2004），巴西累西腓，2004年11月29日至12月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记130，401-418（2005）。
MSC公司：68平方米 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Pu｝等人，电子。注释Theor。计算。科学。130、401-418（2005年；Zbl 1272.68070）
全文： 链接
何继峰;李晓山;刘志明

基于组件的软件工程。 （英语） Zbl 1169.68366号

Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722，70-95（2005）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{J.He}等人，Lect。注释计算。科学。3722、70-95（2005年；Zbl 1169.68366）
全文： 内政部
阿德南·谢里夫;何继峰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约

使用Circus动作的实时系统的规范和验证框架。 （英语） Zbl 1108.68522号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。《计算机科学讲义》3407，478-493（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sherif}等人，Lect。注释计算。科学。3407478-493（2005年；Zbl 1108.68522）
全文： 内政部
阿德南·谢里夫;何继峰

迈向马戏团的时间模型。 （英语） Zbl 1015.68815号

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 613-624 (2002).
MSC公司：68单位99 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sherif}和\textit{J.He}，莱克特。注释计算。科学。2495613--624（2002年；Zbl 1015.68815）
全文： 链接
秦胜超;何继峰;邱宗燕;张乃晓

Verilog中的硬件/软件分区。 （英语） Zbl 1015.68687号

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 168-179 (2002).
MSC公司：68单位99 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Qin｝等人，Lect。注释计算。科学。2495168--179（2002年；Zbl 1015.68687）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件