咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是221-230 订阅
排序:
Workflow global computing with YML  06
Workflow global computing with YML
收藏 引用
7th IEEE/ACM international conference on Grid Computing
作者: Delannoy, Olivier Emad, Nahid Petiton, Serge Univ Versailles PRiSM Lab 45 Ave Etats Unis F-78000 Versailles France Univ Lille INRIA LIFL Lab F-59655 Villeneuve Dascq France
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming environment will be introduced, based on... 详细信息
来源: 评论
Supplementing lectures on recursive C programming with an interactive learning environment
Supplementing lectures on recursive C programming with an in...
收藏 引用
7th international conference on Information Technology Based Higher Education and Training
作者: Lim, Nathalie Rose T. De La Salle Univ Coll Comp Studies Manila Philippines
Computer programming is one of the foundation courses taken by Computer Science freshmen students of De La Salle University. Fresh from high school where the majority of the students have not been exposed to programmi... 详细信息
来源: 评论
An Appointment Scheduling Optimization Method in Healthcare with Simulation Approach  7
An Appointment Scheduling Optimization Method in Healthcare ...
收藏 引用
IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)
作者: Ala, Ali Chen, Feng Shanghai Jiao Tong Univ Dept Ind Engn & Management 800 Dong Chuan Rd Shanghai 200240 Peoples R China Shanghai Jiao Tong Univ Antai Coll Econ & Management Sino Us Global Logist Inst Shanghai 200030 Peoples R China
this paper presents a new mathematic model proposed to optimized appointment scheduling problems in healthcare. We actually introduced an Integer programming model with a Tabu search approach while add a simulation mo... 详细信息
来源: 评论
Energy Scheduling of Residential Community Equipped with Smart Appliances and Rooftop Solar  7
Energy Scheduling of Residential Community Equipped with Sma...
收藏 引用
7th international conference on Power Systems (ICPS)
作者: Kakran, Sandeep Chanana, Saurabh Natl Inst Technol Elect Engn Dept Kurukshetra Haryana India
Demand side management (DSM) has been always a topic of interest among researcher. Residential energy management is also a part of DSM. In this paper, the appliances used at home have been modelled and an energy model... 详细信息
来源: 评论
Representation and programming for a robotic assembly task using an assembly structure
Representation and programming for a robotic assembly task u...
收藏 引用
7th IEEE international conference on Computer and Information Technology
作者: Nagai, Tatsuichiro Aramaki, Shigeto Nagasawa, Isao Fukuoka Univ Jonan Ku 8-19-1 Nanakuma Fukuoka 8140180 Japan Kyushu Inst Technol Fukuoka 8208502 Japan
this paper describes a knowledge representation and programming method for a robotic assembly task. the methodology is explained using a robotic assembly task involving position and force controls. the action sequence... 详细信息
来源: 评论
CAPEX and Availability Tradeoffs of Homing Architectures in Multi-Layer Networks
CAPEX and Availability Tradeoffs of Homing Architectures in ...
收藏 引用
7th international Workshop on the Design of Reliable Communication Networks
作者: Palkopoulou, Eleni Schupke, Dominic A. Bauschert, thomas Nokia Siemens Networks St Martin Str 53 D-81541 Munich Germany Tech Univ Chemnitz Chemnitz Germany
A generic multi-layer model and a linear programming (LP) formulation are developed enabling the calculation of the optimal solution in terms of network equipment capital expenditures (CAPEX) in multi-homing design. A... 详细信息
来源: 评论
A practice of bilingual teaching in a big-scale class: How we teach programming bilingually in a big class
A practice of bilingual teaching in a big-scale class: How w...
收藏 引用
2012 7th international conference on Computer Science and Education, ICCSE 2012
作者: Wang, Xiaohong Dept. of Computer Science and Technology Ningbo University Ningbo China
this paper describes our practice of teaching Java programming bilingually in the big-scale classes. A perspective is presented that helpfulness instead of success should be taken as the goal of teaching. Since the la... 详细信息
来源: 评论
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
A static analysis for Bulk Synchronous Parallel ML to avoid ...
收藏 引用
7th international conference on Parallel Computing Technologies (PaCT 2003)
作者: Gava, F Loulergue, F Univ Paris 12 Lab Algorithms Complex & Log F-94010 Creteil France
the BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the lambda-calculus by parallel operations on a data structu... 详细信息
来源: 评论
Divide-and-conquer parallel programming with Minimally Synchronous Parallel ML
收藏 引用
7th international conference on Parallel Processing and Applied Mathematics
作者: Benheddi, Radia Loulergue, Frederic Univ Orleans LIFO F-45067 Orleans France
Minimally Synchronous Parallel ML (MSPML) is a functional parallel programming language. It is based on a small number of primitives on a parallel data structure. MSPML programs are written like usual sequential ML pr... 详细信息
来源: 评论
NEMU: Design and Improvement of Visual programming Environment as Learning Support System on Basic programming Subjects.  2019
NEMU: Design and Improvement of Visual Programming Environme...
收藏 引用
7th international conference on Information and Education Technology (ICIET)
作者: Anwar, Noor Octavian Okumura, Hiroshi Widiyaningtyas, Triyanna Pujianto, Utomo Univ Negeri Malang Jl Semarang 5 Malang 65145 Indonesia Saga Univ 1 Honjo Machi Saga 8408502 Japan
Basic programming is a fundamental subject that contains basic materials of programming algorithms as well as the design and developing programs using programming languages. Based on observations in Vocational High Sc... 详细信息
来源: 评论