咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
Concept-oriented programming: Classes and inheritance revisited
Concept-oriented programming: Classes and inheritance revisi...
收藏 引用
7th international conference on Software Paradigm Trends, ICSOFT 2012
作者: Savinov, Alexandr Hauptstr. 25 01097 Dresden Germany
the main goal of concept-oriented programming (COP) is describing how objects are represented and accessed. References (object locations) in COP are made first-class elements responsible for many important functions w... 详细信息
来源: 评论
Rendering the Multistage Network Algorithm in Cyber-Film Format and its Code Generation  7
Rendering the Multistage Network Algorithm in Cyber-Film For...
收藏 引用
7th international conference on Cloud Computing, Data Science and Engineering (Confluence)
作者: Escaran, Kenn Mark K. Roxas, Robert R. Univ Philippines Cebu Dept Comp Sci Cebu Philippines
this paper presents a Visual programming Environment that uses the Cyber-Film approach in programming some computational tasks. the film for the multistage network algorithm was developed as one of the films together ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Genetic programming for partial discharge feature construction in large generator diagnosis
Genetic programming for partial discharge feature constructi...
收藏 引用
7th international conference on Properties and Applications of Dielectric Materials
作者: Li, RH Xie, HK Gao, NK Shi, WX Xi An Jiao Tong Univ State Key Lab Elect Insulat Power Equipment Xian 710049 Peoples R China
In this paper, the standpoint of feature construction is employed into partial discharge defects identification of large generators by another emerging simulated evolution technique-genetic programming (GP). Genetic p... 详细信息
来源: 评论
Teaching programming on Cloud : A Perspective Beyond programming  7
Teaching Programming on Cloud : A Perspective Beyond Program...
收藏 引用
IEEE 7th international conference on Cloud
作者: Liu, Yan Concordia Univ Dept Elect & Comp Engn Montreal PQ Canada
this paper presents the design and implementation of a programming on cloud course. Teaching programming on cloud embraces topics of the cloud service model, architectural patterns, REST APIs, data models, schema free... 详细信息
来源: 评论
Interactive visual functional programming
Interactive visual functional programming
收藏 引用
7th international conference on functional programming
作者: Hanna, K Univ Kent Canterbury Kent England
An interactive graphical environment for supporting the development and use of Haskell applications programs is described. the environment, named Vital, is particularly intended for supporting the open-ended, incremen... 详细信息
来源: 评论
the production of interactive engineering design software using Borland Delphi
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 2001年 第10-11期32卷 789-796页
作者: McCombie, PF Penman, J Univ Bath Dept Architecture & Civil Engn Bath BA2 7AY Avon England Tensar Int Blackburn BB2 4PJ Lancs England
Advances in PC programming systems allow the development of highly interactive engineering design software. Software can work in a way which is obvious to the user, and gives considerable feedback during and after the... 详细信息
来源: 评论
FHPC 2018 - Proceedings of the 7th ACM SIGPLAN international Workshop on functional High-Performance Computing, co-located with ICFP 2018
FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International...
收藏 引用
7th ACM SIGPLAN international Workshop on functional High-Performance Computing, FHPC 2018, co-located with the 23rd ACM SIGPLAN international conference on functional programming, ICFP 2018
the proceedings contain 2 papers. the topics discussed include: HELIX: a case study of a formal verification of high performance program generation;and modular acceleration: tricky cases of functional high-performance...
来源: 评论
Building Artificial Nervous Systems Using Genetically Programmed Neural Network Modules  7
Building Artificial Nervous Systems Using Genetically Progra...
收藏 引用
7th international conference on Machine Learning, ICML 1990
作者: de Garis, Hugo Ave F.D. Roosevelt 50 C.P. 194/7 BrusselsB-1050 Belgium
this paper introduces a new programming methodology, called Genetic programming, which is the application of the Genetic Algorithm to the evolution of the signs and weights of fully (self) connected neural network mod... 详细信息
来源: 评论
Symbolic Quantum programming for Supporting Applications of Quantum Computing Technologies  23
Symbolic Quantum Programming for Supporting Applications of ...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Miszczak, Jaroslaw Adam Polish Acad Sci Inst Theoret & Appl Informat Gliwice Poland
the goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools s... 详细信息
来源: 评论