咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2671-2680 订阅
排序:
Path expression pointcuts: Abstracting over non-local object relationships in aspect-oriented languages
Path expression pointcuts: Abstracting over non-local object...
收藏 引用
3rd international conference on Grid Service Engineering and Management, GSEM 2006 - Co-located with the 7th international conference on Net.ObjectDays 2006, NODe 2006
作者: Al-Mansari, Mohammed Hanenberg, Stefan Institute for Computer Science and Business Information Systems University of Duisburg-Essen Campus Essen Schützenbahn 70 45117 Essen Germany
In aspect-oriented programming, aspects require access to join point information for selecting join points within pointcuts as well as for specifying aspect-specific behavior at such join points within advice. Unfortu... 详细信息
来源: 评论
An extended Branch-and-Bound algorithm for fuzzy linear bilevel programming  4
收藏 引用
7th international conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science
作者: Zhang, Guangquan Lu, Jie Dillon, tharam Univ Technol Sydney Fac Informat Technol POB 123 Broadway NSW 2007 Australia
this paper presents an extended Branch-and-Bound algorithm for solving fuzzy linear bilevel programming problems. In a fuzzy bilevel programming model, the leader attempts to optimize his/her fuzzy objective with a co... 详细信息
来源: 评论
3D game design with programming blocks in StarLogo TNG
3D game design with programming blocks in StarLogo TNG
收藏 引用
7th international conference of the Learning Sciences, ICLS 2006
作者: Wang, Kevin McCaffrey, Corey Wendel, Daniel Klopfer, Eric Harvard Graduate School of Education Technology in Education Program Longfellow Hall Appian Way Cambridge MA 02138 United States Massachusetts Institute of Technology Teacher Education Program 77 Massachusetts Ave Cambridge MA 02139 United States
Research on the effectiveness of using a block programming language with a three-dimensional environment and game design as the basis for curriculum to teach children concepts in Computer Science. We observed a lower ... 详细信息
来源: 评论
Attaining human-competitive game playing with genetic programming
Attaining human-competitive game playing with genetic progra...
收藏 引用
7th international conference on Cellular Automata for Research and Industry
作者: Sipper, M. Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel
We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strategies for three games: backgammon, chess endgames... 详细信息
来源: 评论
Security planning and refactoring in Extreme programming
收藏 引用
7th international conference on Extreme programming and Agile Processing in Software Engineering
作者: Aydal, Emine G. Paige, Richard F. Chivers, Howard Brooke, Phillip J. Univ York Dept Comp Sci York YO10 5DD N Yorkshire England Cranfield Univ Dept Informat Syst Cranfield MK43 0AL Beds England
Security is a critical part of systems development, particularly for web-based systems. there is little known about how to effectively integrate security into incremental development processes such as Extreme Programm... 详细信息
来源: 评论
Using interviews to investigate implicit knowledge in computer programming
Using interviews to investigate implicit knowledge in comput...
收藏 引用
7th international conference of the Learning Sciences, ICLS 2006
作者: Mancy, Rebecca Reid, Norman Centre for Science Education University of Glasgow 11 Eldon Street Glasgow G3 6NH United Kingdom
the notions of implicit learning and implicit of tacit knowledge first became popular in the 1960s (Reber, 1967;Polanyi, 1967). However, they have rarely been applied to education. Most empirical studies of implicit l... 详细信息
来源: 评论
Streamlining the agile documentation process test-case driven documentation demonstration for the XP2006 conference
收藏 引用
7th international conference on Extreme programming and Agile Processing in Software Engineering
作者: Brolund, Daniel Ohlrogge, Joakim Agical AB Sweden
In far too many software projects the value of the documentation delivered is not high enough to motivate the effort spent to write it. An outdated document can be as misleading as a good, up to date one can be helpfu... 详细信息
来源: 评论
Simultaneous dynamic optimization strategies: Recent advances and challenges
收藏 引用
COMPUTERS & CHEMICAL ENGINEERING 2006年 第1-12期30卷 1560-1575页
作者: Kameswaran, Shivakumar Biegler, Lorenz T. Carnegie Mellon Univ Dept Chem Engn Pittsburgh PA 15213 USA
Simultaneous dynamic optimization strategies, also known as direct transcription methods, have been applied in a wide number of domains. these include off-line applications like optimal control, trajectory planning, n... 详细信息
来源: 评论
Fuzzy linear programming model for multiattribute group decision making to evaluate knowledge management performance  4
收藏 引用
7th international conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science
作者: Albayrak, Y. Esra Erensal, Yasemin Claire Galatasaray Univ Fac Engn & Technol Ciragan Cad 36 TR-34357 Istanbul Turkey Dogus Univ Fac Engn TR-34722 Istanbul Turkey
In this paper, we develop a linear programming technique for multidimensional analysis of preference (LINMAP) method for solving multiattribute group decision making (MAGDM) problems with preference information on alt... 详细信息
来源: 评论
ACM Int. Conf. Proc. Series - CHINZ 2006: Design Centered HCI - Proceedings of the 7th Int. Conf. NZ Chapter of the ACM's SIG on Human-Computer Interaction (SIGCHI-NZ)
ACM Int. Conf. Proc. Series - CHINZ 2006: Design Centered HC...
收藏 引用
CHINZ 2006: 7th international conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction(SIGCHI-NZ)
the proceedings contain 18 papers. the topics discussed include: towards a visual notation for pipelining in a visual programming language for programming FPGAs;bare-hand 3D gesture input to interactive systems;where ... 详细信息
来源: 评论