咨询与建议

限定检索结果

文献类型

  • 903 篇 会议
  • 446 篇 期刊文献
  • 23 册 图书

馆藏范围

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

日期分布

学科分类号

  • 809 篇 工学
    • 601 篇 计算机科学与技术...
    • 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,339 篇 英文
  • 23 篇 其他
  • 8 篇 中文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1372 条 记 录,以下是1271-1280 订阅
排序:
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 ... 详细信息
来源: 评论
STEPS TO AN ADVANCED ADA programming ENVIRONMENT
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1985年 第3期11卷 302-310页
作者: TAYLOR, RN STANDISH, TA Programming Environment Project Department of Information and Computer Science University of California
Concepts and ideas are presented that should characterize an advanced Ada programming support environment. These concepts include: 1. conceptual simplicity, 2. tight coupling of tools, and 3. effective support of host... 详细信息
来源: 评论
APPLICATIONS OF ARTIFICIAL-INTELLIGENCE WITHIN EDUCATION
收藏 引用
computerS & MATHEMATICS WITH APPLICATIONS 1985年 第5期11卷 517-526页
作者: JONES, M Logic Programming and Artificial Intelligence Group Department of Computer Science University of Waterloo Waterloo Ontario Canada N2L 3G1
computers have been employed within the field of education for many years, often with disappointing results. However, recent and current research within the field of artificial intelligence (AI) is having a positive i... 详细信息
来源: 评论