咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,385 篇 工学
    • 967 篇 计算机科学与技术...
    • 589 篇 软件工程
    • 394 篇 电气工程
    • 124 篇 控制科学与工程
    • 82 篇 机械工程
    • 68 篇 信息与通信工程
    • 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,991 篇 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 篇 英文
  • 129 篇 其他
  • 32 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1991 条 记 录,以下是751-760 订阅
排序:
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III  13
Harmonizing Classes, Functions, Tuples, and Type Parameters ...
收藏 引用
34th ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI)
作者: Titzer, Ben L. Google Mountain View CA USA
Languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-cl... 详细信息
来源: 评论
Component Based Decision Architecture for Reliable Autonomous Systems
Component Based Decision Architecture for Reliable Autonomou...
收藏 引用
International Conference on Collaboration Technologies and Systems (CTS)
作者: Ramaswamy, Arunkumar Monsuez, Bruno Tapus, Adriana ENSTA ParisTech Dept Comp & Syst Engn Palaiseau France
Several decision making algorithms that are developed in robotics domain are found to be useful in automotive industrial applications. In order to use these algorithms in safety critical embedded systems one has to en... 详细信息
来源: 评论
Reducing Channel Contention in Vehicular Environments Through an Adaptive Contention Window Solution
Reducing Channel Contention in Vehicular Environments Throug...
收藏 引用
6th IFIP/IEEE Wireless Days Conference (WDays)
作者: Balador, Ali Calafate, Carlos T. Cano, Juan-Carlos Manzoni, Pietro Univ Politecn Valencia Valencia 46022 Spain
Intelligent Transportation Systems (ITS) are attracting growing attention both in industry and academia due to the advances in wireless communication technologies, and a significant demand for a wide variety of applic... 详细信息
来源: 评论
Are Your Incoming Aliases Really Necessary? Counting the Cost of object Ownership
Are Your Incoming Aliases Really Necessary? Counting the Cos...
收藏 引用
35th International Conference on Software Engineering (ICSE)
作者: Potanin, Alex Damitio, Monique Noble, James Victoria Univ Wellington Wellington New Zealand
object ownership enforces encapsulation within object-oriented programs by forbidding incoming aliases into objects' representations. Many common data structures, such as collections with iterators, require incomi... 详细信息
来源: 评论
Growing a Language in Pattern Calculus
Growing a Language in Pattern Calculus
收藏 引用
7th International Symposium on Theoretical Aspects of Software Engineering (TASE)
作者: Jay, Barry Vergara, Jose Univ Technol Sydney Sydney NSW 2007 Australia
Pattern calculus treats all computation as pattern matching, which is, in turn, central to the implementation of programming languages. Hence, its realisation in the general-purpose language bondi provides a natural h... 详细信息
来源: 评论
Broken Sets in Software Repository Evolution
Broken Sets in Software Repository Evolution
收藏 引用
35th International Conference on Software Engineering (ICSE)
作者: Vouillon, Jerome Di Cosmo, Roberto Univ Paris Diderot CNRS PPS UMR 7126 Sorbonne Paris Cite F-75205 Paris France Univ Paris Diderot Sorbonne Paris Cite INRIA CNRS F-75205 Paris France
Modern software systems are built by composing components drawn from large repositories, whose size and complexity increase at a fast pace. Software systems built with components from a release of a repository should ... 详细信息
来源: 评论
A Framework for Self-Healing Software Systems
A Framework for Self-Healing Software Systems
收藏 引用
35th International Conference on Software Engineering (ICSE)
作者: Perino, Nicolo Univ Lugano Fac Informat CH-6904 Lugano Switzerland
I present an approach to avoid functional failures at runtime in component-based application systems. The approach exploits the intrinsic redundancy of components to find workarounds as alternative sequences of operat... 详细信息
来源: 评论
Unity-Link: A Software-Gateware Interface for Rapid Prototyping of Experimental Robot Controllers on FPGAs
Unity-Link: A Software-Gateware Interface for Rapid Prototyp...
收藏 引用
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
作者: Lange, Anders Blaabjerg Schultz, Ulrik Pagh Soerensen, Anders Stengaard Univ Southern Denmark Maersk McKinney Moeller Inst Odense Denmark
In experimental robotics, we are often faced with differing requirements between projects and as a project evolves, making the initial choice of technology difficult, often requiring a continuous and tedious developme... 详细信息
来源: 评论
Developing Self-Verifying Service-Based Systems  13
Developing Self-Verifying Service-Based Systems
收藏 引用
28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
作者: Calinescu, Radu Johnson, Kenneth Rafiq, Yasmin Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These self-verifying systems sele... 详细信息
来源: 评论
Analyzing the characteristic of JAVA objects
Analyzing the characteristic of JAVA objects
收藏 引用
International Conference on Sensors, Measurement and Intelligent Materials (ICSMIM 2012)
作者: Li, Junyi Chen, Jingyu Fong, Anthony S. Dongguan Polytech Dept Comp Engn Dongguan 523808 Peoples R China Guangdong Univ Technol Fac Comp Guangzhou 510006 Peoples R China City Univ Hong Kong Hong Kong Peoples R China
Java is a very popular object-oriented programming (OOP) language because of its platform independent and automatic memory release mechanism (or garbage collection). However, garbage collection also speeds CPU time an... 详细信息
来源: 评论