咨询与建议

限定检索结果

文献类型

  • 3,064 册 图书
  • 70 篇 期刊文献
  • 32 篇 会议
  • 1 篇 学位论文
  • 1 件 标准

馆藏范围

  • 3,168 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 119 篇 工学
    • 88 篇 计算机科学与技术...
    • 55 篇 软件工程
    • 34 篇 电气工程
    • 12 篇 控制科学与工程
    • 9 篇 信息与通信工程
    • 6 篇 机械工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 农业工程
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 12 篇 理学
    • 6 篇 数学
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 5 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 特种医学
  • 4 篇 教育学
    • 3 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 1 篇 林学

主题

  • 3,168 篇 programming tech...
  • 1,473 篇 programming lang...
  • 1,128 篇 software enginee...
  • 830 篇 software enginee...
  • 687 篇 logics and meani...
  • 679 篇 artificial intel...
  • 543 篇 computer communi...
  • 522 篇 algorithm analys...
  • 491 篇 mathematical log...
  • 355 篇 theory of comput...
  • 307 篇 computation by a...
  • 223 篇 information syst...
  • 222 篇 computer system ...
  • 202 篇 operating system...
  • 153 篇 database managem...
  • 147 篇 data structures
  • 139 篇 discrete mathema...
  • 121 篇 management of co...
  • 105 篇 special purpose ...
  • 104 篇 simulation and m...

机构

  • 13 篇 microsoft resear...
  • 13 篇 bangalore
  • 10 篇 aarhus n
  • 10 篇 hannam universit...
  • 9 篇 tu wien austria
  • 9 篇 university of os...
  • 8 篇 tübingen
  • 8 篇 department of co...
  • 7 篇 lawrence berkele...
  • 7 篇 nasa ames resear...
  • 7 篇 hammarland
  • 7 篇 school of comput...
  • 7 篇 university of ma...
  • 7 篇 uk
  • 7 篇 university of am...
  • 6 篇 institut für inf...
  • 6 篇 utrecht universi...
  • 6 篇 rwth aachen univ...
  • 6 篇 dipartimento di ...
  • 6 篇 university of tw...

作者

  • 16 篇 jack dongarra
  • 16 篇 andrei voronkov
  • 15 篇 manfred broy
  • 11 篇 thomas mailund
  • 10 篇 tai-hoon kim
  • 10 篇 gerhard goos
  • 9 篇 jerzy waśniewski
  • 9 篇 richard kaiser
  • 9 篇 konrad karczewsk...
  • 9 篇 roman wyrzykowsk...
  • 8 篇 mehdi dastani
  • 8 篇 michael hanus
  • 8 篇 thomas rauber
  • 8 篇 mikael olsson
  • 8 篇 viktória zsók
  • 8 篇 john hunt
  • 8 篇 leszek a. macias...
  • 7 篇 zoltán horváth
  • 7 篇 bertrand meyer
  • 7 篇 christian maurer

语言

  • 3,139 篇 英文
  • 24 篇 中文
  • 5 篇 其他
