咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4881-4890 订阅
排序:
MULTI-EXIT LOOPS.
Journal of Pascal and Ada
收藏 引用
Journal of Pascal and Ada 1984年 第1期3卷 16-17,36页
作者: Atkinson, Laurence V.
The programming of some Pascal loops which have two possible reasons for exit are examined. In particular the use of state variables is considered. Within the loop, a variable of an enumerated type records the current... 详细信息
来源: 评论
NUMBER SORTING ALGORITHM SAVES PROCESSING TIME
收藏 引用
computer DESIGN 1979年 第4期18卷 104-&页
作者: NEWMAN, M
This paper presents an algorithm for data manipulation which accomplishes fast number sorting with microprocessor. The minimal program eliminates clock cycles since number comparisons and associated decision instructi... 详细信息
来源: 评论
ROLE OF TESTING TOOLS AND TECHNIQUES IN THE PROCUREMENT OF QUALITY SOFTWARE AND SYSTEMS.
Conference Record - Asilomar Conference on Circuits, Systems...
收藏 引用
Conference Record - Asilomar Conference on Circuits, Systems & computers 1980年 309-313页
作者: Cherniavsky, John C. Adrion, W.Richards Branstad, Martha A.
This study is oriented towards those quality control problems peculiar to the procurement of software. A discussion is presented of the deficiencies, and possible corrections, of several current methodologies. The aut... 详细信息
来源: 评论
TECHNOLOGY BASE FOR AUTOMATED AIDS TO PROGRAM TESTING.
Proceedings of the Hawaii International Conference on System...
收藏 引用
Proceedings of the Hawaii International Conference on System Sciences 1977年 240-243页
作者: Paige, Michael R.
This paper discusses the technology which has been developed for automated verification systems (AVS), that is, tools to measure how thoroughly software is being tested. The presentation includes descriptions of the t... 详细信息
来源: 评论
GOING HOLLYWOOD: TINSELTOWN'S RENEWED INTEREST IN DIGITAL CONTENT
收藏 引用
ECONTENT 2012年 第6期35卷 14-18页
作者: Seymour, Chris
Companies such as Netflix, Hulu, and TV Everywhere, are providing streaming video to hollywood movies, starting a new era of digital content in cinema. Rich Hull, advisor to many of the nation's largest media and ... 详细信息
来源: 评论
wft4galaxy: a workflow testing tool for galaxy
收藏 引用
BIOINFORMATICS 2017年 第23期33卷 3805-3807页
作者: Piras, Marco Enrico Pireddu, Luca Zanetti, Gianluigi CRS4 Ctr Adv Studies Res & Dev Sardinia Data Intens Comp I-09010 Pula Italy
Motivation: Workflow managers for scientific analysis provide a high-level programming platform facilitating standardization, automation, collaboration and access to sophisticated computing resources. The Galaxy workf... 详细信息
来源: 评论
Why bug hunters are coming in from the wild
收藏 引用
computer Fraud and Security 2014年 第2期2014卷 16-20页
作者: Ring, Tim
One of 2013's more poignant blog posts came in October from Ramses Martinez, director of Yahoo's bug-finding division Yahoo Paranoids, under the title, 'So I'm the guy who sent the T-shirt out as a tha... 详细信息
来源: 评论
COMMENTS ON ON THE PROOF OF A DISTRIBUTED ALGORITHM - ALWAYS-TRUE IS NOT INVARIANT
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第6期35卷 277-279页
作者: VANGASTEREN, AJM TEL, G Department of Computer Science Utrecht University P.O. Box 80.089 3508 TB Utrecht The Netherlands
We would like to report an error in a proof given by J.-P. Verjus in [3]. More importantly, we would like to point out a difference between the notions “always-true” and “invariant”, which are identified in [3]. I... 详细信息
来源: 评论
Steady-state temperature distribution in a tetragonal solid
收藏 引用
INTERNATIONAL JOURNAL OF AMBIENT ENERGY 2020年 第6期41卷 686-690页
作者: Sankarganesh, P. Gowtham, P. Thamilarasan, J. Karthik, K. Veltech Dr RR & Dr SR Univ Dept Mech Engn Chennai Tamil Nadu India Govt Coll Engn Srirangam Trichy India
The main objective of the project is to use a simple numerical technique to find out the temperature distribution in each of the three planes of the block. For many practical problems, numerical methods to solve parti... 详细信息
来源: 评论
TABLE-DRIVEN DATA VALIDATOR.
Proceedings - IEEE Computer Society International Conference
收藏 引用
Proceedings - IEEE computer Society International Conference 1980年 712-715页
作者: Rockhind, Marc J.
Data validation and editing are performed by most application systems. This study described a table-driven validator that is intended to be part of an inventory of off-the-shelf components for application building. It... 详细信息
来源: 评论