咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,384 篇 工学
    • 966 篇 计算机科学与技术...
    • 588 篇 软件工程
    • 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,990 篇 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 篇 其他
  • 31 篇 中文
  • 3 篇 德文
  • 1 篇 法文
检索条件"主题词=Object-Oriented Programming"
1990 条 记 录,以下是691-700 订阅
排序:
Stateful Declassification Policies for Event-Driven Programs  27
Stateful Declassification Policies for Event-Driven Programs
收藏 引用
27th IEEE Computer Security Foundations Symposium (CSF)
作者: Vanhoef, Mathy De Groef, Willem Devriese, Dominique Piessens, Frank Rezk, Tamara Katholieke Univ Leuven iMinds DistriNet Leuven Belgium INRIA Paris France
We propose a novel mechanism for enforcing information flow policies with support for declassification on event-driven programs. Declassification policies consist of two functions. First, a projection function specifi... 详细信息
来源: 评论
How to make a distributed programming course a big fun  44
How to make a distributed programming course a big fun
收藏 引用
IEEE Frontiers in Education Conference (FIE)
作者: Osipov, Evgeny Mousavi, Arash Lulea Univ Technol Dept Comp Sci Elect & Space Engn S-97187 Lulea Sweden
This article presents experiences of teachers from Lulea University of Technology when enhancing the teaching approach and depth of an undergraduate course on network programming and distributed applications. During t... 详细信息
来源: 评论
ASeCS: Assistive Self-Care Software Architectures for Delivering Service in Care Homes
ASeCS: Assistive Self-Care Software Architectures for Delive...
收藏 引用
47th Annual Hawaii International Conference on System Sciences
作者: Shojanoori, Reza Juric, Radmila Lohi, Mahi Terstyanszky, Gabor Univ Westminster Fac Sci & Technol London W1R 8AL England
We propose a layered and component based software architecture, which generates semantic software applications, for the purpose of delivering personalized services for residents in Self-Care Homes (SeCH). The architec... 详细信息
来源: 评论
Graceful Dialects
Graceful Dialects
收藏 引用
28th European Conference on object-oriented programming (ECOOP)
作者: Homer, Michael Jones, Timothy Noble, James Bruce, Kim B. Black, Andrew P. Victoria Univ Wellington Wellington New Zealand Pomona Coll Claremont CA 91711 USA Portland State Univ Portland OR 97207 USA
programming languages are enormously diverse, both in their essential concepts and in their accidental aspects. This creates a problem when teaching programming. To let students experience the diversity of essential c... 详细信息
来源: 评论
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels  35
KCoFI: Complete Control-Flow Integrity for Commodity Operati...
收藏 引用
35th IEEE Symposium on Security and Privacy (SP)
作者: Criswell, John Dautenhahn, Nathan Adve, Vikram Univ Illinois Dept Comp Sci 1304 W Springfield Ave Urbana IL 61801 USA
We present a new system, KCoFI, that is the first we know of to provide complete Control-Flow Integrity protection for commodity operating systems without using heavyweight complete memory safety. Unlike previous syst... 详细信息
来源: 评论
Generation of Mutation Operators for Aspect-oriented Software Systems  5
Generation of Mutation Operators for Aspect-Oriented Softwar...
收藏 引用
5th International Conference on Confluence - The Next Generation Information Technology Summit (Confluence)
作者: Lochab, Preeti Singhal, Abhishek Bansal, Abhay Amity Univ Dept CSE ASET Noida UP India
Effectiveness of a software development depends directly upon how efficiently testing techniques have been carried out on the software. Testing starts as soon as requirements are being collected for the software devel... 详细信息
来源: 评论
A Generic Mapping Approach for the Integration of BDI with object Orientation
A Generic Mapping Approach for the Integration of BDI with O...
收藏 引用
IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (WI-IAT)
作者: Braubach, Lars Pokahr, Alexander Univ Hamburg Distributed Syst Grp D-22527 Hamburg Germany
The BDI model is one of the most successful approaches for programming internal agent behavior. The derived PRS architecture beneficially combines reactiveness with deliberative reasoning via reactive planning and has... 详细信息
来源: 评论
Parametric urban regulation models for predicting development performances
Parametric urban regulation models for predicting developmen...
收藏 引用
作者: Kim, Jong Bum Texas A&M University
学位级别:Ph.D.
This research developed and evaluated the Parametric Urban Regulation Model (PURM) to represent urban regulations in parametric Building Information Modeling (BIM) and assess the development performances of urban regu... 详细信息
来源: 评论
信息技术 自动识别和数据采集技术 用移动设备读取和显示ORM
信息技术 自动识别和数据采集技术 用移动设备读取和显示ORM
收藏 引用
标准类型:国际标准
来源: 评论
OPC统一体系结构 第10部分:程序
OPC统一体系结构 第10部分:程序
收藏 引用
标准类型:国际电工委员会标准
IEC 62541-10:2015 is part of the overall OPC Unified Architecture (OPC UA) standard series and defines the information model associated with Programs. This includes the description of the NodeClasses, standard Propert... 详细信息
来源: 评论