咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 7 篇 会议
  • 3 篇 期刊文献

馆藏范围

  • 10 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 4 篇 计算机科学与技术...
    • 1 篇 仪器科学与技术
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 测绘科学与技术
    • 1 篇 环境科学与工程（可...
    • 1 篇 生物医学工程（可授...
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 农学
    • 1 篇 农业资源与环境
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 特种医学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 10 篇 correctness of a...
  • 5 篇 algorithms
  • 2 篇 proof of correct...
  • 2 篇 accuracy class
  • 1 篇 simulating
  • 1 篇 genetic algorith...
  • 1 篇 beams and girder...
  • 1 篇 termination
  • 1 篇 urban flood
  • 1 篇 access control
  • 1 篇 computer-assiste...
  • 1 篇 subset
  • 1 篇 radiation dose d...
  • 1 篇 husks
  • 1 篇 放射治疗计划
  • 1 篇 mobile station
  • 1 篇 radiotherapy pla...
  • 1 篇 放射疗法
  • 1 篇 stopping
  • 1 篇 global navigatio...

机构

  • 1 篇 se univ dept bio...
  • 1 篇 univ toronto on ...
  • 1 篇 college of elect...
  • 1 篇 hungarian academ...
  • 1 篇 college of geosc...
  • 1 篇 tech coll nis ni...
  • 1 篇 school of inform...
  • 1 篇 microsoft res si...
  • 1 篇 college of infor...
  • 1 篇 key laboratory o...
  • 1 篇 st jude children...
  • 1 篇 academy of disas...
  • 1 篇 dept. of comp. s...
  • 1 篇 school of aerona...
  • 1 篇 univ belgrade te...
  • 1 篇 college of infor...
  • 1 篇 inst min & met b...
  • 1 篇 brown university...

作者

  • 1 篇 weishi peng
  • 1 篇 nie jianhui
  • 1 篇 tasic visa
  • 1 篇 junshe wang
  • 1 篇 dai jr
  • 1 篇 zhenxin zhang
  • 1 篇 toueg sam
  • 1 篇 zhifeng li
  • 1 篇 aguilera marcos ...
  • 1 篇 brodic darko
  • 1 篇 yan zhu
  • 1 篇 wu xg
  • 1 篇 milivojevic zora...
  • 1 篇 hongbin zhang
  • 1 篇 sanyal a
  • 1 篇 shengjuan liu
  • 1 篇 jiang chang
  • 1 篇 shaohua chen
  • 1 篇 lixin wu
  • 1 篇 zhi wang

语言

  • 8 篇 英文
  • 2 篇 其他
检索条件"主题词=correctness of algorithm"
共 10 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件