咨询与建议

限定检索结果

文献类型

  • 1,198 篇 期刊文献
  • 845 篇 会议

馆藏范围

  • 2,043 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,812 篇 工学
    • 1,741 篇 计算机科学与技术...
    • 1,562 篇 软件工程
    • 81 篇 信息与通信工程
    • 75 篇 控制科学与工程
    • 70 篇 电气工程
    • 70 篇 电子科学与技术(可...
    • 36 篇 建筑学
    • 35 篇 材料科学与工程(可...
    • 35 篇 土木工程
    • 34 篇 机械工程
    • 20 篇 生物医学工程(可授...
    • 18 篇 测绘科学与技术
    • 18 篇 航空宇航科学与技...
    • 15 篇 生物工程
    • 14 篇 仪器科学与技术
    • 10 篇 光学工程
    • 9 篇 力学(可授工学、理...
    • 4 篇 安全科学与工程
  • 259 篇 理学
    • 212 篇 数学
    • 51 篇 统计学(可授理学、...
    • 27 篇 物理学
    • 15 篇 生物学
    • 14 篇 系统科学
    • 8 篇 化学
  • 171 篇 管理学
    • 128 篇 管理科学与工程(可...
    • 56 篇 图书情报与档案管...
    • 52 篇 工商管理
  • 25 篇 教育学
    • 17 篇 教育学
    • 10 篇 心理学(可授教育学...
  • 12 篇 军事学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 5 篇 医学
  • 2 篇 法学
  • 2 篇 文学

主题

  • 2,043 篇 computer systems...
  • 12 篇 response time (c...
  • 5 篇 mathematical mod...
  • 4 篇 computer archite...
  • 4 篇 data communicati...
  • 3 篇 matlab
  • 3 篇 software enginee...
  • 3 篇 computer operati...
  • 3 篇 control educatio...
  • 3 篇 parallel process...
  • 3 篇 client server co...
  • 2 篇 computer simulat...
  • 2 篇 data storage equ...
  • 2 篇 model predictive...
  • 2 篇 database systems
  • 2 篇 computer softwar...
  • 2 篇 sorting
  • 2 篇 algorithms
  • 2 篇 laboratory educa...
  • 2 篇 approximation th...

机构

  • 4 篇 ibm corp thomas ...
  • 3 篇 univ of californ...
  • 3 篇 columbia univ ny...
  • 3 篇 harvard univ cam...
  • 2 篇 univ of glasgow ...
  • 2 篇 univ of tokyo
  • 2 篇 weizmann inst of...
  • 2 篇 univ of rocheste...
  • 2 篇 ibm corp thomas ...
  • 2 篇 silicon graphics...
  • 2 篇 cornell univ ith...
  • 2 篇 brown univ provi...
  • 2 篇 department of co...
  • 2 篇 korea univ korea...
  • 2 篇 massachusetts in...
  • 2 篇 johns hopkins un...
  • 2 篇 new york univ ny...
  • 2 篇 stanford univ st...
  • 2 篇 univ edinburgh d...
  • 2 篇 lockheed palo al...

作者

  • 29 篇 anon
  • 9 篇 kim k.h.
  • 9 篇 ramamoorthy c.v.
  • 8 篇 boggs jr. j.k.
  • 7 篇 larson l.e.
  • 7 篇 edel t.r.
  • 6 篇 boggs j.k.
  • 5 篇 lynch nancy a.
  • 5 篇 carter w.c.
  • 5 篇 brannon t.l.
  • 5 篇 ferrari domenico
  • 5 篇 fischer michael ...
  • 4 篇 wileden jack c.
  • 4 篇 clarke edmund m.
  • 4 篇 laventhal mark s...
  • 4 篇 boebert w.e.
  • 4 篇 borodin allan
  • 4 篇 goldberg robert ...
  • 4 篇 jordan harry f.
  • 4 篇 meritt a.s.

语言

  • 1,343 篇 英文
  • 634 篇 其他
  • 41 篇 德文
  • 10 篇 法文
  • 7 篇 俄文
  • 3 篇 匈牙利文
  • 2 篇 日文
  • 1 篇 丹麦文
  • 1 篇 波兰文
  • 1 篇 中文
检索条件"主题词=COMPUTER SYSTEMS PROGRAMMING"
2043 条 记 录,以下是331-340 订阅
排序:
ON TWO PROBLEMS REDUCIBLE TO TOPOLOGICAL SORTING.
收藏 引用
computer Journal 1984年 第2期27卷 176-177页
作者: Kalvin, Alan D. Varol, Yaakov L.
Generating permutations satisfying a U-D sequence, or having a given number of runs are shown to be restricted permutation problems which can be reduced to topological sorting. Algorithms for generating the solution s... 详细信息
来源: 评论
Changes of working styles in a computer algebra environment - The case of functions
收藏 引用
International Journal of computers for Mathematical Learning 2001年 第1期6卷 87-111页
作者: Weigand, Hans-Georg Weller, Hubert Universität Wuerzburg Am Hubland 97074 Wuerzburg Werner-von-Siemens-Schule Dammstrasse 62 35576 Wetzlar
This study is an empirical investigation of 11th graders at a German high school (Gymnasium). Working over a 24-hour period in a computer lab, we investigated students' use of quadratic functions with 'Derive&... 详细信息
来源: 评论
ASPEN. A concurrent stream processing environment
收藏 引用
Future Generation computer systems 1990年 第3期6卷 197-207页
作者: Livezey, Brian K. Muntz, Richard R. Univ of California Los Angeles United States
In this paper, we describe ASPEN, a concurrent stream processing environment. ASPEN is novel in that it provides a programming model in which programmers use simple annotations to exploit varying degrees and types of ... 详细信息
来源: 评论
IMPLEMENTATION OF A GENERAL PURPOSE INTERACTIVE GRAPHICS SYSTEM FOR AN INTELLIGENT TERMINAL IN A TIME-SHARING ENVIRONMENT.
Instrumentation in the Pulp and Paper Industry, Proceedings
收藏 引用
Instrumentation in the Pulp and Paper Industry, Proceedings 1980年 1卷 378-382页
作者: Rodrique, M.A. Corley, M.R.
The interface between the host computer and an intelligent graphics terminal and the optimization of functional responsibilities of each become increasingly important in a time-sharing computer-aided design environmen... 详细信息
来源: 评论
ON THE SPECIFICATION AND TESTING OF SOFTWARE RELIABILITY.
Proceedings of the Annual Reliability and Maintainability Sy...
收藏 引用
Proceedings of the Annual Reliability and Maintainability Symposium 1980年 379-383页
作者: Thompson, William E. Chelson, Paul O.
This paper deals with the statistics of estimating the software reliability of complex real-time systems where an electronic digital computer and associated computer programs are essential elements of system design an... 详细信息
来源: 评论
New horizons in formal methods
收藏 引用
computer Bulletin (London) 2001年 第1期3卷 24-26页
作者: Stepney, Susan Logica UK
It is shown how a system development team took formal methods beyond the farthest frontiers to achieve an unlikely project. This project showed that formal proofs do not have to be cumbersome and slow down the project... 详细信息
来源: 评论
MATRIX OPERATIONS ON LARGE computerS.
Proceedings of the International Conference on Fire Safety
收藏 引用
Proceedings of the International Conference on Fire Safety 1980年 72-81页
作者: McCormick, Caleb W.
In order to take full advantage of the capabilities of very large computers, it is important that data structure and coding practices be carefully selected to efficiently use the special hardware features. The data st... 详细信息
来源: 评论
ON THE PROPER USE OF A POWERFUL MPS.
收藏 引用
1974年 121-149页
作者: Orchard-Hays, William
The nature and value of investment in large Mathematical programming systems is assessed and an attempt is made to determine how it may be best used in the solution of current problems. Current MPS technology and deco... 详细信息
来源: 评论
MULTITASK EXECUTIVE SYSTEM FOR A MICROcomputer.
收藏 引用
1978年 74-83页
作者: Lee, Chin-Hwa
To satisfy the requirements of real time applications, three techniques can be employed, involving either real time clock, programmable timers, or constrained programming. Designer of microcomputers will have the maxi... 详细信息
来源: 评论
INTERACTIVE APPROACHES FOR MULTIPLE CRITERIA DECISION PROBLEMS.
收藏 引用
1972年 121-126页
作者: Dyer, James S.
This article presents a description and an evaluation of a time-sharing computer program written to implement a man-machine interactive algorithm for the solution of the multiple criteria problem. The evaluation is ba... 详细信息
来源: 评论