咨询与建议

限定检索结果

文献类型

  • 1,831 篇 会议
  • 118 册 图书
  • 17 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 809 篇 工学
    • 657 篇 计算机科学与技术...
    • 484 篇 软件工程
    • 178 篇 信息与通信工程
    • 114 篇 材料科学与工程(可...
    • 101 篇 控制科学与工程
    • 68 篇 电气工程
    • 48 篇 电子科学与技术(可...
    • 39 篇 机械工程
    • 23 篇 建筑学
    • 22 篇 生物工程
    • 20 篇 土木工程
    • 19 篇 生物医学工程(可授...
    • 17 篇 网络空间安全
    • 16 篇 安全科学与工程
    • 15 篇 化学工程与技术
    • 12 篇 光学工程
  • 160 篇 理学
    • 92 篇 数学
    • 27 篇 系统科学
    • 26 篇 生物学
    • 23 篇 物理学
    • 22 篇 统计学(可授理学、...
  • 150 篇 管理学
    • 110 篇 管理科学与工程(可...
    • 55 篇 工商管理
    • 49 篇 图书情报与档案管...
  • 25 篇 教育学
    • 25 篇 教育学
  • 17 篇 医学
    • 16 篇 临床医学
    • 13 篇 基础医学(可授医学...
  • 15 篇 法学
    • 12 篇 社会学
  • 12 篇 经济学
    • 12 篇 应用经济学
  • 10 篇 文学
    • 10 篇 新闻传播学
  • 5 篇 军事学
  • 4 篇 农学
  • 1 篇 艺术学

主题

  • 309 篇 application soft...
  • 268 篇 software enginee...
  • 234 篇 computer science
  • 166 篇 software systems
  • 161 篇 computer archite...
  • 138 篇 computer aided s...
  • 116 篇 computer softwar...
  • 106 篇 programming
  • 93 篇 hardware
  • 90 篇 control systems
  • 87 篇 artificial intel...
  • 76 篇 costs
  • 72 篇 software
  • 63 篇 information syst...
  • 59 篇 prototypes
  • 58 篇 real time system...
  • 57 篇 computational mo...
  • 56 篇 systems engineer...
  • 56 篇 testing
  • 55 篇 humans

机构

  • 10 篇 school of comput...
  • 8 篇 department of co...
  • 8 篇 department of el...
  • 7 篇 weizmann inst sc...
  • 7 篇 department of so...
  • 6 篇 technion israel ...
  • 6 篇 department of co...
  • 6 篇 state key labora...
  • 5 篇 the moise and fr...
  • 5 篇 hebrew universit...
  • 5 篇 department of el...
  • 5 篇 ben gurion univ ...
  • 5 篇 computer science...
  • 5 篇 hebrew univ jeru...
  • 4 篇 tel aviv univers...
  • 4 篇 israel aircraft ...
  • 4 篇 tel aviv univ sc...
  • 4 篇 technion haifa
  • 4 篇 university of ha...
  • 4 篇 rafael advanced ...

作者

  • 10 篇 kupferman orna
  • 8 篇 exman iaakov
  • 7 篇 maoz shahar
  • 7 篇 harel david
  • 6 篇 vardi moshe y.
  • 6 篇 winokur michael
  • 6 篇 j.z. lavi
  • 6 篇 ringert jan oliv...
  • 6 篇 a. yehudai
  • 6 篇 mordechai guri
  • 6 篇 yingxu wang
  • 6 篇 rumpe bernhard
  • 6 篇 tyszberowicz shm...
  • 5 篇 david harel
  • 5 篇 shahar maoz
  • 5 篇 goldstein moshe
  • 5 篇 rajkumar buyya
  • 5 篇 pnina soffer
  • 5 篇 balaban mira
  • 5 篇 marron assaf

语言

  • 1,957 篇 英文
  • 5 篇 其他
  • 4 篇 中文
检索条件"任意字段=Fourth Israel Conference on Computer Systems and Software Engineering"
1966 条 记 录,以下是1701-1710 订阅
排序:
A discrete linear state equation approach to the inverse dynamics problem as applied to robotics
A discrete linear state equation approach to the inverse dyn...
收藏 引用
1989 IEEE International conference on Control and Applications, ICCON 1989
作者: Ailon, Amit Azaria, Helnye Department of Electrical and Computer Engineering Ben-Gurion University of the Negev Beer-Sheva84105 Israel
This paper shows that Hollerbach's recursive Lagrangian formulation of manipulator dynamics can be reduced to a compact 'state-space' model. The recursive forward and backward parts in Hollerbach's alg... 详细信息
来源: 评论
The MARUTI hard real-time operating system
The MARUTI hard real-time operating system
收藏 引用
israel conference on computer systems and software engineering
作者: S.-T. Levi S.K. Tripathi S.D. Carson A.K. Agrawala Department of Computer Science University of Maryland College Park MD USA
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communicati... 详细信息
来源: 评论
The user's view of SunPict, an extensible visual environment for intermediate-scale procedural programming
The user's view of SunPict, an extensible visual environment...
收藏 引用
israel conference on computer systems and software engineering
作者: E.P. Glinert D.W. McIntyre Department of Computer Science Rensselaer Polytechnic Institute Troy NY USA
The SunPict environment supports interactive graphical composition and execution of procedural programs. It is able to effectively handle larger user programs than its predecessors, thanks to a combination of efficien... 详细信息
来源: 评论
Development of a joint curriculum in computer science and engineering.
Development of a joint curriculum in computer science and en...
收藏 引用
Compcon '89: Thirty-fourth IEEE computer Society International conference
作者: Anon Joint Task Force of the IEEE Computer Society & ACM
A discussion is presented of the goals and recommendations of the Joint Task Force of the computer Society of the IEEE and the Association for Computing Machinery relative to the development of a curriculum in compute... 详细信息
来源: 评论
On the applicability of knowledge-based systems in communication
On the applicability of knowledge-based systems in communica...
收藏 引用
israel conference on computer systems and software engineering
作者: A. Kandel J.M. Perl M. Schneider Computer Science Department and the Institute for Expert Systems and Robotics Florida State University Tallahassee FL USA Computer Science Department Florida Institute of Technology Melbourne FL USA
A knowledge-based system (COMEX) is presented which replaces or augments the human operator of a communication station in a multilink, multidrop communication network. The system accepts some preliminary information f... 详细信息
来源: 评论
Integrating the open framework.
Integrating the open framework.
收藏 引用
Compcon '89: Thirty-fourth IEEE computer Society International conference
作者: Stout, Ted EDA Systems Inc
Users are building their own environments, using a mix of the optimum hardware and software for their individual needs. By piecing together their own solutions, users are turning to frameworks to integrate this hardwa... 详细信息
来源: 评论
software quality and reliability prediction: a time-dependent model with controllable testing coverage and repair intensity
Software quality and reliability prediction: a time-dependen...
收藏 引用
israel conference on computer systems and software engineering
作者: Y. Levendel AT&T Bell Labaratories Naperville IL USA
In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, p.340-6, Oct. 1987). Contrary to other models, the author's model was a c... 详细信息
来源: 评论
PC CAD COMES OF AGE
PC CAD COMES OF AGE
收藏 引用
4TH INTERNATIONAL CONF ON CIVIL AND STRUCTURAL engineering COMPUTING ( CIVIL-COMP 89 )
作者: CHENEY, LA RYDER, RA Elstree Computing Ltd United Kingdom
For years computer Aided Design has presented a sledgehammer image to construction industry professionals seeking cost-effective design tools. Expensive hardware and general purpose software limited the penetration of... 详细信息
来源: 评论
software safety handbook
Software safety handbook
收藏 引用
Annual conference on computer Assurance
作者: A. McKinlay McDonnell Aircraft Company McDonnell Douglas Corporation USA
A software safety handbook developed for system safety engineers to use in tailoring, planning, and executing a software safety policy is presented. The handbook provides background information, program considerations... 详细信息
来源: 评论
Regulatory requirements for software safety: policy issues (panel position statement)
Regulatory requirements for software safety: policy issues (...
收藏 引用
Annual conference on computer Assurance
作者: P.G. Neumann SRI Int. Menlo Park CA USA
Technological and nontechnological problems in the development, maintenance, and use of safe software are identified. It is argued that achieving adequate safety in computer-related systems requires both technological... 详细信息
来源: 评论