咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,396 篇 工学
    • 974 篇 计算机科学与技术...
    • 599 篇 软件工程
    • 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,998 篇 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,838 篇 英文
  • 127 篇 其他
  • 29 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=object-oriented programming"
1998 条 记 录,以下是1801-1810 订阅
排序:
New
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2012年 286卷 17-42页
作者: Kozen, Dexter Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented language... 详细信息
来源: 评论
A Strictly Declarative Language for Multi-Agent Modelling
收藏 引用
IFAC Proceedings Volumes 1998年 第16期31卷 165-170页
作者: Steve Wallis Bruce Edmonds Scott Moss Helen Gaylard Centre for Policy Modelling Manchester Metropolitan University http://www.cpm.mmu.ac.uk/
A programming language which is optimised for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. The language is SDML,... 详细信息
来源: 评论
Protection of Images based on Fractal Geometry
收藏 引用
Procedia Computer Science 2019年 160卷 515-520页
作者: Ivanna Dronyuk Volodymyr Kalinchuk Michal Greguš ml. Comenius University in Bratislava Odbojárov 10 Bratislava 82005 Slovak Republic Lviv Polytechnik National University Bandery 12 Lviv 79013 Ukraine
The method of image transformation based on fractal geometry is developed. The method is based on building an image based on the Hilbert curve. The image is based on the principle of conformity of the contrast of the ... 详细信息
来源: 评论
LIMEX: An Integrated Expert System for Lime Crop Management
收藏 引用
IFAC Proceedings Volumes 1995年 第4期28卷 337-342页
作者: M. Mahmoud K. El-Araby A. Rafea Central Lab. for Agricultural Expert Systems Agricultural Research Center El-Nour Street Dokki Egypt
An expert system was developed to assist lime growers and agricultural extension agents in the cultivation of lime. The program, LIMEX, includes assessment, irrigation, fertilization, and pest control recommendations.... 详细信息
来源: 评论
Process Diagnosis Using Fault-Tree Propagation Structures: The CAD Approach
收藏 引用
IFAC Proceedings Volumes 1997年 第18期30卷 531-536页
作者: Mateja Kavčič Đani Juričić Department of Computer Automation and Control Jožef Stefan Institute Jamova 39 SI-1001 Ljubljana Slovenia Fax: +386 61 21 93 85 Tel.: +386 61 177 3 661
A component-centred approach to the derivation of the diagnostic rules for continuous processes is presented below. It strongly relies on the causal representation of fault propagation within the basic process units w... 详细信息
来源: 评论
Communicating MMS Events in a Distributed Manufacturing System Using CORBA
收藏 引用
IFAC Proceedings Volumes 1998年 第32期31卷 149-154页
作者: T. Ariza F.R. Rubio Departamento de Ingeniería de Sistemas y Automática Universidad de Sevilla Escuela Superior de Ingenieros Camino de Los Descubrimientos s/n. E-41092 Sevilla Spain. Phone: +34 95 446 73 64· Fax: +34 95 448 73 85.
Nowadays, distributed computing systems are widely used due to the great advances that have been achieved in computer networks in the past few years, and partly due to their low cost. Developing software for these sys... 详细信息
来源: 评论
Formal and Architectural Aspects of Modelling, the Case of a Semi-Trailer
收藏 引用
IFAC Proceedings Volumes 1996年 第1期29卷 7714-7719页
作者: Y. Chamaillard G.L. Gissinger Laboratoire MIAM/ESSAIM/Université de Haute Alsace 12 Rue des Frères Lumièr/F-68093 MULHOUSE Cedex Tel 89 59 69 40 - Fax 89 59 69 49
This paper presents a new modelling architecture and a formal modelling approach based on concepts derived from object-oriented programming. It also presents the conclusions of a comparative study of the methods used ... 详细信息
来源: 评论
Real-Time programming: Extending PEARL with Interfaces and Active objects
收藏 引用
IFAC Proceedings Volumes 1997年 第23期30卷 81-86页
作者: A. Heinke Frigeri C.E. Pereira W. Halang Fern Universität Hagen Faculty of Electrical Engineering Hagen Germany on leave from: Federal University of Rio Grande do Sul Dept. of Electrical Engg. Federal University of Rio Grande do Sul Dept. of Electrical Еngg. Porto Alegre Brazil Fern Universität Hagen Faculty of Electrical Engineering Hagen Germany
This paper presents an object-oriented extension to the real-time programming language PEARL. The new language preserves PEARL’s expressiveness for timeliness and industrial processes and, at same time, improves the ... 详细信息
来源: 评论
Discrete-Event Simulation for Autonomous Guided Vehicle
收藏 引用
IFAC Proceedings Volumes 2001年 第19期34卷 87-92页
作者: Kazuyoshi Inoue Systems Research and Development Center NS Solutions Corporation 3-3-1 Minatomirai Nishi-ku Yokohama Kanagawa 220-8401 Japan
Logistics simulation plays critical roles to design factories and to verify production schedules. It is time-consuming, in general, to simulate large-scale logistic models in details. We have developed a discrete-even... 详细信息
来源: 评论
A development framework for supervisory control software of automated manufacturing systems
收藏 引用
IFAC Proceedings Volumes 1999年 第2期32卷 385-390页
作者: H.Y.K. Lau K.L. Mak Department of Industrial and Manufacturing Systems Engineering The University of Hong Kong Pokfulam Road Hong Kong
The performance of automated manufacturing system (AMS) relies heavily on the quality of their supervisory control software. This paper presents a methodology that provides an object-oriented framework for the develop... 详细信息
来源: 评论