咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 17,941 篇 电子文献
  • 33 种 纸本馆藏

日期分布

学科分类号

  • 14,199 篇 工学
    • 12,245 篇 计算机科学与技术...
    • 10,349 篇 软件工程
    • 1,464 篇 电气工程
    • 731 篇 控制科学与工程
    • 631 篇 信息与通信工程
    • 589 篇 电子科学与技术(可...
    • 386 篇 机械工程
    • 300 篇 材料科学与工程(可...
    • 215 篇 土木工程
    • 214 篇 仪器科学与技术
    • 195 篇 建筑学
    • 157 篇 生物医学工程(可授...
    • 146 篇 生物工程
    • 141 篇 化学工程与技术
    • 110 篇 力学(可授工学、理...
    • 107 篇 航空宇航科学与技...
  • 3,903 篇 理学
    • 2,254 篇 数学
    • 1,331 篇 物理学
    • 336 篇 统计学(可授理学、...
    • 210 篇 生物学
    • 125 篇 系统科学
    • 120 篇 化学
  • 1,335 篇 管理学
    • 992 篇 管理科学与工程(可...
    • 389 篇 工商管理
    • 292 篇 图书情报与档案管...
  • 685 篇 教育学
    • 595 篇 教育学
    • 142 篇 心理学(可授教育学...
  • 506 篇 医学
    • 389 篇 临床医学
  • 205 篇 经济学
    • 178 篇 应用经济学
  • 198 篇 法学
    • 174 篇 社会学
  • 93 篇 艺术学
  • 72 篇 文学
  • 61 篇 农学
  • 44 篇 军事学
  • 43 篇 哲学
  • 20 篇 历史学

主题

  • 17,968 篇 computer program...
  • 1,171 篇 nasa technical r...
  • 1,170 篇 (ntrs)
  • 561 篇 software enginee...
  • 547 篇 algorithms
  • 411 篇 computer program...
  • 317 篇 computer softwar...
  • 260 篇 video
  • 254 篇 computer science
  • 226 篇 computers
  • 191 篇 programming lang...
  • 178 篇 reports
  • 164 篇 image processing
  • 149 篇 engineering
  • 146 篇 data processing
  • 143 篇 binary data
  • 140 篇 information syst...
  • 139 篇 applications pro...
  • 138 篇 video coding
  • 134 篇 distortion

机构

  • 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...
  • 10 篇 univ of californ...
  • 10 篇 microsoft resear...
  • 10 篇 purdue univ west...

作者

  • 109 篇 anon
  • 13 篇 soloway elliot
  • 11 篇 snyder lawrence
  • 10 篇 yeh raymond t.
  • 10 篇 sahni sartaj
  • 9 篇 sukert alan n.
  • 9 篇 elshoff james l.
  • 9 篇 goel amrit l.
  • 9 篇 richter thomas
  • 8 篇 neville-neil geo...
  • 8 篇 shooman martin l...
  • 8 篇 hwang gwo-jen
  • 8 篇 miller jr. edwar...
  • 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.

语言

  • 15,183 篇 英文
  • 2,330 篇 其他
  • 157 篇 德文
  • 127 篇 中文
  • 60 篇 俄文
  • 46 篇 法文
  • 21 篇 日文
  • 19 篇 葡萄牙文
  • 9 篇 波兰文
  • 5 篇 匈牙利文
  • 4 篇 西班牙文
  • 2 篇 意大利文
  • 2 篇 挪威文
  • 2 篇 土耳其文
  • 1 篇 捷克文
  • 1 篇 芬兰文
  • 1 篇 罗马尼亚文
检索条件"主题词=Computer Programming"
17968 条 记 录,以下是4791-4800 订阅
排序:
SYSTEM FOR RELIABLE ENGINEERING SOFTWARE.
收藏 引用
IEEE Transactions on Software Engineering 1975年 第2期SE-1卷 174-178页
作者: Culpepper, L.M. Naval Ship Research and Development Center Bethesda Md. 20084
Much of the software developed to support engineering design calculations is produced by persons whose primary skill is not that of computer scientist. Software validation techniques suitable for use by these engineer... 详细信息
来源: 评论
Review of SigmaPlot 9.0
收藏 引用
AMERICAN STATISTICIAN 2005年 第1期59卷 111-112页
作者: Hilbe, JM Univ Hawaii Honolulu HI 96822 USA Arizona State Univ Tempe AZ USA
I have attempted to provide an overview of SigmaPlot 9.0 and indicate itsvarious features. I also identified a difficulty in data importation using the Windowscopy-and-paste facility. I also suggest that the vendors e... 详细信息
来源: 评论
Rhyme and reason
收藏 引用
NEW SCIENTIST 2014年 第3000期224卷 51-51页
作者: Firth, Niall Assert(is_amateur_poet(&ldquo Niall Firth&rdquo ) == true)
Can computer code be poetry? Niall Firth parses a new literary phenomenon
来源: 评论
MONITORING SOFTWARE DEVELOPMENT FOR RELIABILITY INDICATORS.
IEEE Electron and Aerosp Syst Conv (EASCON '74), Rec
收藏 引用
IEEE Electron and Aerosp Syst Conv (EASCON '74), Rec 1974年 38-42页
作者: Clapp, J.A.
Measurement of software attributes during the development cycle may yield indicators of ultimate software operational reliability. By automating the collection of reliability data, a means exists for determining these... 详细信息
来源: 评论
PARSER GENERATION TOOL FOR MICRO-computerS.
Proceedings - IEEE Computer Society's International Computer...
收藏 引用
Proceedings - IEEE computer Society's International computer Software and Applications Conference 1979年 631-634页
作者: Burger, Wilhelm P.
An automated tool to generate fast parsers for a variety of micro-computers has been developed and tested using two modern languages, Pascal and C. The LALR(1) technology is used together with some new techniques to r... 详细信息
来源: 评论
XiP: a computational environment to create, extend and share workflows
收藏 引用
BIOINFORMATICS 2013年 第1期29卷 137-139页
作者: Nagasaki, Masao Fujita, Andre Sekiya, Yayoi Saito, Ayumu Ikeda, Emi Li, Chen Miyano, Satoru Tohoku Univ Tohoku Med Megabank Org Dept Integrat Genom Sendai Miyagi 980 Japan Univ Sao Paulo Inst Math & Stat Dept Comp Sci BR-05508 Sao Paulo Brazil Univ Tokyo Ctr Human Genome Inst Med Sci Tokyo 1138654 Japan
XiP (eXtensible integrative Pipeline) is a flexible, editable and modular environment with a user-friendly interface that does not require previous advanced programming skills to run, construct and edit workflows. XiP... 详细信息
来源: 评论
DATA PROCESSING FOR SCIENTISTS
收藏 引用
SCIENCE 1956年 第3226期124卷 773-777页
作者: HEUMANN, KF Chemical Abstracts Service Ohio State University Columbus.
This brief survey of integrated and electronic data processing has touched on such matters as the origin of the concepts, their use in business, machines that are available, indexing problems, and, finally, some scien... 详细信息
来源: 评论
MIL-STD-6179 (NAVY).
Proceedings of the Annual Reliability and Maintainability Sy...
收藏 引用
Proceedings of the Annual Reliability and Maintainability Symposium 1979年 352-355页
作者: Cooper, John D.
Military Standard 1679 (NAVY) is a newly created MIL-STD whose purpose is to provide standardization across all Navy weapons systems software developments. This paper first discusses the purpose of Military Standards ... 详细信息
来源: 评论
DYNAMIC MEMORY MANAGEMENT FOR STRUCTURED PROGRAMS.
Digest of Papers - IEEE Computer Society International Confe...
收藏 引用
Digest of Papers - IEEE computer Society International Conference 1980年 73-76页
作者: Kohn, James R.
The development of a formal memory manager for use in a large applications code system at Lawrence Livermore Laboratory is described. The problems faced are likely to exist in many large software projects. It is shown... 详细信息
来源: 评论
THE MICROcomputer IN MANAGEMENT
收藏 引用
JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY 1981年 第4期32卷 297-301页
作者: LINES, AH Consultant in Management Sciences London
This paper discusses the microcomputer as a tool for management in the manager's office rather than in the manufacturing process or as book keeping devices and the contribution that is required from O.R. to introd... 详细信息
来源: 评论