助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   作业系统 在 高等教育 分类中 的翻译结果: 查询用时:0.411秒
图标索引 在分类学科中查询
所有学科
高等教育
中等教育
计算机软件及计算机应用
教育理论与教育管理
互联网技术
自动化技术
安全科学与灾害防治
交通运输经济
铁路运输
更多类别查询

图标索引 历史查询
 

作业系统
相关语句
  “作业系统”译为未确定词的双语例句
    The Research and Design of Assignment and Testing System of Teacher's Classroom Language Based on Campus Network
    基于校园网的教师口语作业系统、测试系统的研究与设计
短句来源
查询“作业系统”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  assignment system
For each of these connectives we give a type assignment system, a realizability semantics, and a completeness theorem.
      
This form of completeness implies the semantic completeness of the type assignment system.
      
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised through an assignment system.
      
We study the extension of these results to the Damas-Milner polymorphic type assignment system under both the call-by-value and call-by-name interpretations.
      
Nevertheless, the data rate of traffic classes in such single code assignment system should be powers of two of the basic rate, which is impractical and wastes the system capacity when the required rate is not powers of two of the basic rate.
      
更多          


没有找到相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关作业系统的内容
在知识搜索中查有关作业系统的内容
在数字搜索中查有关作业系统的内容
在概念知识元中查有关作业系统的内容
在学术趋势中查有关作业系统的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社