咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2521-2530 订阅
排序:
Towards mixed-initiative interactions in novice programming
Towards mixed-initiative interactions in novice programming
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Rao, Shilpi Doherty, Liam Kumar, Vive Massey Univ Wellington New Zealand Simon Fraser Univ Burnaby BC V5A 1S6 Canada
As part of their education, Computer Science students develop hundreds of computer programs and receive only summative feedback on the end results of their program designs and code. We demonstrate a need for a formati... 详细信息
来源: 评论
A thermal-aware ILP-based algorithm in behavioral synthesis
A thermal-aware ILP-based algorithm in behavioral synthesis
收藏 引用
7th international conference on ASIC
作者: Liu, Zhipeng Bian, Jinian Zhou, Qiang Tsinghua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China
In this paper, an integer linear programming (ILP)-based algorithm in behavioral synthesis procedure was proposed to low down the peak temperature of chip and guarantee the performance of circuit. It has been founded ... 详细信息
来源: 评论
Re-designing an OOP course based on BlueJ
Re-designing an OOP course based on BlueJ
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Xinogalos, Stelios Satratzemi, Maya Dagdilelis, Vassilios Univ Macedonia Dept Appl Informat Thessaloniki Greece Univ Macedonia Dept Educ & Social Policy Thessaloniki Greece
In this paper we present our findings on teaching Object Oriented programming (OOP) with BlueJ in the context of a one-semester programming course. Specifically, we present the evolution of the course, results from it... 详细信息
来源: 评论
Analyzing the motivation of the students in the art faculty for learning programming
Analyzing the motivation of the students in the art faculty ...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Takemura, Yasuhiro Nagumo, Hideo Tsukamoto, Hidekuni Huang, Kuo-Li Osaka Univ Arts Dept Character Creat Arts Osaka Japan Niigata Seiryo Univ Dept Social Welfare & Psychol Niigata Japan So Taiwan Univ Sci &Technol Dept Vis Commun Design Tainan Taiwan
In order to analyze the factors that raise the motivation of students in the art design faculty and digital design faculty to learn programming, a programming course using Processing programming environment was offere... 详细信息
来源: 评论
the interactive multimedia textbook Using a digital pen to support learning for computer programming
The interactive multimedia textbook Using a digital pen to s...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Lai, Wei-Chu Chao, Po-Yao Chen, Gwo-Dong Natl Cent Univ Dept Comp Sci & Informat Engn Chungli Taiwan
through a field study computer science practices, we observed that students not only rely on the computer but also the programming textbook. To get overall comprehension, students organize their effort in understandin... 详细信息
来源: 评论
Architecture of a context-aware and adaptive learning schedule for learning Java
Architecture of a context-aware and adaptive learning schedu...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Yau, Jane Joy, Mike Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England
Novice programmers require large amounts of time and motivation to learn an object-oriented programming language such as Java. In this paper, the architecture of our Context-aware and Adaptive Learning Schedule (CALS)... 详细信息
来源: 评论
A robot programming based on frame representation of knowledge
A robot programming based on frame representation of knowled...
收藏 引用
7th IEEE international conference on Computer and Information Technology
作者: Aramaki, Shigeto Nagai, Tatsuichiro Kawamura, Masato Yayoshi, Koutarou Hatada, Yasutaka Tsuruoka, Tomoaki Fukuoka Univ Fac Engn Fukuoka 8140180 Japan
We have developed the method of a robot programming by using frame like knowledge base in order to compose the multi-modal human-robot interface. the concept of object oriented programming, the case grammar, and the C... 详细信息
来源: 评论
Evolutionary programming with operator adaptation
Evolutionary programming with operator adaptation
收藏 引用
7th IEEE international conference on Computer and Information Technology
作者: Liu, Yong Univ Aizu Fukushima 9658580 Japan
this paper investigated evolutionary programming with operator adaptation at both population level and individual level. the fitness distributions were employed to update operators at population level while the immedi... 详细信息
来源: 评论
Design and optimization of highly linear CMOS low noise amplifiers via geometric programming
Design and optimization of highly linear CMOS low noise ampl...
收藏 引用
7th international conference on ASIC
作者: So, Wai-Kit Cheung, Wing-Tai Liu, Yansong Kwan, Hing-Kit Wong, Ngai Univ Hong Kong Dept Elect & Elect Engn Hong Kong Hong Kong Peoples R China
Linearity is an important measurement for the performance of a CMOS low noise amplifier (LNA). the high computational cost required in the linearity simulation, however, constitutes a major bottleneck in the design ve... 详细信息
来源: 评论
Object oriented implementation of distributed finite element analysis in .NET
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2007年 第11-12期38卷 726-737页
作者: Mackie, Robert Ian Univ Dundee Fac Engn & Phys Sci Dundee DD1 4HN Scotland
the paper describes a detailed study into the object-oriented implementation of distributed finite element analysis on desktop computers using the NET framework. the software design aspects are described in some detai... 详细信息
来源: 评论