1008-0775
2010 Issue 9
..............page:30-31
..............page:52-53
The research of protocol analysis and verification based on SPIN
hou feng han ; bai xiao li
hou feng han ; bai xiao li
..............page:60-63
..............page:41-44
..............page:8-15
..............page:37-38
..............page:34
..............page:32-33
..............page:28-29
..............page:22-23
..............page:49-51
..............page:26-27
..............page:24-25
..............page:40
The Research Implementation Inquiry Learning Strategy in the vocational colleges computer
chen yu qiang ; guo jian zuo ; hu xuan zi
chen yu qiang ; guo jian zuo ; hu xuan zi
..............page:54-56
..............page:4-7,64
..............page:1
..............page:20-21
..............page:38-39
..............page:16-18
..............page:18-19
Research on Human-Computer Interaction of Information System Based on Work Study
wang dong hua ; sun kuo ; bai yu
wang dong hua ; sun kuo ; bai yu
..............page:57-59
..............page:35-36
ji yu you xi de xiang mu jiao xue fa zai "java cheng xu she ji " ke cheng jiao xue zhong de ying yong
zhang xue bing
zhang xue bing
..............page:45-48
..............page:19-20