咨询与建议

限定检索结果

文献类型

  • 649 篇 期刊文献
  • 459 篇 会议
  • 3 册 图书

馆藏范围

  • 1,111 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 985 篇 工学
    • 772 篇 计算机科学与技术...
    • 670 篇 软件工程
    • 288 篇 信息与通信工程
    • 213 篇 控制科学与工程
    • 182 篇 电气工程
    • 168 篇 电子科学与技术(可...
    • 84 篇 光学工程
    • 48 篇 机械工程
    • 45 篇 化学工程与技术
    • 45 篇 生物医学工程(可授...
    • 43 篇 生物工程
    • 39 篇 材料科学与工程(可...
    • 37 篇 力学(可授工学、理...
    • 32 篇 网络空间安全
    • 31 篇 仪器科学与技术
    • 30 篇 建筑学
    • 29 篇 土木工程
    • 21 篇 动力工程及工程热...
    • 17 篇 冶金工程
    • 16 篇 交通运输工程
  • 674 篇 理学
    • 515 篇 数学
    • 227 篇 物理学
    • 108 篇 统计学(可授理学、...
    • 47 篇 化学
    • 46 篇 生物学
  • 247 篇 管理学
    • 158 篇 管理科学与工程(可...
    • 96 篇 图书情报与档案管...
    • 91 篇 工商管理
  • 26 篇 医学
    • 21 篇 临床医学
  • 22 篇 经济学
    • 22 篇 应用经济学
  • 13 篇 法学
  • 9 篇 教育学
  • 8 篇 农学
  • 8 篇 军事学
  • 3 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学

主题

  • 16 篇 data mining
  • 15 篇 speech recogniti...
  • 13 篇 neural networks
  • 13 篇 image processing
  • 13 篇 parallel process...
  • 11 篇 distributed comp...
  • 10 篇 network protocol...
  • 10 篇 software enginee...
  • 10 篇 artificial intel...
  • 9 篇 learning systems
  • 9 篇 mobile robots
  • 9 篇 feature extracti...
  • 9 篇 computer softwar...
  • 9 篇 wireless telecom...
  • 8 篇 algorithms
  • 8 篇 security of data
  • 8 篇 pattern recognit...
  • 7 篇 world wide web
  • 7 篇 computer support...
  • 7 篇 medical imaging

机构

  • 55 篇 inst. of comp. t...
  • 30 篇 sch. of comp. sc...
  • 30 篇 dept. of comp. s...
  • 20 篇 graduate sch. ch...
  • 16 篇 dept. of elec. e...
  • 15 篇 dept. of comp. s...
  • 14 篇 jiangsu inst. of...
  • 13 篇 lab. of comp. sc...
  • 13 篇 dept. of elec. e...
  • 12 篇 inst. of softwar...
  • 11 篇 dept. of comp. s...
  • 10 篇 lab. of intellig...
  • 9 篇 dept. of comp. s...
  • 9 篇 comp. sci. and a...
  • 8 篇 dept. of elec. e...
  • 7 篇 speech and visio...
  • 6 篇 inst. of appl. p...
  • 6 篇 lab. of software...
  • 6 篇 coll. of comp. s...
  • 6 篇 lab. for comp. s...

作者

  • 18 篇 gao wen
  • 12 篇 hong bing-rong
  • 10 篇 shun-ren yang
  • 10 篇 yegnanarayana b.
  • 9 篇 fujimoto j.g.
  • 9 篇 xu xiao-fei
  • 9 篇 zhang tian-wen
  • 8 篇 xu bao-wen
  • 7 篇 shi zhong-zhi
  • 7 篇 feng yu-lin
  • 7 篇 phone lin
  • 6 篇 xu baowen
  • 6 篇 jia yun-de
  • 6 篇 chang chin-chen
  • 6 篇 yu. t. struchkov
  • 6 篇 ippen e.p.
  • 5 篇 cho dong-ho
  • 5 篇 li jian-zhong
  • 5 篇 zhang bo
  • 5 篇 fan xiao-zhong

语言

  • 788 篇 英文
  • 308 篇 中文
  • 9 篇 其他
  • 6 篇 日文
检索条件"机构=Inst. for Algorithms/Sci. Comp."
1111 条 记 录,以下是1071-1080 订阅
排序:
ChemInform Abstract: Structure of Knowledge and Strategy of Organic Synthesis. Applications for “Micro-Synthese”
收藏 引用
ChemInform 1991年 第14期22卷
作者: D. VILLEMIN A. LAFON J.-M. CENSE Inst. Sci. Mat. Rayonnement ENSI Caen CNRS Lab. Chim. Comp. Thioorg. 14032 Caen Fr.
ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, p... 详细信息
来源: 评论
PERFORMANCE ANALYSIS OF FILE ORGANIZATIONS THAT USE MULTI-BUCKET DATA LEAVES
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第6期36卷 301-310页
作者: MATSLIACH, G Dep. Comp. Sci. Technion-Israel Inst. Technol. Haifa 32000 Israel
Many widely used file organizations can be logically divided into 2 comp.nents: the index comp.nent and the data leaves comp.nent. File records are maintained in data leaves; each leaf is a logical unit stored in con... 详细信息
来源: 评论
ON THE comp.ETENESS OF MODULAR PROOF SYSTEMS
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第4期36卷 195-201页
作者: RAMESH, S Dep. Comp. Sci. and Eng. Indian Inst. Technol. Bombay 400 076 India
This paper is concerned with the design of sound and comp.ete proof systems for programming languages. Proof systems are designed to verify correctness of programs by means of formal deductions. A proof system is an a... 详细信息
来源: 评论
COVERING A SET WITH ARITHMETIC PROGRESSIONS IS NP-comp.ETE
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第6期34卷 293-298页
作者: HEATH, LS Dep. Comp. Sci. Virginia Polytech. Inst. and State Univ. Blacksburg VA 24061 USA
MINIMUM COVER is a typical problem of an important class of combinatorial problems that consists of set covering and partitional problems. Many of these problems are NP-comp.ete. In an inst.nce of MINIMUM COVER, the... 详细信息
来源: 评论
A DISTRIBUTED JOIN ALGORITHM
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第6期33卷 313-317页
作者: HINGSTON, P WILKINSON, R Dep. Comp. Sci. Melbourne Inst. Technol. La Trobe St. Melbourne Vic. 3052 Australia
An algorithm is presented for evaluating joins in distributed relational databases. The cost of evaluating the join is typically lower than that of using the semi-join algorithm. The resultant join, however, is hori... 详细信息
来源: 评论
OBJECT-ORIENTED INTERACTION IN RESOURCE CONSTRAINED SCHEDULING
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第2期36卷 65-67页
作者: BIRO, M Comp. and Autom. Inst. Hung. Acad. Sci. Budapest Kende u 13-17 H-1111 Hungary
Resource constrained scheduling is an area of operations research in which the availability of high resolution graphics hardware and software increases the demand for visual interactive modeling tools. Most practical... 详细信息
来源: 评论
ChemInform Abstract: Phosphorylated Allyl Chlorides: A Source of New Structures and Transformations
收藏 引用
ChemInform 1990年 第46期21卷
作者: Y. G. GOLOLOBOV A. S. OGANESYAN G. D. KOLOMNIKOVA S. A. KUZNETSOVA A. N. Nesmeyanov Inst. Organoelement Comp. Acad. Sci. USSR Moscow 117334 USSR
来源: 评论
ChemInform Abstract: Organophosphorus comp.exones: Efficiency and Selectivity
收藏 引用
ChemInform 1990年 第46期21卷
作者: M. I. KABACHNIK A. N. Nesmeyanov Inst. Organo-Element Comp. Acad. Sci. USSR Moscow 117334 USSR
来源: 评论
ChemInform Abstract: Enolization of the Phosphoryl Group
收藏 引用
ChemInform 1990年 第44期21卷
作者: T. A. MASTRYUKOVA A. N. Nesmeyanov Inst. Organo‐Element Comp. Acad. Sci. USSR Moscow 117334 USSR
来源: 评论
ChemInform Abstract: α‐Functional Cycloalkylphosphonates. Part 1. Synthesis
收藏 引用
ChemInform 1990年 第51期21卷
作者: J. NASSER E. ABOUT‐JAUDET N. COLLIGNON Lab. Comp. Organophosphores Inst. Rech. Chim. Org. Fine CNRS Inst. Natl. Sci. Appl. Rouen F‐76131 Mont‐Saint‐Aignan Fr.
来源: 评论