咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 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,839 篇 英文
  • 127 篇 其他
  • 29 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-oriented programming"
1999 条 记 录,以下是261-270 订阅
排序:
Assume-guarantee verification of software components in SOFA 2 framework
收藏 引用
IET SOFTWARE 2010年 第3期4卷 210-221页
作者: Parizek, P. Plasil, F. Charles Univ Prague Fac Math & Phys Dept Software Engn Distributed Syst Res Grp Prague 11800 1 Czech Republic Acad Sci Czech Republ Inst Comp Sci Prague 18207 8 Czech Republic
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be model-checked directly. A typical sol... 详细信息
来源: 评论
GENASIS Mathematics: object-oriented manifolds, operations, and solvers for large-scale physics simulations
收藏 引用
COMPUTER PHYSICS COMMUNICATIONS 2018年 222卷 384-412页
作者: Cardall, Christian Y. Budiardja, Reuben D. Oak Ridge Natl Lab Phys Div Oak Ridge TN 37831 USA Univ Tennessee Dept Phys & Astron Knoxville TN 37996 USA Oak Ridge Natl Lab Natl Ctr Computat Sci Oak Ridge TN 37831 USA
The large-scale computer simulation of a system of physical fields governed by partial differential equations requires some means of approximating the mathematical limit of continuity. For example, conservation laws a... 详细信息
来源: 评论
object-oriented numerical integration - a template scheme for FEM and BEM applications
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2006年 第3期37卷 172-183页
作者: Marczak, RJ Univ Fed Rio Grande do Sul Dept Mech Engn BR-90050170 Porto Alegre RS Brazil
An object-oriented numerical integration template implementation is presented on the basis of the C + + programming language. Aiming its straightforward application in finite and boundary element methods, the design s... 详细信息
来源: 评论
IGSTK:: An open source software toolkit for image-guided surgery
收藏 引用
COMPUTER 2006年 第4期39卷 46-+页
作者: Gary, K Ibáñez, L Aylward, S Gobbi, D Blake, MB Cleary, K Arizona State Univ Coll Sci & Technol Div Comp Studies Tempe AZ 85287 USA Kitware Inc Clifton Pk NY USA Georgetown Univ Dept Comp Sci Washington DC 20057 USA Georgetown Univ Med Ctr Dept Radiol Imaging Sci Washington DC 20007 USA Georgetown Univ Med Ctr Informat Syst Ctr Washington DC 20007 USA
Surgeons increasingly rely on dynamic, three-dimensional medical images for instrument guidance and clinical decision-making during minimally invasive procedures. The typical display combines images acquired before th... 详细信息
来源: 评论
High-speed multi-input VME bus data acquisition system
收藏 引用
MEASUREMENT SCIENCE AND TECHNOLOGY 2000年 第8期11卷 1224-1232页
作者: Loureiro, CFM Correia, CMBA Varandas, CAF Univ Coimbra Dept Fis EURATOM Assoc IST P-3004516 Coimbra Portugal Inst Super Tecn EURATOM Assoc Ctr Cusao Nucl P-1096 Lisbon Portugal
A data acquisition module, developed under a modular organizational architecture with links to an object-oriented design approach, is described. The module comprises four independent 250 MHz eight-bit data acquisition... 详细信息
来源: 评论
A decision-making model for flexible manufacturing system
收藏 引用
ASSEMBLY AUTOMATION 2009年 第1期29卷 32-40页
作者: Mehijerdi, Yahia Zare Yazd Univ Dept Ind Engn Yazd Iran
Purpose - The purpose of this paper is to develop a computer aided decision-making model for flexible manufacturing system (FMS) situations when multiple conflicting objectives are addressed by the management. Design/... 详细信息
来源: 评论
AN object-oriented VLSI CAD FRAMEWORK - A CASE-STUDY IN RAPID PROTOTYPING
收藏 引用
COMPUTER 1989年 第5期22卷 28-37页
作者: GUPTA, R CHENG, WH GUPTA, R HARDONAG, I BREUER, MA Univ. of Southern California Los Angeles CA
It is shown, in the context of an actual prototype VLSI CAD framework called Cbase, how concepts such as data abstraction, property and operation inheritance, object specialization/generalization, code reusability, an... 详细信息
来源: 评论
Iterative criteria-based approach to engineering the requirements of software development methodologies
收藏 引用
IET SOFTWARE 2010年 第2期4卷 91-104页
作者: Ramsin, R. Paige, R. F. Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
Software engineering endeavours are typically based on and governed by the requirements of the target software;requirements identification is therefore an integral part of software development methodologies. Similarly... 详细信息
来源: 评论
The design of PACS (Physics-oriented Accelerator Control System) and its implementation in a heavy ion accelerator facility
收藏 引用
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT 2020年 第0期953卷 163170-000页
作者: Ma, G. M. Liu, J. Yang, J. C. Chai, W. P. Ruan, S. Zhu, Y. P. Wang, G. Shen, G. D. Wang, R. R. Chinese Acad Sci Inst Modern Phys Lanzhou 730000 Peoples R China Univ Chinese Acad Sci Beijing 100049 Peoples R China Huizhou Res Ctr Ion Sci Huizhou 516003 Peoples R China
As many diverse accelerator facilities are designed, constructed and operated by IMP (Institute of Modern Physics, Chinese Academy of Sciences), the existing physics control system cannot cover all requirements of the... 详细信息
来源: 评论
Implementing a mobile virtual electromagnetics laboratory
收藏 引用
IET SCIENCE MEASUREMENT & TECHNOLOGY 2012年 第5期6卷 398-402页
作者: Browne, D. R. Flint, J. A. Pomeroy, S. C. Univ Loughborough Sch Elect Elect & Syst Engn Loughborough LE11 3TU Leics England
Modern mobile devices are sufficiently powerful to execute computationally intensive mathematical problems. This study presents an implementation of a two-dimensional transmission line matrix method (TLM) solver execu... 详细信息
来源: 评论