咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,899 篇 计算机科学与技术...
    • 1,155 篇 软件工程
    • 418 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 403 篇 管理学
    • 338 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是2491-2500 订阅
排序:
Advances in Web Based Learning - ICWL 2008  2008
收藏 引用
丛书名: Lecture Notes in Computer Science
2008年
作者: Frederick Li Jianmin Zhao Rynson Lau Qing Li Denis McLeod
this book constitutes the refereed proceedings of the 7th international conference on Web-Based Learning, ICWL 2008, held in Jinhua, China, in August 2008. the 52 revised full papers presented together with 1 invited ... 详细信息
来源: 评论
Deploying process modelling effectively in business: A review of past and current trends.
Deploying process modelling effectively in business: A revie...
收藏 引用
international conference on System Simulation and Scientific Computing, ICSC
作者: S. J. Haines Lanner Group Limited
this paper discusses the different approaches required to ensure organisations maximise the effectiveness of modelling in supporting change management. Typically most modelling tools require specialist knowledge of si... 详细信息
来源: 评论
Cognitive agents with non-monotonic reasoning  08
Cognitive agents with non-monotonic reasoning
收藏 引用
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
作者: Peter Novák Clausthal University of Technology
this extended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities.
来源: 评论
Research on the architecture of modeling theory in SS&T
Research on the architecture of modeling theory in SS&T
收藏 引用
international conference on System Simulation and Scientific Computing, ICSC
作者: Haohua Xu Jingye Wang PLA Academy of armored forces engineering Beijing China
Based on analyzing of the common activity and content of modeling, this paper concluded the common essence and rules of modeling in every domain, and established the architecture of modeling theory in Simulation Scien... 详细信息
来源: 评论
theoretical study of rare earth point defects in GaN
Theoretical study of rare earth point defects in GaN
收藏 引用
7th international conference on Nitride Semiconductors (ICNS-7)
作者: Sanna, Simone Hourahine, B. Frauenheim, th. Gerstmann, U. Univ Gesamthsch Paderborn Warburger Str 100 D-33098 Paderborn Germany Univ Strathclyde SUPA Dept Phys Glasgow G4 0NG Lanark Scotland Univ Bremen BCCMS D-28359 Bremen Germany Univ Paris 06 Inst Mineral & Phys Milieux Condens F-75015 Paris France
the behavior of rare earth dopants in GaN was investigated by means of theoretical techniques. the Density functional based Tight-Binding method (DFTB) has been extended to include orbital dependent potentials (LDA+U ... 详细信息
来源: 评论
Seventh Ibero-American conference on Systems, Cybernetics and Informatics, CISCI 2008, 5th Ibero-American Symposium on Education, Cybernetics and Informatics, 3rd international Symposium on Knowledge Communication and conferences
Seventh Ibero-American Conference on Systems, Cybernetics an...
收藏 引用
7th Ibero-American conference on Systems, Cybernetics and Informatics, CISCI 2008, Jointly with the 5th Ibero-American Symposium on Education, Cybernetics and Informatics, SIECI 2008 and 3rd Int. Symp. on Knowledge Communication and Conf. CCC 2008
the proceedings contain 149 papers. the topics discussed include: variability of output parameters of fire computational fluid dynamics modeling versus experimental results;development of a computerized battery of tes...
来源: 评论
Seventh Ibero-American conference on Systems, Cybernetics and Informatics - CISCI 2008, 5th Ibero-American Symposium on Education, Cybernetics and Informatics, 3rd international Symposium on Knowledge Communication and conferences
Seventh Ibero-American Conference on Systems, Cybernetics an...
收藏 引用
7th Ibero-American conference on Systems, Cybernetics and Informatics, CISCI 2008, Jointly with the 5th Ibero-American Symposium on Education, Cybernetics and Informatics, SIECI 2008 and 3rd Int. Symp. on Knowledge Communication and Conf. CCC 2008
the proceedings contain 149 papers. the topics discussed include: variability of output parameters of fire computational fluid dynamics modeling versus experimental results;development of a computerized battery of tes...
来源: 评论
Seventh Ibero-American conference on Systems, Cybernetics and Informatics, CISCI 2008, 5th Ibero-American Symposium on Education, Cybernetics and Informatics, 3rd international Symposium on Knowledge Communication and conferences
Seventh Ibero-American Conference on Systems, Cybernetics an...
收藏 引用
7th Ibero-American conference on Systems, Cybernetics and Informatics, CISCI 2008, Jointly with the 5th Ibero-American Symposium on Education, Cybernetics and Informatics, SIECI 2008 and 3rd Int. Symp. on Knowledge Communication and Conf. CCC 2008
the proceedings contain 149 papers. the topics discussed include: variability of output parameters of fire computational fluid dynamics modeling versus experimental results;development of a computerized battery of tes...
来源: 评论
A Systematics generator
A Systematics generator
收藏 引用
IEEE international conference on Cybernetic Intelligent Systems, CIS
作者: Frances Stubbs John St.Quinton Kit Grindley The Systematics Research Group UK
Systematics is a specification language designed for automatic code generation. Systematics uniquely provides auto-provability by virtue of the inclusion of ldquosystem timerdquo as an inherent characteristic of infor... 详细信息
来源: 评论
Conceptual framework of composable simulation using multilevel model specification for complex systems
Conceptual framework of composable simulation using multilev...
收藏 引用
international conference on System Simulation and Scientific Computing, ICSC
作者: Yifan Zhu Weiping Wang Dongxiang Zhou National University of Defense Technology Changsha Hunan China
Composable simulation is powerful in developing modeling and simulation system that is capable to assemble component models agilely and to construct simulation application rapidly on demands. To meet the requirements ... 详细信息
来源: 评论