咨询与建议

限定检索结果

文献类型

  • 3,066 册 图书
  • 70 篇 期刊文献
  • 32 篇 会议
  • 1 篇 学位论文
  • 1 件 标准

馆藏范围

  • 3,170 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 119 篇 工学
    • 88 篇 计算机科学与技术...
    • 55 篇 软件工程
    • 34 篇 电气工程
    • 12 篇 控制科学与工程
    • 9 篇 信息与通信工程
    • 6 篇 机械工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 农业工程
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 13 篇 理学
    • 7 篇 数学
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 5 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 特种医学
  • 4 篇 教育学
    • 3 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 1 篇 林学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 3,170 篇 programming tech...
  • 1,475 篇 programming lang...
  • 1,128 篇 software enginee...
  • 830 篇 software enginee...
  • 687 篇 logics and meani...
  • 679 篇 artificial intel...
  • 543 篇 computer communi...
  • 522 篇 algorithm analys...
  • 491 篇 mathematical log...
  • 355 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 202 篇 operating system...
  • 153 篇 database managem...
  • 147 篇 data structures
  • 139 篇 discrete mathema...
  • 121 篇 management of co...
  • 105 篇 special purpose ...
  • 104 篇 simulation and m...

机构

  • 13 篇 microsoft resear...
  • 13 篇 bangalore
  • 10 篇 aarhus n
  • 10 篇 hannam universit...
  • 9 篇 tu wien austria
  • 9 篇 university of os...
  • 8 篇 tübingen
  • 8 篇 department of co...
  • 7 篇 lawrence berkele...
  • 7 篇 nasa ames resear...
  • 7 篇 hammarland
  • 7 篇 school of comput...
  • 7 篇 university of ma...
  • 7 篇 uk
  • 7 篇 university of am...
  • 6 篇 institut für inf...
  • 6 篇 utrecht universi...
  • 6 篇 rwth aachen univ...
  • 6 篇 dipartimento di ...
  • 6 篇 university of tw...

作者

  • 16 篇 jack dongarra
  • 16 篇 andrei voronkov
  • 15 篇 manfred broy
  • 11 篇 thomas mailund
  • 10 篇 tai-hoon kim
  • 10 篇 gerhard goos
  • 9 篇 jerzy waśniewski
  • 9 篇 richard kaiser
  • 9 篇 konrad karczewsk...
  • 9 篇 roman wyrzykowsk...
  • 8 篇 mehdi dastani
  • 8 篇 michael hanus
  • 8 篇 thomas rauber
  • 8 篇 mikael olsson
  • 8 篇 viktória zsók
  • 8 篇 john hunt
  • 8 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer

语言

  • 3,141 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3170 条 记 录,以下是181-190 订阅
排序:
TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1981年 第1期7卷 3-14页
作者: BALZER, R Information Sciences Institute University of Southern California
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and pr... 详细信息
来源: 评论
SOME techniques FOUND USEFUL IN THE DEVELOPMENT OF A LARGE-SCALE SIMULATION-MODEL
收藏 引用
SIMULATION 1980年 第5期34卷 177-178页
作者: RICHERSON, ME Boeing Computer Services Company Central District 3801 S. Oliver Wichita Kansas 67210
来源: 评论
METHODS FOR THE MEASUREMENT OF MEMORY UTILIZATION AND THE IMPROVEMENT OF PROGRAM-LOCALITY
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1979年 第6期5卷 618-631页
作者: MASUDA, T Institute of Information Sciences and Electronics University of Tsukuba
It is known that the locality of reference of a program can be improved by restructuring it. One approach for program restructuring is to rearrange the order of relocatable program sectors and to repackage those secto... 详细信息
来源: 评论
Efficiently Monitoring Relational Databases
收藏 引用
ACM Transactions on Database Systems (TODS) 1979年 第3期4卷 368-382页
作者: Buneman, O. Peter Clemons, Eric K. University of Pennsylvania Department of Decision Sciences Wharton School Philadelphia PA 19174 United States
An alerter is a program which monitors a database and reports to some user or program when a specified condition occurs. It may be that the condition is a complicated expression involving several entities in the datab... 详细信息
来源: 评论
NEW techniques FOR COBOL PROGRAMMERS
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1979年 第2期9卷 87-95页
作者: CHVALVOSKY, V Institute of Computer Science University of Nairobi P.O. Box 30197 Nairobi Kenya
Structured programming has become one of the most widely discussed topics among DP professionals. Despite this, however, COBOL programmers, responsible for the majority of ‘bread and butter jobs’, have been left mos... 详细信息
来源: 评论
DYNAMIC MEMORY ALLOCATION IN COMPUTER-SIMULATION
收藏 引用
COMMUNICATIONS OF THE ACM 1977年 第11期20卷 864-873页
作者: NIELSEN, NR STANFORD RES INST INFORMAT SYST GRPMENLO PKCA 94025
This paper investigates the performance of 35 dynamic memory allocation algorithms when used to service simulation programs as represented by 18 test cases. Algorithm performance was measured in terms of processing ti... 详细信息
来源: 评论
Algorithms to Reveal the Representation of Characters, Integers, and Floating-Point Numbers
收藏 引用
ACM Transactions on Mathematical Software (TOMS) 1975年 第3期1卷 210-216页
作者: George, James E. Los Alamos Scientific Laboratory University of California Los Alamos NM P.O. Box 1663 United States
Three algorithms are presented as a set of Standard Fortran subroutines which compute the number of characters representable in a single storage unit, the number of bits representing a character, and the type of integ... 详细信息
来源: 评论
Public Key Cryptography  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Hideki Imai Yuliang Zheng
来源: 评论
Services Management in Intelligent Networks  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Anthony Ambler Seraphin B. Calo Gautam Kar
来源: 评论
Coding Examples from Simple to Complex  1
收藏 引用
丛书名: Synthesis Lectures on Computer Science
1000年
作者: Paul A. Gagniuc
来源: 评论