咨询与建议

限定检索结果

文献类型

  • 904 篇 会议
  • 447 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,374 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 810 篇 工学
    • 602 篇 计算机科学与技术...
    • 434 篇 软件工程
    • 127 篇 控制科学与工程
    • 121 篇 信息与通信工程
    • 59 篇 电气工程
    • 49 篇 电子科学与技术(可...
    • 47 篇 机械工程
    • 47 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 25 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 18 篇 交通运输工程
  • 487 篇 理学
    • 334 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 系统科学
    • 63 篇 物理学
    • 45 篇 生物学
    • 25 篇 化学
  • 207 篇 管理学
    • 148 篇 管理科学与工程(可...
    • 85 篇 工商管理
    • 61 篇 图书情报与档案管...
  • 40 篇 经济学
    • 38 篇 应用经济学
  • 33 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 26 篇 教育学
    • 21 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 27 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 13 篇 functional progr...
  • 13 篇 standards
  • 13 篇 training

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,341 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1374 条 记 录,以下是1271-1280 订阅
排序:
An Analysis of Tutorial Reasoning About programming Bugs  5
An Analysis of Tutorial Reasoning About Programming Bugs
收藏 引用
5th National Conference on Artificial Intelligence, AAAI 1986
作者: Littman, David C. Pinto, Jeannine Soloway, Elliot Cognition and Programming Project Department of Computer Science Yale University New HavenCT06620 United States
A significant portion of tutorial interactions revolve around the bugs a student makes. When a tutor performs an intervention to help a student fix a programming bug, the problem of deciding which intervention to perf... 详细信息
来源: 评论
New directions in logic programming  86
New directions in logic programming
收藏 引用
1986 ACM 14th Annual Conference on computer Science, CSC 1986
作者: Bowen, Kenneth A. Logic Programming Research Group School of Computer and Information Science Syracuse University Syracuse NY13210 United States
Prolog has established itself as a highly successful example of the logic programming paradigm. Today there are a number of vigorous research streams exploring methods of extending the capabilities and capacities achi... 详细信息
来源: 评论
PROGRAM DERIVATION IN TYPE THEORY - A PARTITIONING PROBLEM
收藏 引用
computer LANGUAGES 1986年 第3-4期11卷 161-172页
作者: PETERSSON, K SMITH, JM Programming Methodology Group Department of Computer Sciences University of Göteborg/Chalmers S-412 96 Göteborg Sweden
Martin-Löf's type theory is a theory in which one can write both specifications and programs. By interpreting propositions as types, predicate logic is available when formulating a specification. The rules of... 详细信息
来源: 评论
Category theory and programming language semantics: An overview
Category theory and programming language semantics: An overv...
收藏 引用
Workshop on Category Theory and computer programming, 1985
作者: Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden
I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particul... 详细信息
来源: 评论
Fast decompilation of compiled Prolog clauses  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Buettner, Kevin A. Logic Programming Research Group School of Computer & Information Science Syracuse University United States
Serious Prolog implementations in recent years have been primarily compiler-based, nearly all of which are founded on the abstract instruction set of Warren [1983]. The performance achieved by such implementations gre... 详细信息
来源: 评论
Compiler optimizations for the WAM  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Turk Logic, Andrew K. Programming Research Group School of Computer & Information Science Syracuse University SyracuseNY13210 United States
A series of Warren Abstract Machine (WAM) implementation techniques are presented. These techniques and compilation strategies are designed for use in a highly optimized native code Prolog compiler. A thorough knowled... 详细信息
来源: 评论
The design and implementation of a high-speed incremental portable Prolog compiler  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Bowen, Kenneth A. Buettner, Kevin A. Cicekli, Ilyas Turk, Andrew K. Logic Programming Research Group School of Computer & Information Science Syracuse University SyracuseNY13210 United States
The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and li... 详细信息
来源: 评论
Multilevel functions in Martin-Löf's type theory
Multilevel functions in Martin-Löf's type theory
收藏 引用
Workshop on Programs as Data Objects, 1985
作者: Nordström, Bengt Programming Methodology Group Department of Computer Sciences University of Göteborg Chalmers University of Technology GöteborgS-412 96 Sweden
Multilevel arrays have been used in the VDL and VDM projects for representing abstract syntax trees. In the same way as the function type can be seen as a generalization of the array type, it is possible to generalize... 详细信息
来源: 评论
Gracefully adding negation and disjunction to Prolog  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Poole, David L. Goebel, Randy Logic Programming and Artificial Intelligence Group Department of Computer Science University of Waterloo WaterlooONN2L 3G1 Canada
We show how one can add negation and disjunction to Prolog, with the property that there is no overhead in run time if we do not use the negation, and we only pay for the negation when we actually use it. The extensio... 详细信息
来源: 评论
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Goebel, Randy Furukawa, Koichi Poole, David Logic Programming and AI Group Department of Computer Science University of Waterloo WaterlooN2L 3GI Canada First Research Laboratory Inst. for New Generation Computer Technology 21F Mita Kokusai Bldg Minato-ku Tokyo108 Japan
If one desires that an automatic theory formation program detect inconsistency in a set of hypotheses, the Horn clause logic of Prolog is unsuitable as no contradiction is derivable. Full first order logic provides a ... 详细信息
来源: 评论