咨询与建议

限定检索结果

文献类型

  • 4,801 篇 会议
  • 355 册 图书
  • 80 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 5,233 篇 电子文献
  • 4 种 纸本馆藏

日期分布

学科分类号

  • 3,596 篇 工学
    • 3,093 篇 计算机科学与技术...
    • 2,589 篇 软件工程
    • 586 篇 信息与通信工程
    • 437 篇 控制科学与工程
    • 343 篇 电气工程
    • 230 篇 机械工程
    • 200 篇 电子科学与技术(可...
    • 194 篇 生物工程
    • 142 篇 安全科学与工程
    • 137 篇 生物医学工程(可授...
    • 107 篇 建筑学
    • 100 篇 动力工程及工程热...
    • 94 篇 土木工程
    • 83 篇 交通运输工程
    • 82 篇 仪器科学与技术
    • 82 篇 材料科学与工程(可...
  • 994 篇 理学
    • 559 篇 数学
    • 219 篇 生物学
    • 172 篇 系统科学
    • 170 篇 物理学
    • 152 篇 统计学(可授理学、...
    • 77 篇 化学
  • 803 篇 管理学
    • 569 篇 管理科学与工程(可...
    • 302 篇 工商管理
    • 290 篇 图书情报与档案管...
  • 143 篇 医学
    • 120 篇 临床医学
    • 110 篇 基础医学(可授医学...
  • 129 篇 教育学
    • 126 篇 教育学
  • 111 篇 经济学
    • 111 篇 应用经济学
  • 108 篇 法学
    • 79 篇 社会学
  • 41 篇 农学
  • 11 篇 军事学
  • 8 篇 文学
  • 2 篇 艺术学

主题

  • 374 篇 software enginee...
  • 224 篇 software
  • 175 篇 artificial intel...
  • 154 篇 computer archite...
  • 143 篇 information syst...
  • 143 篇 application soft...
  • 130 篇 computer communi...
  • 114 篇 computer science
  • 110 篇 software enginee...
  • 109 篇 hardware
  • 109 篇 computer softwar...
  • 102 篇 real-time system...
  • 94 篇 control systems
  • 90 篇 computer aided s...
  • 74 篇 software systems
  • 72 篇 computational mo...
  • 72 篇 software design
  • 71 篇 software archite...
  • 61 篇 software testing
  • 61 篇 logics and meani...

机构

  • 21 篇 college of compu...
  • 10 篇 school of softwa...
  • 9 篇 univ york dept c...
  • 9 篇 dublin city univ...
  • 8 篇 department of co...
  • 8 篇 state key labora...
  • 7 篇 school of comput...
  • 7 篇 faculty of compu...
  • 6 篇 school of comput...
  • 6 篇 school of comput...
  • 6 篇 shanghai key lab...
  • 6 篇 college of compu...
  • 6 篇 university of ne...
  • 6 篇 faculty of compu...
  • 6 篇 carleton univ de...
  • 6 篇 univ haifa dept ...
  • 6 篇 school of inform...
  • 5 篇 univ chinese aca...
  • 5 篇 hebrew universit...
  • 5 篇 nanjing univ sta...

作者

  • 14 篇 kupferman orna
  • 14 篇 labiche yvan
  • 12 篇 david lo
  • 8 篇 mylopoulos john
  • 8 篇 yilmaz murat
  • 8 篇 reinhartz-berger...
  • 8 篇 xin xia
  • 8 篇 paige richard f.
  • 7 篇 o'connor rory v.
  • 7 篇 vardi moshe y.
  • 7 篇 clarke paul m.
  • 7 篇 biffl stefan
  • 7 篇 briand lionel c.
  • 7 篇 exman iaakov
  • 7 篇 sturm arnon
  • 6 篇 katz guy
  • 6 篇 maoz shahar
  • 6 篇 sulaiman shahida
  • 6 篇 lakhmi c. jain
  • 5 篇 bernady o. apduh...

语言

  • 5,054 篇 英文
  • 155 篇 其他
  • 40 篇 中文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"
5237 条 记 录,以下是4381-4390 订阅
排序:
Enter the usability engineer: Integrating HCI and software engineering
Proceedings of the Conference on Integrating Technology into...
收藏 引用
Proceedings of the conference on Integrating Technology into computer Science Education, ITiCSE 2000年 61-64页
作者: Faulkner, Xristine Culwin, Fintan South Bank Univ London United Kingdom
this paper examines the role of Human computer Interaction in the context of the computer Science and software engineering curricula. We suggest there needs to be much more integration between computer Science and HCI... 详细信息
来源: 评论
Layered modeling of hardware and software, with application to a LAN extension router  11th
Layered modeling of hardware and software, with application ...
收藏 引用
11th International conference on Modelling Tools and Techniques for computer and Communication System Performance Evaluation, TOOLS 2000
作者: Maly, Peter Woodside, C. Murray Department of Systems and Computer Engineering Carleton University OttawaK1S 5B6 Canada
Understanding the interactions between hardware and soft-ware is important to performance in many systems found in data com-munications like routers. Responsibilities that traditionally were pro-grammed in software ar... 详细信息
来源: 评论
Agent technology in computer Science and engineering curriculum
Proceedings of the Conference on Integrating Technology into...
收藏 引用
Proceedings of the conference on Integrating Technology into computer Science Education, ITiCSE 2000年 120-123页
作者: Shang, Yi Shi, Hongchi Chen, Su-Shing Univ of Missouri-Columbia Columbia MO United States
In recent years, agent technology has been used increasingly in information management and distributed computing. A CSE curriculum that cultivates the knowledge of agent technology will increase the likelihood that th... 详细信息
来源: 评论
State space analysis on an AI problem with CPN model
State space analysis on an AI problem with CPN model
收藏 引用
International conference on Signal Processing Proceedings (ICSP)
作者: Shaowen Yao Mingtian Zhou Jiazhi Zeng Department of Communication & Electrical Engineering Yunnan Polytechnic University Kunming China College of Computer Science & Engineering University of Electronic Science and Technology Chengdu China
the travelling salesman problem, which can be solved with various methods, is a traditional and typical problem in artificial intelligence (AI). As an evolution of Petri nets, colored Petri nets (CPN) can be dedicated... 详细信息
来源: 评论
Automated component adaptation by forced simulation
Automated component adaptation by forced simulation
收藏 引用
Australasian computer Architecture conference, ACAC
作者: P.S. Roop A. Sowmya S. Ramesh School of Computer Science and Engineering University of New South Wales Sydney NSW Australia Department of Computer Science and Engineering Indian Institute of Technology Bombay India
Embedded systems are often designed by experienced designers by interfacing appropriate programmable components to a microprocessor to meet particular design requirements. However, during automated synthesis of these ... 详细信息
来源: 评论
Model checking: theory into practice  20th
收藏 引用
20th conference on Foundations of software Technology and theoretical computer Science, FST TCS 2000
作者: Emerson, E. Allen Department of Computer Sciences and Computer Engineering Research Center The University of Texas at Austin AustinTX78712 United States
Model checking is an automatic method for verifying correctness of reactive programs. Originally proposed as part of the dissertation work of the author, model checking is based on efficient algorithms searching for t... 详细信息
来源: 评论
the National Classroom Oroject-an experience report
The National Classroom Oroject-an experience report
收藏 引用
Frontiers in Education (FIE) conference
作者: R.P. Cook Department of Computer Science University of Mississippi Oxford MS USA
the National Classroom Project (NCP) is exploring the effective use of in-class palm computers and Internet technology to enhance student learning in grades K-12 through college. the paper discusses lessons learned fr... 详细信息
来源: 评论
Applications of statistical signal processing in image data compression
Applications of statistical signal processing in image data ...
收藏 引用
International conference on Signal Processing Proceedings (ICSP)
作者: P. Stavroulakis C.P. Kakkavas H.G. Sandalidis Telecommunication Systems Institute of Crete Crete Greece Department of Electronic and Electrical Engineering University of Bradford Bradford Yorkshire UK
the study of image compression has been risen dramatically. Many new ideas have come out with impressive results. Since images can be regarded as two-dimensional signals with the independent variables being the coordi... 详细信息
来源: 评论
Fast address-space switching on the StrongARM SA-1100 processor
Fast address-space switching on the StrongARM SA-1100 proces...
收藏 引用
Australasian computer Architecture conference, ACAC
作者: A. Wiggins G. Heiser School of Computer Science & Engineering University of New South Wales Sydney Australia
the StrongARM SA-1100 is a high-speed low-power processor aimed at embedded and portable applications. Its architecture features virtual caches and TLBs which are not tagged by an address-space identifier. Consequentl... 详细信息
来源: 评论
Parallel access to persistent multidimensional arrays from HPF applications using Panda  8th
收藏 引用
8th International conference on High Performance Computing and Networking, HPCNEurope 2000
作者: Brezany, Peter Czerwiński, Przemys Law Świętanowski, Artur Winslett, Marianne Institute for Software Science University of Vienna Liechtensteinstrasse 22 ViennaA-1090 Austria Department of Statistics Operations Research and Computer Methods University of Vienna Universitätsstrasse 5 ViennaA-1010 Austria Database Research Laboratory Department of Computer Science University of Illinois 1304 W. Springfield UrbanaIL61801 United States
A critical performance issue for a number of scientific and engineering applications is the eficient transfer of data to secondary storage. Languages such as High Performance Fortran (HPF) have been introduced to allo... 详细信息
来源: 评论