维普期刊资源整合服务平台（V6.5）

89篇 您的检索式：作者名="HOARE C A R"

选中清除导出查看参考文献查看引证文献引用追踪共5页首页上一页第1页下一页末页 /5 跳转

	题名	作者	年代	出处	被引量
1	A calculus of durations显示文摘	HOARE C A R RAVN A P	1991	Information Processing Letters1991，40，5：	1
2	An axiomatic loasis for computer programming 显示文摘	Hoare C A R	1969	Communications of the ACM1969，12，10：	1
3	An Axiomatic Basic for Computer Programming 显示文摘	Hoare C A R	1969	Communication of the ACM volume1969，12，10：	1
4	A theory of communicating sequential processes显示文摘	Brookes S D Hoare C A R Roscoe A W	1984	Journal of ACM1984，31，3：	1
5	Atrazine and Cancer Incidence Among Pesticide Applicators in the Agricultural Health Study (1994-2007)显示文摘	Beane Freeman Laura E Rusiecki Jennifer A Hoppin Jane A Lubin Jay H Koutros Stella Andreotti Gabriella Zahm Sheila Hoar Hines Cynthia J Coble Joseph B Barone-Adesi Francesco Sloan Jennifer Sandler Dale P Blair Aaron Alavanja Michael C R	2011	Environmental Health Perspectives2011，，9：	1
6	An Axiomatic Basis for Computer Program ming显示文摘	Hoare C A R	1969	Comm ACM1969，12，10：	1
7	Quicksort显示文摘	Hoare C A R	1962	Computer Journal1962，5，1：	1
8	Prespecification in Data Refinement显示文摘	Hoare C A R Jifeng H Sanders J W	1987	Information Processing Letters1987，25，2：	1
9	An Axiomatic Basis for Computer Programming显示文摘	Hoare C A R	1969	Communications of the ACM1969，12，10：	1
10	Communicating sequential processes 显示文摘	Hoare C A R	1978	Communications of the ACM1978，21，8：	1
11	Quicksort显示文摘	Hoare C A R	1962	The Computer Journal1962，5，1：	1
12	Communicating Sequential Processes显示文摘	Hoare C A R	1978	Communications of the ACM1978，21，8：	1
13	Quieksort显示文摘	Hoare C A R	1962	Computer Journal1962，，5：	1
14	An axiomatic basis for computer programming显示文摘	HOARE C A R	1969	Communications of the ACM1969，12，10：	1
15	An axiomatic approach to computer programming显示文摘	Hoare C A R	1969	Communications of the ACM1969，12，10：	1
16	Communicating sequential processes 显示文摘	Hoare C A R	1978	Communications of the ACM1978，21，8：	1
17	An Axiomatic Basis for Computer Programming显示文摘	Hoare C A R	1969	Communications of ACM1969，12，10：	1
18	An Axiomatic Basis for Computer Programming显示文摘	Hoare C A R	1969	Communications of The ACM1969，12，58：	1
19	A theory of communi- cating sequential processes 显示文摘	Brookes S D Hoare C A R Roscoe A W	1984	Journal of the ACM1984，31，3：	1
20	An axiomatic basis for computer programming显示文摘	HOARE C A R	1969	Communications of ACM1969，12，10：	1

返回顶部每页显示：

共5页首页上一页第1页下一页末页 /5 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示