咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
CDIO-based curriculum reform in Java-programming
CDIO-based curriculum reform in Java-programming
收藏 引用
2012 7th international conference on Computer Science and Education, ICCSE 2012
作者: Lu, Huang Chen, Yunzhi Zhao, Wenming Wen, Yin Medical College of Zhejiang University China Hangzhou Vocation and Technology College China
It is known that traditional education is teacher-centered, which is associated chiefly with the transmission of knowledge. It is very hard to raise students' interests and inspire their motives to learn. Conseque... 详细信息
来源: 评论
Fuzzy programming approach for solving bi-level multi-objective linear programming problems
Fuzzy programming approach for solving bi-level multi-object...
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Tang, Wenguang Zhao, Fenxia College of Science Tianjin University of Commerce TJUC Tianjin China
this paper presents a fuzzy programming approach for solving bi-level multi-objective linear programming problems with a single decision maker at the upper level and multiple decision makers at the lower *** membershi... 详细信息
来源: 评论
Energy Saving Possibilities in the Industrial Robot IRB 1600 Control
Energy Saving Possibilities in the Industrial Robot IRB 1600...
收藏 引用
7th international conference-Workshop on Compatibility and Power Electronics (CPE)
作者: Rassolkin, Anton Hoimoja, Hardi Teemets, Raivo Tallinn Univ Technol Dept Elect Drives & Power Elect Tallinn Estonia
the paper presents the approaches for electric energy saving possibilities and electricity consumption characteristics in the modern industrial robots together with practical examples concerning robot programming and ... 详细信息
来源: 评论
An efficient hierarchical timing-driven steiner tree algorithm for global routing  7
An efficient hierarchical timing-driven steiner tree algorit...
收藏 引用
7th Asia and South Pacific Design Automation conference/15th international conference on VLSI Design
作者: Xu, JY Hong, XL Jing, T Cai, Y Gu, J Tsing Hua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China
In this paper, we propose a hierarchical timing-driven Steiner tree algorithm for global routing which considers the minimization of timing, delay during the tree construction as the goal. the algorithm uses heuristic... 详细信息
来源: 评论
Development of an Online Course for «Web programming» discipline with OLAT  7
Development of an Online Course for «Web Programming» disc...
收藏 引用
7th IEEE international Energy conference, ENERGYCON 2022
作者: Kintonova, Aliya Sabitov, A. Povkhan, I.F. L.N.Gumilyov Eurasian National University Nur-Sultan Kazakhstan Uzhgorod State University Uzhgorod Ukraine
this paper describes the technologies for organizing online courses, provides a brief analysis of technologies for organizing online courses. the paper describes the technology for creating an online course 71;Web ... 详细信息
来源: 评论
Fair and efficient route recommendation system for ridesharing platforms  24
Fair and efficient route recommendation system for rideshari...
收藏 引用
7th ACM India Joint international conference on Data Science and Management of Data (CODS-COMAD) / 11th ACM IKDD CODS conference / 29th COMAD conference
作者: Makhdomi, Aqsa Ashraf Gillani, Iqra Altaf NIT Srinagar Srinagar Jammu & Kashmir India
In the realm of ride-hailing platforms, the ability to anticipate passenger demand in various regions and suggest routes with the highest demand to drivers plays a pivotal role. While this mechanism optimizes system e... 详细信息
来源: 评论
Surfing with fun
Surfing with fun
收藏 引用
7th international Symposium on theoretical Aspects of Software Engineering (TASE)
作者: thiry, Laurent Hassenforder, Michel ENSISA F-68093 Mulhouse France
the paper presents a formalization of web sites based on functional programming (FP) and graphs. More precisely, it explains how FP can be used to infer and to generate web pages from a data model, or to embed a query... 详细信息
来源: 评论
Distance Reflective Learning in Lithuanian Young Programmers School
Distance Reflective Learning in Lithuanian Young Programmers...
收藏 引用
7th European conference on e-Learning
作者: Dagiene, Valentina Inst Math & Informat Vilnius Lithuania
Developing abilities to master modern technologies and skills for problem solving are among the most important capabilities of an educated future citizen in a knowledge society. Problem solving by means of programming... 详细信息
来源: 评论
A DNA algorithm for solving 0-1 programming
A DNA algorithm for solving 0-1 programming
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Guo, Ping Liu, Li-Li Chongqing Univ Sch Comp Sci Chongqing 400044 Peoples R China
In this paper, DNA probes tagged with fluorescent label and a surface-based DNA algorithm are proposed to solve the 0-1 programming problem which inequalities' coefficients expand to arbitrary integers. the algori... 详细信息
来源: 评论
A brief survey of quantum programming languages
A brief survey of quantum programming languages
收藏 引用
7th international Symposium on functional and Logic programming
作者: Selinger, P Univ Ottawa Dept Math Ottawa ON K1N 6N5 Canada
this article is a brief and subjective survey of quantum programming language research.
来源: 评论