咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是101-110 订阅
排序:
Proceedings - 2019 7th international conference in Software Engineering Research and Innovation, CONISOFT 2019
Proceedings - 2019 7th International Conference in Software ...
收藏 引用
7th international conference in Software Engineering Research and Innovation, CONISOFT 2019
the proceedings contain 27 papers. the topics discussed include: a novel approach for software requirement prioritization;a novel approach for software requirement prioritization based upon non functional requirements...
来源: 评论
Exploration of programming Practice Project Curriculum Construction
Exploration of Programming Practice Project Curriculum Const...
收藏 引用
7th international conference on Computer Science and Education
作者: Ge, Qianqian Wei, Cuncun Xu, Chang Zhejiang Business Technol Inst Coll Ind Ningbo 315012 Zhejiang Peoples R China
programming practice is the professional skill in software programmming. In talent training, its function is to practise students' analysis capacity on data processed by the computer, appropriate data structure, s... 详细信息
来源: 评论
Five Futures with AI Coding Agents  23
Five Futures with AI Coding Agents
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Tanimoto, Steven L. Paul G Allen Sch Comp Sci & Engn Seattle WA 98195 USA
Many computer programmers are beginning to use computational agents to help them develop software. this article raises questions about the nature of programmer-to-agent relationships. the author's intent is to fos... 详细信息
来源: 评论
Hindi Handwritten Character Recognition using Multiple Classifiers  7
Hindi Handwritten Character Recognition using Multiple Class...
收藏 引用
7th international conference on Cloud Computing, Data Science and Engineering (Confluence)
作者: Yadav, Madhuri Purwar, Ravindra USICT GGSEPU Delhi India
Humans can easily recognize handwritten words, after gaining basic knowledge of languages. this knowledge needs to be transferred to computers for automatic character recognition. the work proposed in this paper tries... 详细信息
来源: 评论
Transforming linear terms of algebraic specifications into extended pomsets
Transforming linear terms of algebraic specifications into e...
收藏 引用
7th ACIS international conference on Software Engineering, Artificial Intelligence, Networking, and Parallel and Distributed Computing/7th ACIS international Workshop on Self-Assembling Networks
作者: Doelle, Bastian Med Univ Lubeck Inst Software Technol & Programming Languages D-23538 Lubeck Germany
A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. this paper presents a formal method how to transform linear terms of an algebraic s... 详细信息
来源: 评论
the myths (and truths) of java games programming
The myths (and truths) of java games programming
收藏 引用
7th international conference on Intelligent Games and Simulation
作者: Davison, Andrew Prince Songkla Univ Dept Comp Engn Songkhla 90112 Thailand
this paper examines the commonly-expressed criticisms of Java as a games programming language: that's it's too slow, too high-level, prone to memory problems, too hard to install, not available on games consol... 详细信息
来源: 评论
Models for concurrent constraint programming
收藏 引用
Lecture Notes in Computer Science 1996年 第 1  期1119卷 66-66页
作者: Gupta, Vineet Jagadeesan, Radha Saraswat, Vijay
来源: 评论
Optimization of ULD Load Planning Using MILP: Mixed Integer Linear programming  7
Optimization of ULD Load Planning Using MILP: Mixed Integer ...
收藏 引用
7th international conference on Business and Industrial Research (ICBIR)
作者: Kaeothep, Wiphawi Nonsiri, Sarayuth Thai Nichi Inst Technol Fac Informat Technol AIOT Res Lab Bangkok Thailand
the spreading of the COVID-19 virus limits the transportation services capacity, which heavily impacts the logistics business. In air freight services, flight arrangement relies on the number of passengers traveling f... 详细信息
来源: 评论
Truly concurrent constraint programming
收藏 引用
Lecture Notes in Computer Science 1996年 第 1  期1119卷 373-373页
作者: Gupta, Vineet Jagadeesan, Radha Saraswat, Vijay
来源: 评论
DEMETER Online Market Place With Data Analytics for Agricultural Products Using Dynamic programming Algorithm  7
DEMETER Online Market Place With Data Analytics for Agricult...
收藏 引用
7th international conference on Business and Industrial Research (ICBIR)
作者: Cordano, Hygen Z., Jr. Caballero, Arlene R. Paraiso, Clarrence M. Lyceum Philippines Univ Coll Technol Manila Philippines
A product online marketplace's objective is to assist vendors in increasing their sales and profits. there are numerous ways used in goods online marketplaces, and none of them are definitively correct or incorrec... 详细信息
来源: 评论