咨询与建议

限定检索结果

文献类型

  • 148 篇 会议
  • 85 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 161 篇 工学
    • 122 篇 计算机科学与技术...
    • 83 篇 软件工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 14 篇 生物医学工程(可授...
    • 12 篇 电气工程
    • 11 篇 生物工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 化学工程与技术
    • 7 篇 机械工程
    • 6 篇 土木工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 网络空间安全
    • 4 篇 动力工程及工程热...
  • 107 篇 理学
    • 71 篇 数学
    • 19 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 16 篇 生物学
    • 10 篇 物理学
    • 6 篇 化学
  • 37 篇 管理学
    • 27 篇 管理科学与工程(可...
    • 17 篇 工商管理
    • 11 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
    • 5 篇 公共卫生与预防医...
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 6 篇 社会学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学

主题

  • 6 篇 artificial intel...
  • 5 篇 support vector m...
  • 4 篇 computer science
  • 4 篇 reliability
  • 4 篇 neural networks
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 artificial neura...
  • 3 篇 grey wolf optimi...
  • 3 篇 computer archite...
  • 3 篇 optimization
  • 3 篇 decision trees
  • 3 篇 middleware
  • 3 篇 functional progr...
  • 2 篇 covid-19
  • 2 篇 fuzzy logic
  • 2 篇 intrusion detect...
  • 2 篇 software systems
  • 2 篇 information syst...

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 department of ap...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 rwth aachen univ...
  • 3 篇 programming meth...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 de meuter wolfga...
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 van cutsem tom
  • 4 篇 anita pal
  • 4 篇 el-kenawy el-say...
  • 4 篇 d'hondt theo
  • 4 篇 madhumangal pal
  • 3 篇 sarkar biswajit

语言

  • 227 篇 英文
  • 5 篇 其他
  • 1 篇 中文
检索条件"机构=Department of Technology and Computer Programming"
233 条 记 录,以下是231-240 订阅
排序:
Using domain algebras to prove the correctness of a compiler  2nd
收藏 引用
2nd Annual Symposium on Theoretical Aspects of computer Science, STACS 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology GöteborgS-412 96 Sweden
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang... 详细信息
来源: 评论
Lazy memo-functions  2nd
收藏 引用
2nd International Conference on Functional programming Languages and computer Architecture, 1985
作者: Hughes, John Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
来源: 评论
Efficient compilation of lasy evaluation
Efficient compilation of lasy evaluation
收藏 引用
1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论