咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2281-2290 订阅
排序:
Lively Fabrik - A Web-based End-user programming Environment
Lively Fabrik - A Web-based End-user Programming Environment
收藏 引用
7th international conference on Creating, Connecting and Collaborating through Computing
作者: Lincke, Jens Krahn, Robert Ingalls, Dan Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Sun Microsyst Lab Menlo Pk CA USA
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empowering end-users to create interactive We... 详细信息
来源: 评论
On compile-time evaluation of process partitioning transformations for Kahn process networks  09
On compile-time evaluation of process partitioning transform...
收藏 引用
Embedded Systems Week 2009, ESWEEK 2009 - 7th IEEE/ACM international conference on Hardware/Software-Co-Design and System Synthesis, CODES+ISSS 2009
作者: Meijer, Sjoerd Nikolov, Hristo Stefanov, Todor Leiden Institute of Advanced Computer Science Leiden University Netherlands
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unbounded FIFO channels in absence of a glob... 详细信息
来源: 评论
Providing Survivability against Jamming Attack via Joint Dynamic Routing and Channel Assignment
Providing Survivability against Jamming Attack via Joint Dyn...
收藏 引用
7th international Workshop on the Design of Reliable Communication Networks
作者: Jiang, Shanshan Xue, Yuan Vanderbilt Univ Dept Elect Engn & Comp Sci Inst Software Integrated Syst Nashville TN 37235 USA
Built upon a shared wireless medium, wireless network is particularly vulnerable to jamming attacks. the ability to recover from attacks and maintain an acceptable level of service degradation is a crucial aspect in t... 详细信息
来源: 评论
Cost optimization model for water systems planning
Cost optimization model for water systems planning
收藏 引用
7th IASME / WSEAS international conference on Heat Transfer, thermal Engineering and Environment, HTE '09
作者: Mendi, Engin Bayrak, Coskun Department of Computer Science University of Arkansas Little Rock AR 72204 United States
the cost analysis of water systems projects is an evaluation of various alternatives. It can be used to identify the feasible alternative as per economic criteria to estimate the sensitivity of the project outputs. Co... 详细信息
来源: 评论
Tracking performance across software revisions  09
Tracking performance across software revisions
收藏 引用
7th international conference on Principles and Practice of programming in Java, PPPJ 2009
作者: Mostafa, Nagy Krintz, Chandra Computer Science Department University of California Santa Barbara CA United States
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, manage conflicting changes, and commit up... 详细信息
来源: 评论
A cross platform test management system for the SUDAAN statistical software package
A cross platform test management system for the SUDAAN stati...
收藏 引用
7th ACIS international conference on Software Engineering Research, Management and Applications, SERA09
作者: Wang, Donghui Barnwell, Beth Witt, Michael B. RTI International P.O. Box 12194 Research Triangle Park NC 27709 United States
Testing software can be particularly challenging for a small or mid-size firm interested in commercially distributing their software to a wide variety of users. Testing is clearly an important part of any software dev... 详细信息
来源: 评论
Advanced functional programming - 6th international School, AFP 2008, Revised Lectures
Advanced Functional Programming - 6th International School, ...
收藏 引用
6th international School on Advanced functional programming, AFP 2008
the proceedings contain 7 papers. the topics discussed include: self-adjusting computation with delta ML;spider spinning for dummies;from reduction-based to reduction-free normalization;libraries for generic programmi...
来源: 评论
An iTask Case Study: A conference Management System
An iTask Case Study: A Conference Management System
收藏 引用
6th international School on Advanced functional programming
作者: Plasmeijer, Rinus Achten, Peter Koopman, Pieter Lijnse, Bas van Noort, thomas Radboud Univ Nijmegen Nijmegen Netherlands
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flexible. In these lecture notes, we discuss... 详细信息
来源: 评论
A verification theorem for hybrid optimal control problem
A verification theorem for hybrid optimal control problem
收藏 引用
2009 IEEE 13th international Multitopic conference, INMIC 2009
作者: Shaikh, M. Shahid Caines, Peter E. Department of Electrical Engineering National University of Computer and Emerging Sciences Karachi Pakistan Department of Electrical and Computer Engineering Centre for Intelligent Machines McGill University Montréal QC H3A 2A7 Canada
A class of the hybrid optimal control problem is formulated and a hybrid dynamic programming principle (DPP) is presented which constitutes a generalization of the celebrated dynamic programming principle of Richard B... 详细信息
来源: 评论
Shape Recognition Using a New Spatial Representation and a DP Matching Algorithm
Shape Recognition Using a New Spatial Representation and a D...
收藏 引用
7th international conference on Advances in Pattern Recognition
作者: Gu, Shiyuan Kundu, Sukhamay Louisiana State Univ Dept Math Baton Rouge LA 70802 USA Louisiana State Univ Dept Comp Sci Baton Rouge LA 70802 USA
We propose a new method for the recognition and retrieval of shapes whose contours are simple closed curves. First, we give a new shape representation by a sequence of 2D-vectors of angles, which is independent of rot... 详细信息
来源: 评论