Computer & Telecommunication 2009 Issue 12 A Tableau Decision Procedure for Rough Description Logic RALCQ

A Tableau Decision Procedure for Rough Description Logic RALCQ
xu he ; miao chang yun

..............page:73-75

xia yi dai shu ju zhong xin zhi guan jian : wang luo xu ni hua

..............page:23

ying guo bu lai ke ben wei ji shu jie jue gong si jin ru tuo guan / ying guo dian lu ban sheng chan qi ye xun qiu mai zhu / zhi wu shou gan ping gu yi de chan ye hua ji qi guo ji biao zhun hua

..............page:25

Design and Realization of the Automatic Guided Vehicle System in LIN-Bus
tao wen lin ; shi bin bin

..............page:33-35

di zhi 150 mei yuan de gao xing neng blackfin fang zhen qi zai zhong guo quan mian shang shi

..............page:11

C# Application in Archives Transmission System Based on Web
you zuo

..............page:76-77

qlogic 8gb fc jiao huan ji he 10gbe iscsi zhi neng cun chu lu you qi zhu li ri li shu ju cun chu chan pin

..............page:22

Practice and Exploration in Employment-oriented Vocational Education Training Systems
wang yue sheng ; zhang pu sheng

..............page:31-32

kronos xi huo "2009 zhong guo shang yong ruan jian zui ju fa zhan qian li qi ye " shu rong

..............page:12

teng bo tui chu ding zhi xing wang zhen jie jue fang an , ke ling huo ying yong yu ge zhong gong zuo huan jing

..............page:19

yi dong kuan dai wang luo

..............page:24

Research on the Terminal System of 3G Communication
peng jie

..............page:36-37

Clustering Analysis Technology in the Application of Student Course Selection
yu cheng min ; shi qing ling ; liu yong tao

..............page:50-51,59

The Construction of User Model of Personalized Learning Teaching System Based on Data Mining
zuo wen yan

..............page:63-64

The Exploration of Integrated Network Client PCB Layout
pan hui bin

..............page:41-42

quan qiu shou kuan 3g ophone shou ji lian xiang o1 cai yong zhan xun td-scdma xin pian

..............page:10

adi yong yu yi liao gong ye he ke xue she ji de dan xin pian jie jue fang an shi ba gao qing guo xiang cai ji

..............page:13

eantc ancotel he light reading xuan bu mian xiang fu wu gong ying shang tui chu quan qiu zui xian jin de yun ying shang ji yi tai wang hu lian ce shi he shi fan ji hua

..............page:17

mei guo k-micro gong si he an li gong si he zuo kai fa chu di yi tao ke yi ce liang 10g epon xin pian zu de ce shi fang an he ce shi gong ju

..............page:21

A Three Stage CMOS Operational Amplifier
liu xi feng

..............page:68-69

Research on Character Rigging Technology in 3D Animation
long zuo ; peng fan

..............page:57-59

syncsort ru xuan shu ju zheng tai gong ju magic quadrant

..............page:12

jin gen shi dai jie zou qi che ying xiao shi xiang wang luo shi pin

..............page:14

The Analysis of Data Mining in the Electronic Commerce Application
wang feng

..............page:55-56

Electrical Length Definition for Cable Assembly
li qing hua ; yin yi

..............page:65-67

guo ji hu lian wang xie hui he wan wei wang lian meng zeng qiang he zuo guan xi , bang zhu que bao kai fang quan qiu hu lian wang

..............page:15

web3.0 hu lian wang xin shi dai

..............page:7-9

dang yu yi ji shu yu shang bi

..............page:5-6

The Realization of Wireless Environmental Monitoring with SCM C8051F020
chen wei ; wang shan hua

..............page:60-62

shang wu zhi neng ruan jian ye nei ling hang zhe attensity

..............page:1-4

The Design and Construction of Web Geographic Information System
li shu hui

..............page:52-54

Discussion on the Multidimension of Informationizational Micro-teaching
chen xiao hui ; xu jian zhi

..............page:26-27,30

Scheduling Algorithms Study of Grid Computing
chen xue zhao

..............page:45-46,49

Research on the Way to Control LAN
yang cheng

..............page:43-44

suresave vtl 5000:storage-on-chip chuang xin jia gou you hua shu ju bei fen

..............page:18

tou gao xu zhi

..............page:78

Design and Implementation of Receiving & Sending Document System Based on JBPM
wang ai jun ; nie gang

..............page:28-30

Low Power Scheduling Algorithm Based on the Dynamic Voltage Regulation
zhu mei ; chen jian wei

..............page:47-49

Component Behavior Modeling Based on Event Track
zhang ji chang ; chen zhong yu ; guo zheng hu

..............page:70-72

lang chao ji jiang tui chu xin xing ye jin gang quan jia gu ji suan ji

..............page:16,19

vizada he inmarsat zai 2009 nian zhong guo guo ji hai shi hui zhan shang yu zhan hai yang wei xing tong xin zui xin cheng guo

..............page:20

Implementation of Routing Capabilities Based on WinPcap
chen jing qiang ; weng zheng qiu

..............page:38-40

hong shui shu ju jian mo yu ding liang yu ce ji shu

..............page:24