咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 185 篇 dynamic programm...
  • 143 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 51 篇 mathematical mod...
  • 48 篇 computer program...
  • 47 篇 heuristic algori...
  • 42 篇 quadratic progra...
  • 42 篇 artificial intel...

机构

  • 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,509 篇 英文
  • 55 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是111-120 订阅
排序:
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... 详细信息
来源: 评论
Learning weak constraints in answer set programming
收藏 引用
thEORY AND PRACTICE OF LOGIC programming 2015年 第4-5期15卷 511-525页
作者: Law, Mark Russo, Alessandra Broda, Krysia Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning fro... 详细信息
来源: 评论
ON SEMIDEFINITE programming RELAXATIONS OF thE TRAVELING SALESMAN PROBLEM
收藏 引用
SIAM JOURNAL ON OPTIMIZATION 2008年 第4期19卷 1559-1573页
作者: De Klerk, Etienne Pasechnik, Dmitrii V. Sotirov, Renata Tilburg Univ Dept Econometr & OR NL-5000 LE Tilberg Netherlands Nanyang Technol Univ Sch Phys & Math Sci Singapore Singapore
We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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 Mixed Integer programming Model for Unrelated Parallel Machine Scheduling Problem with Sequence Dependent Setup Time to Minimize Makespan and Total Tardiness  7
A Mixed Integer Programming Model for Unrelated Parallel Mac...
收藏 引用
IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)
作者: Kongsri, Papimol Buddhakulsomsiri, Jirachai Thammasat Univ Sirindhom Int Inst Technol Pathum Thani Thailand
this paper involves an unrelated parallel machine scheduling problem. Setup times are sequence dependent. A mixed integer linear programming model that represents the system is formulated. Two measures of performance,... 详细信息
来源: 评论
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
来源: 评论