咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,900 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 418 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 交通运输工程
    • 55 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 674 篇 理学
    • 485 篇 数学
    • 104 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 50 篇 化学
  • 404 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 102 篇 教育学
  • 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...
  • 64 篇 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,430 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是2291-2300 订阅
排序:
Embedded Systems Week 2009 - 7th IEEE/ACM international conference on Hardware/Software-Co-Design and System Synthesis, CODES+ISSS 2009
Embedded Systems Week 2009 - 7th IEEE/ACM International Conf...
收藏 引用
Embedded Systems Week 2009, ESWEEK 2009 - 7th IEEE/ACM international conference on Hardware/Software-Co-Design and System Synthesis, CODES+ISSS 2009
the proceedings contain 50 papers. the topics discussed include: a compositional modelling framework for exploring MPSoC systems;a high-level virtual platform for early MPSoC software development;on compile-time evalu...
来源: 评论
RBAC-based secure interoperation using constraint logic programming
RBAC-based secure interoperation using constraint logic prog...
收藏 引用
7th IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC 2009
作者: Hu, Jinwei Li, Ruixuan Lu, Zhengding College of Computer Science and Technology Huazhong University of Science and Technology Wuhan China
Secure interoperation is an increasingly important issue for large-scale enterprise applications. In this paper, we investigate, through constraint logic programming (CLP), secure interoperation in collaborating envir... 详细信息
来源: 评论
Comparison of garbage collector prototypes for C++ applications
Comparison of garbage collector prototypes for C++ applicati...
收藏 引用
7th IEEE/ACS international conference on Computer Systems and Applications, AICCSA-2009
作者: Mcheick, Hamid Sioud, Aymen Department of Computer Science and Mathematic University of Quebec at Chicoutimi UQAC 555 Boulevard de l'Université Chicoutimi QC G7H2B1 Canada Applied Science Department University of Quebec at Chicoutimi UQAC 555 Boulevard de l'Université Chicoutimi QC G7H2B1 Canada
In wide-enterprise information system, a Garbage Collector (GC) is a critical memory management process in programming languages such as C++. the programmers need to be aware about memory management and can't be r... 详细信息
来源: 评论
An on-chip interconnect and protocol stack for multiple communication paradigms and programming models  09
An on-chip interconnect and protocol stack for multiple comm...
收藏 引用
Embedded Systems Week 2009, ESWEEK 2009 - 7th IEEE/ACM international conference on Hardware/Software-Co-Design and System Synthesis, CODES+ISSS 2009
作者: Hansson, Andreas Goossens, Kees Electronic Systems Group Eindhoven University of Technology Eindhoven Netherlands Corporate Research Department NXP Semiconductors Eindhoven Netherlands
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). the diverse requirements, coupled with the ... 详细信息
来源: 评论
Design of Stabilizing Controllers for High Order Feedforward Nonlinear Systems with Delayed Input
Design of Stabilizing Controllers for High Order Feedforward...
收藏 引用
7th Asian Control conference (ASCC 2009)
作者: Zhang, Xianfu Boukas, E. K. Baron, L. Shandong Jianzhu Univ Sch Sci Jinan 250101 Peoples R China Ecole Polytech Dept Mech Engn Montreal PQ H3C 3A7 Canada
this paper investigates the problem of global robust stabilization by state feedback, for a family of high order feedforward (upper-triangular) nonlinear systems with delayed input. the uncertain nonlinearities are as... 详细信息
来源: 评论
Evolutionary algorithms at choice: From GA to GP
Evolutionary algorithms at choice: From GA to GP
收藏 引用
7th international Scientific and Practical conference on Environment, Technology and Resources
作者: Grabusts, Peter Rezekne Higher Educational Institution Atbrivoshanas al. 90 Rezekne LV 4600 Latvia
Nowadays the possibilities of evolutionary algorithms are widely used in many optimization and classification tasks. Evolutionary algorithms are stochastic search methods that try to emulate Darwin's principle of ... 详细信息
来源: 评论
First Step of Security Model for Separation of Concerns
First Step of Security Model for Separation of Concerns
收藏 引用
7th ACS/IEEE international conference on Computer Systems and Applications (AICCSA-09)
作者: Mcheick, Hamid Dallaire, Eric Mili, Hafedh Univ Quebec Chicoutimi Dept Comp Sci & Math 555 Blvd Univ Chicoutimi Chicoutimi PQ G7H 2B1 Canada Univ Quebec Dept Comp Sci Montreal PQ H3C 3P8 Canada
the separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of the software systems that we develop. When the idea is taken further to software packaging, greater reuse and maintainabil... 详细信息
来源: 评论
Modular Monad Transformers
Modular Monad Transformers
收藏 引用
15th international conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European conferences on theory and Practice of Software
作者: Jaskelioff, Mauro Univ Nottingham Funct Programming Lab Nottingham NG7 2RD England
During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical notion of a monad is extended with operations tha... 详细信息
来源: 评论
Generating Optimal Code Using Answer Set programming
收藏 引用
10th international conference on Logic programming and Nonmonotonic Reasoning
作者: Crick, Tom Brain, Martin De Vos, Marina Fitch, John Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
this paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer... 详细信息
来源: 评论
Formal Concept Analysis - 7th international conference, ICFCA 2009, Proceedings
收藏 引用
7th international conference on Formal Concept Analysis, ICFCA 2009
the proceedings contain 21 papers. the topics discussed include: usability issues in description logic knowledge base completion;the advent of formal diagrammatic reasoning systems;the logic of learning;time and logic...
来源: 评论