咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是81-90 订阅
排序:
Exploring Visual programming Concepts for Smart Textiles: the MYOW Experience  7
Exploring Visual Programming Concepts for Smart Textiles: Th...
收藏 引用
7th international HCI and UX conference in Indonesia (CHIuXiD)
作者: Stadler, Patrick von Radziewsky, Luisa Reithinger, Norbert German Res Ctr Artificial Intelligence DFKI Berlin Germany
Intelligent textiles are an interesting area at the intersection of design and technology. Entry hurdles for people like designers are currently high. We present a flow-based visual programming environment in the doma... 详细信息
来源: 评论
Demo: Functors and Music  7
Demo: Functors and Music
收藏 引用
7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)
作者: Apfelmus, Heinrich Germany
We present work-in-progress on two projects whose combination enables live coding music in Haskell: cnoidal, a library for representing and transforming music, and Hyper-Haskell, a Haskell interpreter with a worksheet... 详细信息
来源: 评论
Certificate translation for specification-preserving advices
Certificate translation for specification-preserving advices
收藏 引用
7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th international conference on Aspect-Oriented Software Development, FOAL'08
作者: Barthe, Gilles Kunz, César INRIA Sophia-Antipolis
Aspect Oriented programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, in which the expected functionality is ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
GriCoL: A language for Grid computing  06
GriCoL: A language for Grid computing
收藏 引用
7th IEEE/ACM international conference on Grid Computing
作者: Currle-Linde, Natalia Resch, Michael Univ Stuttgart High Performance Comp Ctr HLRS Nobelstr 19 D-70550 Stuttgart Germany
the development of the Grid has opened new possibilities for scientists and engineers to execute large-scale modeling experiments. this has stimulated the generation and development of tools for the creation and manag... 详细信息
来源: 评论
Optimal Day Ahead Strategy Based on Capacity Loss for Battery Energy Storage System  7
Optimal Day Ahead Strategy Based on Capacity Loss for Batter...
收藏 引用
7th international conference on Power Systems (ICPS)
作者: Sharma, Desh Deepak MJP Rohilkhand Univ Dept Elect Engn Bareilly 243006 Uttar Pradesh India
In this paper, a day-ahead optimal control scheme is suggested for battery energy storage system (BESS) for its charging/discharing operations. this control scheme keeps the BESS at its mid of maximum and minimum ener... 详细信息
来源: 评论
Clerk: Moldable Live programming for Clojure  23
Clerk: Moldable Live Programming for Clojure
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Kavalar, Martin Markovics, Philippa Rusher, Jack Nextjournal Berlin Germany
Clerk is an open source Clojure programmer's assistant that builds upon the traditions of interactive and literate programming to provide a holistic moldable development environment. Clerk layers static analysis, ... 详细信息
来源: 评论
Innovative Teaching Methods of C# programming Course Based on the CDIO
Innovative Teaching Methods of C# Programming Course Based o...
收藏 引用
7th international conference on Computer Science and Education
作者: Wu JiaQi Yang Wenjing Shanghai Second Polytech Univ Dept Comp & Informat Sci Shanghai Peoples R China
For C # programming Language course features and the shortcomings of traditional teaching methods, this paper presents the design of new teaching methods based on the CDIO concept C # language program. Using a variety... 详细信息
来源: 评论
A General Iterative Method for Solving a Certain Class of Optimization Problems  7
A General Iterative Method for Solving a Certain Class of Op...
收藏 引用
7th international conference on Modeling, Simulation, and Applied Optimization (ICMSAO)
作者: Bagdasaryan, Armen Kadry, Seifedine Amer Univ Middle East Dept Math & Stat Kuwait Kuwait
In this paper, we propose a general iterative algorithm for numerical solution of high dimension optimization problems. the specificity of the problems considered is that the number of variables involved in linear con... 详细信息
来源: 评论
AUDIO PROCESSING USING HASKELL  7
AUDIO PROCESSING USING HASKELL
收藏 引用
7th international conference on Digital Audio Effects, DAFx 2004
作者: thielemann, Henning Center of Industrial Mathematics University of Bremen Bremen Germany
the software for most today's applications including signal processing applications is written in imperative languages. Imperative programs are fast because they are designed close to the architecture of the wides... 详细信息
来源: 评论