检索条件"主题词=Programming techniques"
3168 条 记 录,以下是141-150 订阅
排序:
Walking programming for an electropneumatic biped robot
收藏 引用
MECHATRONICS 1999年 第8期9卷 941-964页
作者: Figliolini, G Ceccarelli, M Univ Cassino Dipartimento Meccan Strutture Ambiente & Terr Lab Robot & Meccatron I-03043 Cassino FR Italy
An anthropomorphic ElectroPneumatic WAlking Robot named as EP-WAR has been designed and built at the Laboratory of Robotics and Mechatronics of Cassino University. Stability problems have been solved by a suitable use... 详细信息
来源: 评论
Advances in robotics:: The DLR experience
收藏 引用
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH 1999年 第11期18卷 1064-1087页
作者: Hirzinger, G Fischer, M Brunner, B Koeppe, R Otter, M Grebenstein, M Schäfer, I Deutsch Zentrum Luft & Raumfahrt EV D-82234 Wessling Germany
Key items in the development of a new smart robot generation are explained in light of DLR 's recent activities in robotics research. These items are the design of articulated hands, ultra-lightweight links, and j... 详细信息
来源: 评论
Evaluating the usability of robot programming toolsets
收藏 引用
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH 1998年 第4期17卷 381-401页
作者: MacKenzie, DC Arkin, RC Georgia Inst Technol Atlanta GA 30332 USA
The days of specifying missions for mobile robots using traditional programming languages such as C++ and LISP are coming to an end. The need to support operators lacking programming skills coupled with the increasing... 详细信息
来源: 评论
A framework and a simulation generator for kanban-controlled manufacturing systems
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 1998年 第2期34卷 337-350页
作者: Aytug, H Dogan, CA Univ N Carolina Belk Coll Business Informat Charlotte NC 28223 USA Univ N Carolina Operat Management Dept Charlotte NC 28223 USA Supply Chain Consultants Inc Eastburn Ctr 2604 Newark DE 19711 USA
A generalized framework for the definition of kanban-controlled manufacturing systems and a simulation generator based on this framework are introduced in this paper. Kanbans are used between and within workstations t... 详细信息
来源: 评论
ASAP - A simple assertion pre-processor
收藏 引用
ACM SIGPLAN NOTICES 1998年 第12期33卷 44-51页
作者: Curcio, IDD Nokia Res Ctr Speech & Audio Syst Lab Tampere Finland
Assertions are widely known as a powerful tool to detect software faults during the debugging of software systems. Despite the maturity of software engineering tools, assertions are seldom used in practice. ASAP is a ... 详细信息
来源: 评论
Customized medical image databases: A low-cost approach
收藏 引用
COMPUTERIZED MEDICAL IMAGING AND GRAPHICS 1997年 第6期21卷 345-350页
作者: Stahl, JN Kramann, B Univ Kliniken Abt Radiodiagnost Radiol Klin D-66421 Homburg Germany
The increasing use of digital images in medicine creates a demand for efficient but simple methods to store, retrieve and display images, The ideal solution for this might be a large-scale hospital-integrated picture ... 详细信息
来源: 评论
Minimum loss optimization in distribution systems: Discrete ascent optimal programming
收藏 引用
ELECTRIC POWER SYSTEMS RESEARCH 1996年 第2期36卷 113-121页
作者: Broadwater, RP Dolloff, PA Herdman, TL Karamikhova, R Sargent, AF [a] Bradley Department of Electrical Engineering Virginia Polytechnic Institute and State University Blacksburg VA 24061 USA [b] Interdisciplinary Center for Applied Mathematics Virginia Polytechnic Institute and State University Blacksburg VA 24061 USA [c] Entergy Corporation Hot Springs AR 71901 USA
A new algorithm, discrete ascent optimal programming, for optimal power flow in distribution systems is presented. The new algorithm will converge to the same solution as the Lagrange multiplier approach, as demonstra... 详细信息
来源: 评论
The VuSystem: A programming system for compute-intensive multimedia
收藏 引用
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 1996年 第7期14卷 1298-1313页
作者: Lindblad, CJ Tennenhouse, DL MIT COMP SCI LAB TELEMEDIA NETWORKS & SYST GRP CAMBRIDGE MA 02139 USA
In compute-intensive multimedia applications, the computer not only manipulates media, but also digests it and performs independent actions based on media content, We present a design approach that applies the program... 详细信息
来源: 评论
COMPARISON OF LINEAR, NONLINEAR, AND NETWORK FLOW programming techniques IN FUEL SCHEDULING
收藏 引用
ELECTRIC POWER SYSTEMS RESEARCH 1994年 第3期30卷 169-174页
作者: ASGARPOOR, S Department of Electrical Engineering 209N WSEC University of Nebraska-Lincoln Lincoln NE 68588-0511 USA
The objective of fuel scheduling is to minimize the operating cost over a given time period while satisfying several constraints including fuel supply, fuel inventory, total power requirement, and generating unit powe... 详细信息
来源: 评论
OASIS: A New Way to Design Safety Critical Applications
收藏 引用
IFAC Proceedings Volumes 1996年 第5期29卷 21-26页
作者: C. Aussagues C. Cordonnier M. Aji V. David J. Delcoigne LETI (CEA - Advanced Technologies) DEIN - CEA/Saclay 91191 Gif sur Yvette Cedex (FRANCE)
The OASIS project proposes new reliable and rigorous methods to design and implement safety critical applications compounded of complex critical real-time subsystems. The main objectives of the model and of its implem... 详细信息
来源: 评论