咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 73 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 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. ...
  • 6 篇 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是111-120 订阅
Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell  7
Screaming in the IO Monad A Realtime Audio Processing and Co...
收藏 引用
7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)
作者: Janin, David Univ Bordeaux CNRS Bordeaux INP LaBRIUMR 5800 Bordeaux France
We investigate in this paper the applicability of the notion monad streams to media stream programming, and, more specifically, audio processing and control. Simply said, a monad stream is sort of a list guarded by a ... 详细信息
来源: 评论
the Atomic Change Set of Java programming Language
The Atomic Change Set of Java Programming Language
收藏 引用
7th international conference on Computer Science and Education
作者: You Liang Lu Yansheng Huazhong Univ Sci & Technol Coll Comp Sci & Technol Wuhan Peoples R China
Software configuration management computes the diff between the old version and new version of the program and represents the diff as added, deleted and updated text lines. the source code change represents the change... 详细信息
来源: 评论
Training for Computational thinking Capability on programming Language Teaching
Training for Computational Thinking Capability on Programmin...
收藏 引用
7th international conference on Computer Science and Education
作者: Zhang Yinnan Luo Chaosheng Zhejiang Univ Sci & Technol Sch Informat & Elect Engn Hangzhou Zhejiang Peoples R China
How to develop students' "capacity for computational thinking during the teaching process of computer programming, is one of the basic goals of computer fundamental education. Using C program language as exam... 详细信息
来源: 评论
Inheritable Fisher Vector Feature for Kinship Verification  7
Inheritable Fisher Vector Feature for Kinship Verification
收藏 引用
IEEE 7th international conference on Biometrics theory, Applications and Systems (BTAS)
作者: Liu, Qingfeng Puthenputhussery, Ajit Liu, Chengjun New Jersey Inst Technol Dept Comp Sci Newark NJ 07102 USA
An innovative inheritable Fisher vector feature (IFVF) method is presented in this paper for kinship verification. Specifically, Fisher vector is first derived for each image by aggregating the densely sampled SIFT fe... 详细信息
来源: 评论
A Comparative Study Based on Objective Functions for Optimum Coordination of Overcurrent Relays  7
A Comparative Study Based on Objective Functions for Optimum...
收藏 引用
7th international conference on Power Systems (ICPS)
作者: Shah, Jay Khristi, Nirmal Rajput, V. N. Pandya, K. S. Dr Jivraj Mehta Inst Technol Dept Elect Engn Anand Gujarat India Charotar Univ Sci & Technol Dept Elect Engn Changa India
In the optimum coordination of Directional Overcurrent Relays (DOCRs), operational time of relays is minimized with maintaining coordination criteria between Primary and Backup (P/B) relay pairs. In the literature, a ... 详细信息
来源: 评论
Exploration of Visual Basic programming Teaching Reform for Non-Computer Majors at Vocational College
Exploration of Visual Basic Programming Teaching Reform for ...
收藏 引用
7th international conference on Computer Science and Education
作者: Zhou Zili Zhou Yue Zhejiang Inst Mech & Elect Engn Dept Comp Engn Hangzhou Zhejiang Peoples R China Shanghai Int Studies Univ Shanghai Peoples R China
programming Language has been a basic course for non-computer specialized students, however, using the traditional teaching method which focuses on knowledge system is difficult to stimulate students' interest in ... 详细信息
来源: 评论
A linear programming based interactive method for multiobjective programming problems involving fuzzy coefficients and random variable coefficients  7
A linear programming based interactive method for multiobjec...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Yano, Hitoshi Nagoya City Univ Sch Humanities & Social Sci Nagoya Aichi 4678501 Japan
In this paper, we propose a linear programming based interactive method for multiobjective linear programming problems, in which fuzzy coefficients and random variable coefficients are involved in the objective functi... 详细信息
来源: 评论
Days-off scheduling in large-scale multi-skill staff rostering: An integer programming solution  7
Days-off scheduling in large-scale multi-skill staff rosteri...
收藏 引用
7th international conference on the Practice and theory of Automated Timetabling, PATAT 2008
作者: Klinkert, Andreas Zurich University of Applied Sciences ZHAW Institute of Data Analysis and Process Design IDP Switzerland
来源: 评论
Research on UAV Navigation System Based on Behavioral programming  7
Research on UAV Navigation System Based on Behavioral Progra...
收藏 引用
7th international conference on Automation Electronics and Electrical Engineering
作者: Xu, Yue Saledforce Serv Cloud Redmond WA 98052 USA
With the rapid development of UAV technology, its applications in various fields have become increasingly widespread, especially in navigation and path planning in complex environments, which have become key issues. T... 详细信息
来源: 评论
Real-Time Simulation in Java: A Feasibility Study
Real-Time Simulation in Java: A Feasibility Study
收藏 引用
Asia Simulation conference/7th international conference on System Simulation and Scientific Computing
作者: Hetu, Seth N. Tan, Gary Natl Univ Singapore Dept Comp Sci Singapore 117590 Singapore
Massively Multiplayer Online Human in the Loop Simulation (MMOHILS) is a novel simulation technique which borrows heavily from the field of gaming. this naturally raises the question: is a general-purpose programming ... 详细信息
来源: 评论