咨询与建议

限定检索结果

文献类型

  • 1,768 篇 会议
  • 19 篇 期刊文献
  • 15 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,295 篇 工学
    • 973 篇 计算机科学与技术...
    • 836 篇 软件工程
    • 191 篇 控制科学与工程
    • 152 篇 信息与通信工程
    • 149 篇 机械工程
    • 133 篇 电气工程
    • 78 篇 电子科学与技术(可...
    • 74 篇 动力工程及工程热...
    • 68 篇 生物工程
    • 58 篇 仪器科学与技术
    • 56 篇 交通运输工程
    • 56 篇 生物医学工程(可授...
    • 54 篇 土木工程
    • 45 篇 材料科学与工程(可...
    • 45 篇 建筑学
    • 43 篇 安全科学与工程
    • 38 篇 冶金工程
    • 38 篇 环境科学与工程(可...
  • 507 篇 理学
    • 356 篇 数学
    • 80 篇 物理学
    • 76 篇 生物学
    • 72 篇 统计学(可授理学、...
    • 70 篇 系统科学
  • 328 篇 管理学
    • 242 篇 管理科学与工程(可...
    • 127 篇 工商管理
    • 85 篇 图书情报与档案管...
  • 87 篇 教育学
    • 85 篇 教育学
  • 63 篇 经济学
    • 61 篇 应用经济学
  • 59 篇 医学
    • 51 篇 临床医学
    • 39 篇 基础医学(可授医学...
  • 35 篇 法学
  • 33 篇 农学
  • 27 篇 艺术学
  • 16 篇 文学
  • 5 篇 军事学
  • 2 篇 历史学
  • 1 篇 哲学

主题

  • 96 篇 programming
  • 69 篇 linear programmi...
  • 43 篇 dynamic programm...
  • 39 篇 software enginee...
  • 39 篇 optimization
  • 33 篇 computer science
  • 30 篇 computational mo...
  • 27 篇 costs
  • 25 篇 matlab
  • 25 篇 genetic algorith...
  • 24 篇 software
  • 22 篇 students
  • 22 篇 mathematical mod...
  • 21 篇 artificial intel...
  • 19 篇 application soft...
  • 18 篇 genetic programm...
  • 18 篇 heuristic algori...
  • 17 篇 programming prof...
  • 17 篇 java
  • 17 篇 semantics

机构

  • 6 篇 department of co...
  • 5 篇 college of infor...
  • 5 篇 chitkara univers...
  • 5 篇 school of north ...
  • 5 篇 air and missile ...
  • 4 篇 school of inform...
  • 4 篇 school of comput...
  • 4 篇 school of traffi...
  • 4 篇 college of elect...
  • 4 篇 international sc...
  • 4 篇 school of inform...
  • 4 篇 college of mecha...
  • 4 篇 school of comput...
  • 3 篇 school of electr...
  • 3 篇 school of contro...
  • 3 篇 state key labora...
  • 3 篇 school of electr...
  • 3 篇 school of inform...
  • 3 篇 college of elect...
  • 3 篇 school of comput...

作者

  • 5 篇 wei wang
  • 4 篇 chen chen
  • 4 篇 li bing
  • 4 篇 ramesh t.
  • 4 篇 mannava vishnuva...
  • 4 篇 yang liu
  • 3 篇 wang lei
  • 3 篇 wei liu
  • 3 篇 wei li
  • 3 篇 yang yang
  • 3 篇 bing liu
  • 3 篇 chen yu
  • 3 篇 gao weixia
  • 3 篇 wang wei
  • 3 篇 hui li
  • 3 篇 singh neeraj kum...
  • 3 篇 liu wei
  • 3 篇 junwei lei
  • 3 篇 golam mostafa
  • 3 篇 sonawane d.n.

语言

  • 1,741 篇 英文
  • 41 篇 中文
  • 22 篇 其他
  • 1 篇 西班牙文
检索条件"任意字段=2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018"
1802 条 记 录,以下是1741-1750 订阅
排序:
Integrating literate programming and cleanroom software engineering to teach software engineering skills  97
Integrating literate programming and cleanroom software engi...
收藏 引用
2nd Australasian conference on Computer science Education, ACSE 1997
作者: Al-Maati, Shereef Abu Shoaff, William D. Department of Computer Science Florida Institute of Technology MelbourneFL32901 United States
One goal of software engineering instructors is to educate students about principles underlying the various phases of the software life cycle. Instructors work towards preparing and equipping students with knowledge a... 详细信息
来源: 评论
Coordination patterns for parallel computing  2nd
Coordination patterns for parallel computing
收藏 引用
2nd international conference on Coordination Models and Languages, COORDINATION 1997
作者: Freisleben, Bernd Kielmann, Thilo Dept. Of Electrical Engineering and Computer Science University of Siegen Hölderlinstr. 3 SiegenD-57068 Germany
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can be built by software composition. To ... 详细信息
来源: 评论
Training and using neural networks to represent heuristic design knowledge
收藏 引用
ADVANCES IN engineering SOFTWARE 1996年 第1-2期27卷 117-128页
作者: Biedermann, JD Grierson, DE UNIV WATERLOO DEPT CIVIL ENGNWATERLOOON N2L 3G1CANADA
The detailed stage of structural design has benefited considerably from computer automation of the numerically intensive tasks of structural analysis, optimization and conformance checking using the procedural program... 详细信息
来源: 评论
A stochastic approach to solving fuzzy constraint satisfaction problems  2nd
A stochastic approach to solving fuzzy constraint satisfacti...
收藏 引用
2nd international conference on Principles and Practice of Constraint programming, CP 1996
作者: Wong, Jason H. Y. Ng, Ka-Fai Leung, Ho-Fung Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin New Territories Hong Kong
来源: 评论
Framework component systems: Concepts, design heuristics, and perspectives  2nd
Framework component systems: Concepts, design heuristics, an...
收藏 引用
Proceedings of the 1996 2nd international Andrei Ershov Memorial conference on Perspectives of System Informatics
作者: Pree, W. Pomberger, G. Kapsner, F. C. Doppler Laboratory for Software Engineering Johannes Kepler University Linz Linz A-4040 Austria Corporate Research Division Siemens AG Otto-Hahn-Ring 6 Munich D-81739 Germany
An appropriate combination of object-oriented programming concepts allows not only the development of single reusable components but also of semifinished architectures (=frameworks). The paper first discusses the conc... 详细信息
来源: 评论
Formal derivation of parallel program for 2-dimensional maximum segment sum problem  2nd
收藏 引用
2nd international European conference on Parallel Processing, Euro-Par 1996
作者: Hu, Zhenjiang Iwasaki, Hideya Takeichi, Masato Department of Information Engineering University of Tokyo 7-3-1 Hongo Bunkyo-kuTokyo113 Japan Department of Computer Science Tokyo University of Agriculture and Technology 2-24-16 Naka-cho KoganeiTokyo184 Japan
It has been attracting much attention to make use of list homomorphisms in parallel programming because they ideally suit the divide-and-conquer parallel paradigm. However, they have been usually treated rather inform... 详细信息
来源: 评论
Speeding up constraint propagation by-redundant modeling  2nd
Speeding up constraint propagation by-redundant modeling
收藏 引用
2nd international conference on Principles and Practice of Constraint programming, CP 1996
作者: Cheng, B.M.W. Lee, J.H.M. Wu, J.C.K. Department of Computer Science and Engineering The Chinese University of Hong Kong ShatinNT Hong Kong
The paper describes a simple modeling and programming approach for speeding up constraint propagation. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We define CSP ... 详细信息
来源: 评论
Towards a more efficient stochastic constraint solver  2nd
Towards a more efficient stochastic constraint solver
收藏 引用
2nd international conference on Principles and Practice of Constraint programming, CP 1996
作者: Lee, Jimmy H. M. Leung, Ho-Fung Won, Hon-Wing Department of Computer Science and Engineering The Chinese University of Hong Kong ShatinNT Hong Kong
E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes an... 详细信息
来源: 评论
A constraint-based interactive train rescheduling tool  2nd
A constraint-based interactive train rescheduling tool
收藏 引用
2nd international conference on Principles and Practice of Constraint programming, CP 1996
作者: Chiu, C.K. Chou, C.M. Lee, J.H.M. Leung, H.F. Leung, Y.W. Department of Computer Science and Engineering The Chinese University of Hong Kong ShatinNT Hong Kong
In this paper, we formulate train rescheduling as constraint satisfaction problem and describe a constraint propagation approach to tackle it. Algorithms for timetable verifications and train rescheduling are designed... 详细信息
来源: 评论
2nd international Eurospace Ada-Europe Symposium, 1995
2nd International Eurospace Ada-Europe Symposium, 1995
收藏 引用
2nd international Eurospace-Ada-Europe Symposium, Ada in Europe 1995
The proceedings contain 37 papers. The special focus in this conference is on Ada in Europe. The topics include: A sceptical assessment;an approach to overcome the software crisis;an executive for ada safety critical ...
来源: 评论