咨询与建议

限定检索结果

文献类型

  • 982 篇 期刊文献
  • 650 篇 会议
  • 315 册 图书
  • 38 篇 学位论文
  • 5 件 标准
  • 1 篇 科技报告
  • 1 篇 资讯

馆藏范围

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

日期分布

学科分类号

  • 1,386 篇 工学
    • 968 篇 计算机科学与技术...
    • 590 篇 软件工程
    • 394 篇 电气工程
    • 125 篇 控制科学与工程
    • 82 篇 机械工程
    • 69 篇 信息与通信工程
    • 45 篇 电子科学与技术(可...
    • 35 篇 力学(可授工学、理...
    • 33 篇 材料科学与工程(可...
    • 32 篇 土木工程
    • 21 篇 仪器科学与技术
    • 14 篇 石油与天然气工程
    • 14 篇 交通运输工程
    • 12 篇 化学工程与技术
    • 12 篇 环境科学与工程(可...
    • 10 篇 动力工程及工程热...
    • 10 篇 测绘科学与技术
  • 228 篇 理学
    • 104 篇 数学
    • 63 篇 物理学
    • 22 篇 生物学
    • 19 篇 地球物理学
    • 16 篇 化学
    • 15 篇 系统科学
    • 15 篇 统计学(可授理学、...
  • 124 篇 管理学
    • 108 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 14 篇 工商管理
  • 110 篇 教育学
    • 105 篇 教育学
  • 21 篇 农学
    • 10 篇 作物学
  • 19 篇 医学
  • 16 篇 经济学
    • 15 篇 应用经济学
  • 10 篇 文学
  • 7 篇 法学
  • 3 篇 哲学
  • 3 篇 历史学
  • 3 篇 艺术学
  • 1 篇 军事学

主题

  • 1,992 篇 object-oriented ...
  • 252 篇 nasa technical r...
  • 252 篇 (ntrs)
  • 128 篇 software enginee...
  • 124 篇 java
  • 67 篇 object oriented ...
  • 55 篇 computer program...
  • 52 篇 simulation
  • 49 篇 reports
  • 48 篇 computer program...
  • 47 篇 programming lang...
  • 43 篇 design
  • 41 篇 formal specifica...
  • 40 篇 applications pro...
  • 40 篇 architecture (co...
  • 40 篇 software
  • 39 篇 design patterns
  • 38 篇 expert systems
  • 38 篇 artificial intel...
  • 37 篇 software reusabi...

机构

  • 13 篇 naval postgradua...
  • 9 篇 brno university ...
  • 5 篇 univ macedonia d...
  • 4 篇 iit dept comp sc...
  • 4 篇 georgia inst tec...
  • 4 篇 technion israel ...
  • 4 篇 univ oslo dept i...
  • 4 篇 univ calif berke...
  • 4 篇 univ auckland de...
  • 4 篇 newcastle univ d...
  • 3 篇 natl res univ hi...
  • 3 篇 international bu...
  • 3 篇 univ oslo dept m...
  • 3 篇 victoria univ we...
  • 3 篇 oak ridge natl l...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ lancaster d...
  • 3 篇 nova sch sci & t...
  • 3 篇 swiss fed inst t...
  • 3 篇 carleton univ ot...

作者

  • 6 篇 kindler eugene
  • 6 篇 meyer bertrand
  • 6 篇 abdalla hs
  • 6 篇 ducasse s
  • 6 篇 giacaman nasser
  • 5 篇 sokas algirdas
  • 5 篇 xinogalos stelio...
  • 5 篇 yang jeong
  • 5 篇 budiardja reuben...
  • 5 篇 cardall christia...
  • 5 篇 romanovsky a
  • 5 篇 lee young
  • 5 篇 chatzigeorgiou a...
  • 4 篇 tan wee hoe
  • 4 篇 kramer matthias
  • 4 篇 brinda torsten
  • 4 篇 sinnen oliver
  • 4 篇 chang jm
  • 4 篇 noble j
  • 4 篇 fong anthony s.

语言

  • 1,826 篇 英文
  • 130 篇 其他
  • 32 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1992 条 记 录,以下是651-660 订阅
排序:
object-oriented design of preconditioned iterative methods in diffpack
收藏 引用
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 1997年 第1期23卷 50-80页
作者: Bruaset, AM Langtangen, HP UNIV OSLO DEPT MATHN-0316 OSLONORWAY
As modern programming methodologies migrate from computer science to scientific computing, developers of numerical software are faced with new possibilities and challenges. Based on experiences from an ongoing project... 详细信息
来源: 评论
object-oriented Parallelisation of Java Desktop Programs
收藏 引用
IEEE SOFTWARE 2011年 第1期28卷 32-38页
作者: Giacaman, Nasser Sinnen, Oliver Univ Auckland Dept Elect & Comp Engn Auckland 1 New Zealand
Developing parallel applications is notoriously difficult, but it\'s even more complex for desktop applications. The added difficulties primarily come from their interactive nature, where users largely perceive th... 详细信息
来源: 评论
DESIGN TECHNIQUES OF A COMPUTER-PROGRAM FOR THE IDENTIFICATION OF PROCESSES AND THE SIMULATION OF WATER-QUALITY AQUATIC SYSTEMS
ENVIRONMENTAL SOFTWARE
收藏 引用
ENVIRONMENTAL SOFTWARE 1995年 第3期10卷 199-210页
作者: REICHERT, P Swiss Federal Institute for Environmental Science and Technology (EAWAG) CH-8600 Dübendorf Switzerland
In order to support environmental scientists in finding an ''adequate'' model for the system they are investigating, a computer program is necessary that allows its users to perform simulations for dif... 详细信息
来源: 评论
One-dimensional statistical parametric mapping in Python
收藏 引用
COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING 2012年 第3期15卷 295-301页
作者: Pataky, Todd C. Shinshu Univ Dept Bioengn Ueda Nagano Japan
Statistical parametric mapping (SPM) is a topological methodology for detecting field changes in smooth n-dimensional continua. Many classes of biomechanical data are smooth and contained within discrete bounds and as... 详细信息
来源: 评论
Scalable processor architecture for Java with explicit thread support
收藏 引用
ELECTRONICS LETTERS 1997年 第18期33卷 1532-1534页
作者: Buchenrieder, K Kress, R Pyttel, A Sedlmeier, A Veith, C Siemens AG D-81730 Munich Germany
A scalable processor architecture for multi-threaded Java(TM) application is presented . The proposed architecture consists of multiple application-specific processing elements , each able to execute a single thread a... 详细信息
来源: 评论
A FAST TRANSLATION METHOD FOR PAGING ON TOP OF SEGMENTATION
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1992年 第2期41卷 247-250页
作者: DALLY, WJ Artificial Intelligence Lab. MIT Cambridge MA USA Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions
This paper describes a fast, one-step translation method that implements paging on top of segmentation. This method translates a virtual address into a physical address, performing both the segmentation and paging tra... 详细信息
来源: 评论
A PARALLEL PROGRAM FOR AN URBAN-TRAFFIC ANALIZATION AND ITS EVALUATION
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 1994年 第1-4期27卷 233-236页
作者: TSUKAMOTO, K MATSUOKA, Y SEKI, H ITOH, H NTT SOFTWARE CORP NAKA KUYOKOHAMAKANAGAWA 231JAPAN
In this paper, we describe the traffic simulation system which analyzes a traffic flow in a road network. The system is constructed and operated on the parallel computer AP1000. A database of a road network is impleme... 详细信息
来源: 评论
object-oriented DESIGN, JACKSON SYSTEM-DEVELOPMENT (JSD) SPECIFICATIONS AND CONCURRENCY
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1989年 第2期4卷 79-86页
作者: HULL, MEC ZAREAALIABADI, A GUTHRIE, DA UNIV ULSTER DEPT COMP SCINEWTOWNABBEY BT37 0QBANTRIMNORTH IRELAND
object-oriented design facilitates the implementation of large systems, and is suitable for constructing concurrent systems. This paper shows that the Jackson system development (JSD) method caters for object-oriented... 详细信息
来源: 评论
Managing music in orchestras
收藏 引用
COMPUTER 1999年 第9期32卷 26-+页
作者: Bellini, P Fioravanti, F Nesi, P Univ Florence Dept Syst & Informat I-50121 Florence Italy
The typical orchestra manages a huge amount of information. A symphonic work's main score often runs to more than 100 pages, while an operatic score can run 600 or more. From the main score, the conductor draws so... 详细信息
来源: 评论
A formalization of reasoning not derived from standard predicate logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 1999年 第1-2期224卷 291-317页
作者: Tseytin, GS VI Smirnov Res Inst Math & Mech St Petersburg 198904 Russia
A system of formal reasoning, termed object-oriented logic (OOL), is presented which is based on the logical concepts present in modern computer programming and not related directly to predicate logic. It is expected ... 详细信息
来源: 评论