咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 743 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 19 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 716 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是671-680 订阅
排序:
USER INTERFACE SERVICES IN AD/CYCLE
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 236-249页
作者: ARTIM, JM HARY, JM SPICKHOFF, FJ IBM Programming Systems Santa Teresa Laboratory
Significant progress has been made inthe effort to separateprogrammers fromthe management of data storage. By comparison,the window of a workstation is still managedand controlled in greatdetail by the typicalprogramm... 详细信息
来源: 评论
REPOSITORY MANAGER TECHNOLOGY
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 209-227页
作者: SAGAWA, JM IBM Programming Systems Santa Teresa Laboratory
IBM"s Repository Manager" enables specifications in- volved inthe program application development proc- ess to be *** the basis of the technology, the Repository ManagerfMVS" was developed as a product.... 详细信息
来源: 评论
THE ROLE OF WORK MANAGEMENT IN APPLICATION DEVELOPMENT
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 189-208页
作者: CHROUST, G GOLDMANN, H GSCHWANDTNER, O IBM Programming Systems Vienna Software Development Laboratory
Quality is probably one of the most serious concerns of today"s software *** software applica- tions exhibiting a certain complexity, the quality of a product can only be guaranteed by a methodological approach, ... 详细信息
来源: 评论
B3-SPLINES FOR INTERACTIVE CURVE AND SURFACE FITTING
收藏 引用
COMPUTERS & GRAPHICS 1990年 第2期14卷 281-288页
作者: CHU, KC IBM Programming Systems 2800 Sand Hill Rd. Menlo Park CA 94025 USA
B3-splines are introduced in this paper with explicit expressions. The new splines are extensions of the B-spline but overcome the latter's weakness of not passing through interpolation points for curve or surface... 详细信息
来源: 评论
Representation and execution support for reliable robot applications
Representation and execution support for reliable robot appl...
收藏 引用
Reliable Distributed systems
作者: P.S. Gopinath D.M. Lyons S. Mehta Computer Architecture and Programming Systems Department North American Philips Corporation Briarcliff Manor NY USA Autonomous Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA
Robot applications, represented as plans, are used to outline a viewpoint that robustness needs to be emphasized in two areas: in the plan representation and in the underlying system software. Robot applications are i... 详细信息
来源: 评论
Robust representation and execution of robot plans
Robust representation and execution of robot plans
收藏 引用
Euromicro Workshop on Real Time
作者: D.M. Lyons S. Mehta P.S. Gopinath North American Philips Corp. Briarcliff Manor NY USA Autonomous Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA Computer Architecture and Programming Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA
The construction of real-time software for autonomous robot systems that can operate in an uncertain and dynamic environment is considered. Techniques for representing robust robot plans using the RS (robot schema) mo... 详细信息
来源: 评论
DISASTER RECOVERY PLANNING AND TESTING AT BOC  15
DISASTER RECOVERY PLANNING AND TESTING AT BOC
收藏 引用
15th International Computer Measurement Group Conference, CMG 1989
作者: Jump, Graham Systems Programming Supervisor BOC Limited The Priestley Centre The Surrey Research Park 10 Priestley Road GuildfordGU2 5XY United Kingdom
The BOC Group Inc. is the second largest gases company in the world, having a 1988 turnover in excess of/2.500M. The UK contribution to this figure was BOOM, from products as diverse as industrial, medical and commerc... 详细信息
来源: 评论
A conceptual model of a computer-aided learning knowledge base  2nd
A conceptual model of a computer-aided learning knowledge ba...
收藏 引用
2nd International Conference on Computer Assisted Learning, ICCAL 1989
作者: Spirov, Krasimir Draganov, Mihail Centre of Engineering Pedagogics The ‘Lenin’ Higher Institute of Mechanical and Electrical Engineering Sofia1156 Bulgaria Programming and Applied Systems Department The ‘Lenin’ Higher Institute of Mechanical and Electrical Engineering Sofia1156 Bulgaria
Recent developments in the theory of artificial intelligence and the advent of the expert systems made it possible to actually produce intelligent systems for computer-aided learning (CAL). A major component of such a... 详细信息
来源: 评论
Author's reply
收藏 引用
Journal of Sound and Vibration 1989年 第1期132卷 157-159页
作者: I.N. Jordanov Department of Programming and Computing Systems Applications Higher Institute of Mechanical and Electrical Engineering Sofia 1156 Bulgaria
来源: 评论
TECHNICAL DOCUMENTATION MANAGEMENT IN THE ERA OF THE PAPERLESS SHIP
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 61-72页
作者: CHICKERING, JE QUALLS, WB John E. Chickering:is a systems analyst with American Management Systems Inc. in Arlington Virginia. Mr. Chickering received his BS degree in marine engineering from the U.S. Merchant Marine Academy in Kings Point New York in 1981 and his MBA degree in operations research and statistics from the University of Maryland in 1985. He is a licensed third assistant engineer of steam and motor vessels and a member of the Naval Reserve. Mr. Chickering's work includes the design and specification of several management information systems for the U.S. Navy including one that will automate the Navy's engineering drawing management system. Most recently Mr. Chickering has helped develop a workstation for the Navy's Paperless Ship Initiative. William B. Quails:is a management consultant with American Management Systems Inc. in Arlington Virginia. Mr. Quails received his BA degree in English from the Tulane University in New Orleans Louisiana in 1977 and his MPA degree in management science from the University of Georgia in 1982. Mr. Quails participated in the design and development of the U.S. Navy's Shipboard Non-tactical ADP Program II (SNAP II). Recently Mr. Quails has participated in the design and development of several knowledge-based computer systems using artificial intelligence programming technologies. Mr. Quails is a member of Pi Alpha Alpha an honorary public affairs and administration society.
The U.S. Navy relies heavily on advanced technology to carry out its missions. As a consequence, today's sailors are spending increasing amounts of time maintaining and repairing complex systems and equipment. In ... 详细信息
来源: 评论