He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) is a Chinese computer scientist. He Jifeng graduated...
8 KB (701 words) - 16:44, 23 January 2024
clan of the Zhou dynasty, and the Jiang clan of Yandi. He Jifeng (何積豐), Chinese computer scientist He Zehui (何泽慧), Chinese nuclear physicist David Ho (scientist)...
7 KB (790 words) - 11:55, 28 August 2024
States Joe Z. Tsien: Neuroscientist, Georgia Health Sciences University He Jifeng: Academician of the Chinese Academy of Sciences and academic at ECNU Yuan...
31 KB (3,230 words) - 15:55, 9 September 2024
Computer Science. ISBN 978-0-13-572405-7. OCLC 25712842. Hoare, C. A. R.; He, Jifeng (1998). Unifying Theories of Programming. Prentice Hall International...
27 KB (2,199 words) - 05:12, 31 July 2024
officers of the Nationalist Army. Zhou befriended the General He Jifeng, and convinced He to secretly become a member of the CCP during an official visit...
168 KB (22,960 words) - 09:19, 16 September 2024
Feng Jifeng is a Chinese oncologist at Jiangsu Cancer Hospital and Nanjing Medical University, both located in Nanjing, China. He specializes in the diagnosis...
4 KB (143 words) - 16:08, 20 October 2023
programs and computer systems. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science...
6 KB (853 words) - 12:16, 8 December 2022
component-based model-driven software development. rCOS was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST in Macau, and consists of a unified...
4 KB (464 words) - 12:38, 4 October 2019
Algebra of Communicating Processes Cambridge University Press. 2005. He Jifeng and C.A.R. Hoare. Linking Theories of Concurrency United Nations University...
18 KB (2,420 words) - 00:55, 29 July 2023
(born 1948) – American computer scientist and organizational theorist He Jifeng – provably correct systems Eric Hehner – predicative programming, formal...
54 KB (5,170 words) - 20:49, 2 September 2024