咨询与建议

限定检索结果

文献类型

  • 3,410 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,406 篇 工学
    • 1,903 篇 计算机科学与技术...
    • 1,157 篇 软件工程
    • 418 篇 电气工程
    • 272 篇 控制科学与工程
    • 200 篇 信息与通信工程
    • 129 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 57 篇 交通运输工程
    • 56 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 46 篇 化学工程与技术
    • 42 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 406 篇 管理学
    • 340 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 108 篇 教育学
    • 105 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 314 篇 linear programmi...
  • 252 篇 programming
  • 188 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 optimization
  • 119 篇 integer programm...
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 computer program...
  • 49 篇 mathematical mod...
  • 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. ...
  • 7 篇 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,401 篇 英文
  • 190 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3619 条 记 录,以下是2091-2100 订阅
排序:
SIMULATION OF HYDRAULIC CIRCUITS IN AN INTELLIGENT programming ENVIRONMENT (PART I)  7
SIMULATION OF HYDRAULIC CIRCUITS IN AN INTELLIGENT PROGRAMMI...
收藏 引用
7th international conference of DAAAM Baltic Industrial Engineering
作者: Grossschmidt, G. Harf, M. Tallinn Univ Technol Inst Machinery EE-19086 Tallinn Estonia Tallinn Univ Technol Inst Cybernet EE-21608 Tallinn Estonia
A hydraulic circuit of a fluid power system can be considered consisting of hydraulic tubes, local hydraulic resistors, fluid volume elasticity's and flow branching elements. Multi-pole mathematical models with lu... 详细信息
来源: 评论
Teaching practice of project-based VB programming
Teaching practice of project-based VB programming
收藏 引用
10th IEEE international conference on Computer and Information Technology, CIT-2010, 7th IEEE international conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010
作者: Zhuang, Hong Liu, Li Instructional Division of Computer Technology Zhejiang Sci-Tech Universcity China
the project-based teaching mode is a method based on the educational theory of constructivism. Based on this mode, the paper discussed a new teaching practice, covering different fields of knowledge by a project, and ... 详细信息
来源: 评论
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration  10
Automatically generating adaptive logic to balance non-funct...
收藏 引用
7th IEEE/ACM international conference on Autonomic Computing and Communications, ICAC-2010 and Co-located Workshops
作者: Ramirez, Andres J. Cheng, Betty H.C. McKinley, Philip K. Beckmann, Benjamin E. Michigan State University Department of Computer Science and Engineering 3115 Engineering Building East Lansing MI 48823 United States
Increasingly, high-assurance software systems apply self-reconfiguration in order to satisfy changing functional and non-functional requirements. Most self-reconfiguration approaches identify a target system configura... 详细信息
来源: 评论
A solution of linear programming with fuzzy variables
A solution of linear programming with fuzzy variables
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Wang, Zhongxing Li, Jingcui Xie, Haibin School of Mathematics and Information Sciences Guangxi University Nanning Guangxi 530004 China
We introduce an approach to defuzzify a general fuzzy quantity, a general fuzzy number is approximated to its nearest symmetric trapezoidal fuzzy number. With the help of the above method, a fuzzy linear programming i... 详细信息
来源: 评论
ITNG2010 - 7th international conference on Information Technology: New Generations
ITNG2010 - 7th International Conference on Information Techn...
收藏 引用
7th international conference on Information Technology - New Generations, ITNG 2010
the proceedings contain 251 papers. the topics discussed include: towards smaller-sized cache for mobile processors using shared set-associativity;designing efficient many-core parallel algorithms for all-pairs shorte...
来源: 评论
Reform and practice of programming teaching based on applied ability building
Reform and practice of programming teaching based on applied...
收藏 引用
10th IEEE international conference on Computer and Information Technology, CIT-2010, 7th IEEE international conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010
作者: Zhang, Yong Yan, Hui School of Computer and Computing Science Zhejiang University City College Hangzhou 310015 China Dept. of Education Administration Zhejiang University City College Hangzhou 310015 China
programming as the basis for computer-related professional courses is strongly practical. the quality of teaching has an important impact on the following professional courses. In this paper, we use the practice from ... 详细信息
来源: 评论
Research and reformation of online practice oriented teaching in programming foundation course
Research and reformation of online practice oriented teachin...
收藏 引用
10th IEEE international conference on Computer and Information Technology, CIT-2010, 7th IEEE international conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010
作者: Wang, Guiping Feng, Rui Information school ZheJiang University of Finance and Economy HangZhou China School of Computer Science ZheJiang University HangZhou HangZhou China
programming foundation is a course with very strong practicality. In order to promote students'programming practice ability, this article presents a new teaching idea, online practice oriented teaching. this teach... 详细信息
来源: 评论
the frame of DFL programming language
The frame of DFL programming language
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Zhao, Xiaofang School of Computer Science and Technology Shandong Institute of Business and Technology Yantai China
Up to now, there has been almost ten years for the research of the dynamic fuzzy logic (DFL) and a series of achievements have been made, such as fundamental conceptions of dynamic fuzzy sets (DFS), system theories of... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A predictor-corrector smoothing method for symmetric conic linear programming
A predictor-corrector smoothing method for symmetric conic l...
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Chi, Xiaoni Chen, Wenlue College of Mathematics and Information Science Huanggang Normal University Huanggang 438000 China
A predictor-corrector smoothing Newton method is presented for solving the symmetric conic linear programming (SCLP). the proposed algorithm reformulates the SCLP as a nonlinear system of equations and then applies Ne... 详细信息
来源: 评论