工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-3 共查到计算机科学技术基础学科 Production相关记录3条 . 查询时间(0.31 秒)
Static analysis methods are given for determining whether arbitrary sets of database production rules are(1) guaranteed to terminate; (2) guaranteed to produce a unique nal database state; (3) guaran...
In the last two decades, many techniques have been devel-oped to reliably generate a Bose-Einstein condensate (BEC)of more than 10 4 atoms. Almost every one of these techniques requires evaporative co...
The increasing spatial data provide abundant material for data fusion, and the purpose of the paper is to apply data fusion into the production and updating of spatial data. After outlining the gene...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...