咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1871-1880 订阅
排序:
Roles as modular units of composition
Roles as modular units of composition
收藏 引用
7th international conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012
作者: Barbosa, Fernando Aguiar, Ademar Escola Superior de Tecnologia Instituto Politécnico de Castelo Branco Av. do Empresário Castelo Branco Portugal Departamento Informática Faculdade de Engenharia Universidade do Porto Rua Dr. Roberto Frias Porto Portugal
Object oriented decomposition is the most successful decomposition strategy used nowadays. But a single decomposition strategy cannot capture all aspects of a concept. Roles have been successfully used to model the di... 详细信息
来源: 评论
the effect of EPL programming based on CPS model for enhancing elementary school students' creativity
The effect of EPL programming based on CPS model for enhanci...
收藏 引用
7th international conference on Embedded and Multimedia Computing, EMC 2012
作者: An, Jaeho Park, Namje Department of Computer Education Teachers College Jeju National University Jeju Korea Republic of
For elementary school students, it is needed to provide various experience-centered investigation environments. they should learn how to find the most efficient problem solving method by themselves. this paper introdu... 详细信息
来源: 评论
Promoting computational thinking with programming
Promoting computational thinking with programming
收藏 引用
7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012
作者: Selby, Cynthia C. University of Southampton Highfield Southampton United Kingdom
the term computational thinking has received some discussion in the field of computer science education research. the term is defined as the concept of thinking about problems in a way that can be implemented in a com... 详细信息
来源: 评论
I-UxSED 2012 - Proceedings of the 2nd international Workshop on the Interplay Between User Experience Evaluation and Software Development, In Conjunction with the 7th Nordic conference on Human-Computer Interaction, NordiCHI 2012
I-UxSED 2012 - Proceedings of the 2nd International Workshop...
收藏 引用
2nd international Workshop on the Interplay Between User Experience Evaluation and Software Development, I-UxSED 2012 - In Conjunction with the 7th Nordic conference on Human-Computer Interaction, NordiCHI 2012
the proceedings contain 12 papers. the topics discussed include: interplay between user experience evaluation and software development: state of the art;ideas mapping, surface computing and user experience;are softwar...
来源: 评论
Managing NFC Payment Applications through Cloud Computing
Managing NFC Payment Applications through Cloud Computing
收藏 引用
7th international conference for Internet Technology and Secured Transactions (ICITST)
作者: Pourghomi, Pardis Ghinea, Gheorghita Brunel Univ West London Sch Informat Syst Comp & Math Uxbridge UB8 3PH Middx England
Near Field Communication (NFC) provides a contactless technology for data transmission between smart phones, PCs, PDAs and such devices. It is based on the Bluetooth technology as they are both short-range communicati... 详细信息
来源: 评论
Local path-following property of inexact interior methods in nonlinear programming
Local path-following property of inexact interior methods in...
收藏 引用
24th international Federation for Information Processing-7th Technical Committee conference on System Modeling and Optimization
作者: Armand, Paul Benoist, Joel Dussault, Jean-Pierre Univ Limoges Lab XLIM CNRS UMR 6172 Limoges France Univ Sherbrooke Dept Informat Sherbrooke PQ J1K 2R1 Canada
We study the local behavior of a primal-dual inexact interior point methods for solving nonlinear systems arising from the solution of nonlinear optimization problems or more generally from nonlinear complementarity p... 详细信息
来源: 评论
23rd international conference on Heterocyclic Chemistry (ICHC-23), Glasgow, UK, 31 July-4 August 2011 Preface
收藏 引用
PURE AND APPLIED CHEMISTRY 2012年 第7期84卷 IV-IV页
作者: Gibson, Colin
来源: 评论
Ontology Management in a Service-oriented Architecture Architecture of a Knowledge Base Access Service
Ontology Management in a Service-oriented Architecture Archi...
收藏 引用
23rd international conference on Database and Expert Systems Applications (DEXA)
作者: Mossgraber, Juergen Rospocher, Marco Fraunhofer Inst Optron Syst Technol & Image Explo Karlsruhe Germany Fdn Bruno Kessler Ctr Ric Sci & Tecn Irst Trento Italy
An increasing number of information systems integrate semantic data stores for managing ontologies. To access these knowledge bases most of the available implementations provide application programming interfaces (API... 详细信息
来源: 评论
A Multi-objective Genetic Optimization Technique for the Strategic Design of Distribution Networks
A Multi-objective Genetic Optimization Technique for the Str...
收藏 引用
7th international conference on Intelligent Computing (ICIC)
作者: Bevilacqua, Vitoantonio Dotoli, Mariagrazia Falagario, Marco Sciancalepore, Fabio D'Ambruoso, Dario Saladino, Stefano Scaramuzzi, Rocco Politecn Bari Dipartimento Elettrotecn & Elettron Bari Italy Politecn Bari Dipartimento Ingn Meccan & Gest Bari Italy
We address the optimal design of a Distribution Network (DN), presenting a procedure employing Multi-Objective Genetic Algorithms (MOGA) to select the (sub) optimal DN configuration. Using multi-objective genetic opti... 详细信息
来源: 评论
A Genetic programming Approach for Solving the Linear Ordering Problem
收藏 引用
7th international conference on Hybrid Artificial Intelligent Systems (HAIS)
作者: Pop, P. C. Matei, O. N Univ Baia Mare Dept Math & Informat Baia Mare Romania North Univ Baia Mare Dept Elect Engn Baia Mare Romania
the linear ordering problem (LOP) consists in rearranging the rows and columns of a given square matrix such that the sum of the super-diagonal entries is as large as possible. the LOP has a significant number of impo... 详细信息
来源: 评论