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

限定检索结果

文献类型

  • 9 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 10 篇 工学
    • 9 篇 计算机科学与技术...
    • 6 篇 信息与通信工程
    • 5 篇 电气工程
    • 4 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术（可...
    • 1 篇 控制科学与工程
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 10 篇 theory of progra...
  • 2 篇 program correctn...
  • 2 篇 proofs of progra...
  • 2 篇 program document...
  • 2 篇 programming meth...
  • 1 篇 file directory
  • 1 篇 programming lang...
  • 1 篇 probabilistic la...
  • 1 篇 phrase structure...
  • 1 篇 programming
  • 1 篇 functions
  • 1 篇 proofs of progra...
  • 1 篇 haskell b. curry
  • 1 篇 debugging
  • 1 篇 file
  • 1 篇 algorithms
  • 1 篇 decision tables
  • 1 篇 loop semantics
  • 1 篇 arithmetic compi...
  • 1 篇 operation expres...

机构

  • 1 篇 bell telephone l...
  • 1 篇 national enginee...
  • 1 篇 escuela colombia...
  • 1 篇 univ ghent ctr l...
  • 1 篇 queen's univ. be...
  • 1 篇 queen's universi...
  • 1 篇 univ paris 08 vi...
  • 1 篇 mathematisches i...
  • 1 篇 fac tech sci nov...
  • 1 篇 university of gl...
  • 1 篇 school of softwa...
  • 1 篇 national chiao t...

作者

  • 1 篇 hoare c.a.r.
  • 1 篇 malbaski dusan
  • 1 篇 bauer f.l.
  • 1 篇 bohorquez jaime ...
  • 1 篇 wössner h.
  • 1 篇 zhang junfu
  • 1 篇 carle martin
  • 1 篇 de mol liesbeth
  • 1 篇 bullynck maarten
  • 1 篇 cavouras john c.
  • 1 篇 yuan chongyi
  • 1 篇 ellis clarence a...
  • 1 篇 hoare car
  • 1 篇 kupusinac aleksa...
  • 1 篇 zhao wen
  • 1 篇 fraser a.g.

语言

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