咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

标题
作者

文献类型

  • 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 条 记 录，以下是3491-3500 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
DESIGN FOR AN AUTOMATIC programming SYSTEM.
DESIGN FOR AN AUTOMATIC PROGRAMMING SYSTEM.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Smith, Douglas R.
来源： 评论
APE: AN EXPERT SYSTEM FOR AUTOMATIC programming FROM ABSTRACT SPECIFICATIONS OF DATA TYPES AND ALGORIthMS.
APE: AN EXPERT SYSTEM FOR AUTOMATIC PROGRAMMING FROM ABSTRAC...
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Bartels, Ulrich Olthoff, Walter Raulefs, Peter
来源： 评论
ALGORIthMS OF thE COMPLEX TACTILE INFORMATION PROCESSING.
ALGORITHMS OF THE COMPLEX TACTILE INFORMATION PROCESSING.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Marik, Vladimir
来源： 评论
MODEL INFERENCE SYSTEM.
MODEL INFERENCE SYSTEM.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Shapiro, Ehud Y.
来源： 评论
INVERSION OF APPLICATIVE PROGRAMS.
INVERSION OF APPLICATIVE PROGRAMS.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Korf, Richard E.
来源： 评论
AUTOMATIC SYNthESIS OF NUMERICAL COMPUTER PROGRAMS.
AUTOMATIC SYNTHESIS OF NUMERICAL COMPUTER PROGRAMS.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Brown, Richard H.
来源： 评论
HOMOGENIZATION: PREPARING EQUATIONS FOR CHANGE OF UNKNOWN.
HOMOGENIZATION: PREPARING EQUATIONS FOR CHANGE OF UNKNOWN.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Bundy, Alan Silver, Bernard
来源： 评论
FORMAL REPRESENTATION FOR PLANS IN thE PROGRAMMER'S APPRENTICE.
FORMAL REPRESENTATION FOR PLANS IN THE PROGRAMMER'S APPRENTI...
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Rich, Charles
来源： 评论
COMPOUND: A PROGRAM thAT UNDERSTANDS NOUN COMPOUNDS.
COMPOUND: A PROGRAM THAT UNDERSTANDS NOUN COMPOUNDS.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： McDonald, David B.
来源： 评论
ALGORIthM thAT INFERS thEORIES FROM FACTS.
ALGORITHM THAT INFERS THEORIES FROM FACTS.
收藏
分享
引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者： Shapiro, Ehud Y.
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共360页 <<  < 346 347 348 349 350 351 352 353 354 355 >  >>
回到顶部
执行限定条件