咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
APL functions for precision control in floating-point computations  75
APL functions for precision control in floating-point comput...
收藏 引用
7th international conference on APL, APL 1975
作者: Dubrulle, Augustin A. International Business Machines Corporation System Development Division Palo AltoCA United States
the actual operative principles guiding the design of any complex system must be few and broad. In the present instance we believe these principles to be simplicity and practicality. Practicality is manifested in two ...
来源: 评论
Development of a control system for a universal winding machine based on virtual path planning  7
Development of a control system for a universal winding mach...
收藏 引用
7th international Electric Drives Production conference (EDPC)
作者: Mahr, A. Wurm, M. Bickel, B. Franke, J. Halder, H. Friedrich Alexander Univ Erlangen Nurnberg Lehrstuhl Fertigungsautomatisierung & Prod System Further Str 246b D-90429 Nurnberg Germany Otto Rist GmbH & Co KG Baindter Str 25 D-88255 Baienfurt Germany
For the flexible production of increased efficient electric drives new production machines are needed. To this end a new, highly flexible winding machine, which can be used for a broad range of different windings, is ... 详细信息
来源: 评论
Review of Data-parallel programming Model
Review of Data-parallel Programming Model
收藏 引用
7th international conference on Computer Science and Education
作者: Hou, Ke Zhang, Jing Li, Jun-huai Xian Univ Technol Inst Comp Sci & Engn Xian Peoples R China Xian Shiyou Univ Sch Econ Management Xian Peoples R China
Data-parallel programming model (DPPM for short) specialized for data-intensive computing becomes considerable popular because it simplifies the development of distributed parallel programs. DPPMs are classified into ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Practical Aspects of Declarative Languages - 7th international Symposium, PADL 2005
Practical Aspects of Declarative Languages - 7th Internation...
收藏 引用
7th international Symposium on Practical Aspects of Declarative Languages, PADL 2005
the proceedings contain 19 papers from the Practical Aspects of Declarative Languages - 7th international Symposium, PADL 2005. the topics discussed include: functional framework for sound synthesis;specializing narro... 详细信息
来源: 评论
An Iterative Procedure for Tuning Decentralized PID Controllers based on Effective Open-loop Process  7
An Iterative Procedure for Tuning Decentralized PID Controll...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: da Silva, Moises T. Barros, Pericles R. Univ Fed Campina Grande Elect Engn Dept Campina Grande Paraiba Brazil
In this paper, based on Effective Open-loop Process (EOP), an iterative procedure is proposed to tune decentralized PID controllers for multivariable systems. the EOP is obtained through the operation with matrices, r... 详细信息
来源: 评论
Report of the 7th international Workshop on Aspect-Oriented Modeling
收藏 引用
international MoDELS 2005
作者: Kienzle, J Gray, J Stein, D McGill Univ Sch Comp Sci Montreal PQ Canada Univ Alabama Dept Comp & Informat Sci Birmingham AL 35294 USA Univ Duisburg Essen Inst Comp Sci & Business Informat Syst Essen Germany
this report summarizes the outcome of the 7th Workshop on Aspect-Oriented Modeling (AOM) held in conjunction with the 8th international conference on Model Driven Engineering Languages and Systems - MODELS 2005 - in M... 详细信息
来源: 评论
programming COST ESTIMATE: IS IT REASONABLE?
PROGRAMMING COST ESTIMATE: IS IT REASONABLE?
收藏 引用
Proceedings - 7th international conference on Software Engineering.
作者: Boydston, Robert E.
来源: 评论
Selective In-band Network Telemetry for Overhead Reduction  7
Selective In-band Network Telemetry for Overhead Reduction
收藏 引用
IEEE 7th international conference on Cloud Networking (CloudNet)
作者: Kim, Youngho Suh, Dongeun Pack, Sangheon Samsung Elect Suwon South Korea Korea Univ Seoul South Korea
In-band network telemetry (INT) in programming protocol-independent packet processor (P4) is an emerging network monitoring framework that allows data packets to query different switch-internal states. Meanwhile, the ... 详细信息
来源: 评论
Patience Control: A Modular and Dynamic Construction of Composite Controllers  7
Patience Control: A Modular and Dynamic Construction of Comp...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Sadon, Aviran Arogeti, Shai Weiss, Gera Ben Gurion Univ Negev IL-8410501 Beer Sheva Israel
the problem of designing controllers for achieving composite goals is well studied in the literature and is considered an open problem. In this paper we propose a controller architecture that builds on approaches for ... 详细信息
来源: 评论