咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

  • 3,593 篇 电子文献
  • 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是91-100 订阅
Systems programming tools  75
Systems programming tools
收藏 引用
7th international conference on APL, APL 1975
作者: Driscoll, Harold A. Scientific Time Sharing Corporation United States
APL, both as a language and as a time sharing implementation, provides a powerful vehicle for constructing systems programming tools. this paper describes one such workspace for working with OS MVT, its uses, and some...
来源: 评论
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... 详细信息
来源: 评论
Innovative Teaching Methods of C# programming Course Based on the CDIO
Innovative Teaching Methods of C# Programming Course Based o...
收藏 引用
7th international conference on Computer Science and Education
作者: Wu JiaQi Yang Wenjing Shanghai Second Polytech Univ Dept Comp & Informat Sci Shanghai Peoples R China
For C # programming Language course features and the shortcomings of traditional teaching methods, this paper presents the design of new teaching methods based on the CDIO concept C # language program. Using a variety... 详细信息
来源: 评论
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... 详细信息
来源: 评论
AUDIO PROCESSING USING HASKELL  7
AUDIO PROCESSING USING HASKELL
收藏 引用
7th international conference on Digital Audio Effects, DAFx 2004
作者: thielemann, Henning Center of Industrial Mathematics University of Bremen Bremen Germany
the software for most today's applications including signal processing applications is written in imperative languages. Imperative programs are fast because they are designed close to the architecture of the wides... 详细信息
来源: 评论
Exploration of Project-based Teaching Content Reforms on programming Practice Course
Exploration of Project-based Teaching Content Reforms on Pro...
收藏 引用
7th international conference on Computer Science and Education
作者: Ge, Qianqian Ding, Guowei Zhejiang Business Technol Inst Coll Ind Ningbo 315012 Zhejiang Peoples R China Ningbo City Coll Vocat Techonol Coll Ind Ningbo 315100 Zhejiang Peoples R China
In this paper, it combines with the characteristics of vocational practical programming course reality, introduces a task-driven education reform idea for practical programming course. It reforms the theoretical and a... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Inheritable Fisher Vector Feature for Kinship Verification  7
Inheritable Fisher Vector Feature for Kinship Verification
收藏 引用
IEEE 7th international conference on Biometrics theory, Applications and Systems (BTAS)
作者: Liu, Qingfeng Puthenputhussery, Ajit Liu, Chengjun New Jersey Inst Technol Dept Comp Sci Newark NJ 07102 USA
An innovative inheritable Fisher vector feature (IFVF) method is presented in this paper for kinship verification. Specifically, Fisher vector is first derived for each image by aggregating the densely sampled SIFT fe... 详细信息
来源: 评论
First Comparison of SARL to Other Agent-programming Languages and Frameworks  8
First Comparison of SARL to Other Agent-Programming Language...
收藏 引用
8th international conference on Ambient Systems, Networks and Technologies (ANT) / 7th international conference on Sustainable Energy Information Technology (SEIT)
作者: Feraud, Maxime Galland, Stephane Univ Bourgogne Franche Comte UTBM LE2I F-90010 Belfort France Univ Technol Belfort Montbeliard Comp Engn Dept F-90010 Belfort France
this paper proposes a first comparison of different agent-oriented programming languages, including the SARL agent-programming language. the study of those tools is based upon various criteria that are defining the es... 详细信息
来源: 评论
the interactive multimedia textbook Using a digital pen to support learning for computer programming
The interactive multimedia textbook Using a digital pen to s...
收藏 引用
7th IEEE international conference on Advanced Learning Technologies
作者: Lai, Wei-Chu Chao, Po-Yao Chen, Gwo-Dong Natl Cent Univ Dept Comp Sci & Informat Engn Chungli Taiwan
through a field study computer science practices, we observed that students not only rely on the computer but also the programming textbook. To get overall comprehension, students organize their effort in understandin... 详细信息
来源: 评论