咨询与建议

限定检索结果

文献类型

  • 8,208 篇 会议
  • 7,406 篇 期刊文献
  • 1,605 册 图书
  • 394 篇 科技报告
  • 29 篇 学位论文
  • 1 篇 资讯

馆藏范围

  • 17,617 篇 电子文献
  • 32 种 纸本馆藏

日期分布

学科分类号

  • 13,926 篇 工学
    • 12,086 篇 计算机科学与技术...
    • 10,252 篇 软件工程
    • 1,369 篇 电气工程
    • 718 篇 控制科学与工程
    • 597 篇 信息与通信工程
    • 566 篇 电子科学与技术(可...
    • 388 篇 机械工程
    • 294 篇 材料科学与工程(可...
    • 214 篇 仪器科学与技术
    • 203 篇 土木工程
    • 189 篇 建筑学
    • 157 篇 生物医学工程(可授...
    • 143 篇 生物工程
    • 142 篇 化学工程与技术
    • 112 篇 力学(可授工学、理...
    • 108 篇 航空宇航科学与技...
  • 3,807 篇 理学
    • 2,211 篇 数学
    • 1,331 篇 物理学
    • 334 篇 统计学(可授理学、...
    • 195 篇 生物学
    • 125 篇 系统科学
    • 120 篇 化学
  • 1,257 篇 管理学
    • 938 篇 管理科学与工程(可...
    • 377 篇 工商管理
    • 283 篇 图书情报与档案管...
  • 657 篇 教育学
    • 572 篇 教育学
    • 115 篇 心理学(可授教育学...
  • 494 篇 医学
    • 383 篇 临床医学
  • 189 篇 经济学
    • 162 篇 应用经济学
  • 169 篇 法学
    • 148 篇 社会学
  • 84 篇 艺术学
  • 65 篇 文学
  • 45 篇 农学
  • 43 篇 军事学
  • 35 篇 哲学
  • 11 篇 历史学

主题

  • 17,643 篇 computer program...
  • 1,171 篇 nasa technical r...
  • 1,170 篇 (ntrs)
  • 552 篇 software enginee...
  • 525 篇 algorithms
  • 417 篇 computer program...
  • 260 篇 video
  • 227 篇 computer softwar...
  • 225 篇 computer science
  • 223 篇 computers
  • 179 篇 reports
  • 172 篇 image processing
  • 150 篇 engineering
  • 146 篇 data processing
  • 143 篇 binary data
  • 143 篇 programming lang...
  • 140 篇 information syst...
  • 140 篇 image compressio...
  • 139 篇 applications pro...
  • 138 篇 video coding

机构

  • 54 篇 naval postgradua...
  • 37 篇 air force life c...
  • 35 篇 carnegie-mellon ...
  • 24 篇 air force instit...
  • 17 篇 univ of illinois...
  • 17 篇 russian acad sci...
  • 14 篇 air force instit...
  • 14 篇 univ of maryland...
  • 14 篇 carnegie mellon ...
  • 13 篇 yale univ new ha...
  • 13 篇 carnegie-mellon ...
  • 12 篇 mit cambridge ma...
  • 12 篇 univ of southern...
  • 12 篇 ibm yorktown hei...
  • 12 篇 at&t bell lab mu...
  • 11 篇 department of de...
  • 11 篇 eindhoven univ t...
  • 11 篇 univ calif berke...
  • 10 篇 univ of californ...
  • 10 篇 purdue univ west...

作者

  • 109 篇 anon
  • 10 篇 yeh raymond t.
  • 10 篇 snyder lawrence
  • 10 篇 soloway elliot
  • 10 篇 sahni sartaj
  • 9 篇 sukert alan n.
  • 9 篇 elshoff james l.
  • 9 篇 goel amrit l.
  • 9 篇 richter thomas
  • 8 篇 shooman martin l...
  • 8 篇 guzdial mark
  • 8 篇 hwang gwo-jen
  • 8 篇 carnegie-mellon ...
  • 8 篇 ramakrishnan i.v...
  • 8 篇 fu fang-wei
  • 8 篇 denning peter j.
  • 7 篇 tarjan robert e.
  • 7 篇 liu y
  • 7 篇 white lee j.
  • 7 篇 manna zohar

语言

  • 14,850 篇 英文
  • 2,322 篇 其他
  • 156 篇 德文
  • 144 篇 中文
  • 60 篇 俄文
  • 46 篇 法文
  • 21 篇 日文
  • 19 篇 葡萄牙文
  • 9 篇 波兰文
  • 5 篇 匈牙利文
  • 4 篇 西班牙文
  • 2 篇 意大利文
  • 2 篇 挪威文
  • 2 篇 土耳其文
  • 1 篇 捷克文
  • 1 篇 芬兰文
  • 1 篇 罗马尼亚文
检索条件"主题词=Computer Programming"
17643 条 记 录,以下是4891-4900 订阅
排序:
SOFTWARE RELIABILTY MEASURES APPLIED TO SYSTEM ENGINEERING.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1979年 48卷 941-946页
作者: Musa, John D.
Several trends have recently combined to escalate the importance of quantitative software reliability measures: the large and growing number of real-time and interactive systems has incresed the operational and cost i... 详细信息
来源: 评论
AXIOMS FOR STRUCTURAL INDUCTION ON PROGRAMS CONTAINING BLOCK EXITS.
Symposia Series - Polytechnic Institute of New York, Microwa...
收藏 引用
Symposia Series - Polytechnic Institute of New York, Microwave Research Institute 1976年 24卷 239-250页
作者: Kieburtz, R.B. Cherniavsky, J.C.
Concise and natural verification systems are developed for handling control structures designed to aid in structuring programs. Also, an interpretative semantics is developed for justifying the axioms. Two principles ... 详细信息
来源: 评论
ASSESSMENT OF THE TECHNOLOGY FOR DATA- AND PROGRAM-RELATED CONVERSION.
收藏 引用
1978年 47卷 887-907页
作者: Fry, James P. Birss, Edward Dressen, Peter Goguen, Nancy Kaplan, Michael Lowenthal, Eugene Lum, Vincent Marion, Robert Navathe, Shamkant Schindler, Steven Shoshani, Arie Su, Stanley Swartwout, Donald Taylor, Robert Yormark, Beatrice
Over the past six years, research and development have primarily centered on the problem of converting in non-dynamic environments. A survey is made of the tools and technology currently available for the conversion o... 详细信息
来源: 评论
ANALYSIS OF SOFTWARE ERROR MODEL PREDICTIONS AND QUESTIONS OF DATA AVAILABILITY.
收藏 引用
1978年 209-215页
作者: Sukert, Alan N.
During the period Aug 1974 to May 1978 a study to evaluate the accuracy of predictions of several models for predicting the error content and reliability of a software package against error data extracted from four la... 详细信息
来源: 评论
ESTIMATORS FOR SOFTWARE RELIABILITY.
收藏 引用
1977年 2卷 1067-1072页
作者: Tal, J. Barber, G.H.
The estimation process of software reliability is described and its various phases are discussed. Three models are suggested for the error detection process. These include the Instant Correction, the Delayed Correctio... 详细信息
来源: 评论
ON-LINE ALGORITHMS FOR DIVISION AND MULTIPLICATION.
收藏 引用
1975年 161-167页
作者: Trivedi, Kishor S. Ercegovac, Milos D.
Two compatible algorithms for on-line division and multiplication, based on the redundant number systems, are presented. Besides an obvious usefulness in real-time applications, these on-line algorithms provide an eff... 详细信息
来源: 评论
INFORMATION-THEORY AND REDUNDANCY
收藏 引用
PHILOSOPHY OF SCIENCE 1981年 第2期48卷 308-316页
作者: PARTRIDGE, D
来源: 评论
SYSTEM FOR EFFICIENT PROGRAM PORTABILITY.
AFIPS Conference Proceedings
收藏 引用
AFIPS Conference Proceedings 1974年 4卷 423-429页
作者: Baird, George N. Johnson, L.Arnold
The benchmark is a vital part of the competitive selection process. Here a Benchmark Preparation System is described to reduce the nonportability and expense of using natural benchmarks without losing the characterist... 详细信息
来源: 评论
INFERRING A TREE FROM LOWEST COMMON ANCESTORS WITH AN APPLICATION TO THE OPTIMIZATION OF RELATIONAL EXPRESSIONS.
Proceedings - Annual Allerton Conference on Communication, C...
收藏 引用
Proceedings - Annual Allerton Conference on Communication, Control, and Computing 1978年 54-63页
作者: Aho, A.V. Sagiv, Y. Szymanski, T.G. Ullman, J.D.
An algorithm is presented for constructing a tree to satisfy a set of lineage constraints on common ancestors. This algorithm is then applied to synthesize a relational algebra expression from a simple tableau, a prob... 详细信息
来源: 评论
THE computer AUDIO RESEARCH LABORATORY AT UCSD
收藏 引用
computer MUSIC JOURNAL 1982年 第1期6卷 18-29页
作者: MOORE, FR
来源: 评论