咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 3,146 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware
  • 35 篇 costs

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,081 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3146 条 记 录,以下是3131-3140 订阅
排序:
international Forging conference, 9th, 1981.
International Forging Conference, 9th, 1981.
收藏 引用
作者: Anon
this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots;advanced steelmaking processes;steel ingot forg... 详细信息
来源: 评论
international Forging conference, 9th, 1981.
收藏 引用
IEE Colloquium (Digest) 1981年 var paging页
作者: Anon
this conference proceedings includes 41 papers discussing recent advancements in steel forging technology. Covered are topics such as manufacture of forging steel ingots; advanced steelmaking processes; steel ingot fo... 详细信息
来源: 评论
OPTIMAL INTEGRATED-CIRCUIT IMPLEMENTATION OF TRIANGULAR MATRIX INVERSION.
Proceedings of the International Conference on Parallel Proc...
收藏 引用
Proceedings of the international conference on Parallel Processing 1980年 211-221页
作者: Preparata, Franco P. Vuillemin, Jean
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all val... 详细信息
来源: 评论
DECOMPOSING A PROGRAM FOR MULTIPLE PROCESSOR SYSTEMS.
Proceedings of the International Conference on Parallel Proc...
收藏 引用
Proceedings of the international conference on Parallel Processing 1980年 7-14页
作者: Arvind
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages ar... 详细信息
来源: 评论
SPECIFICATION AND SYNthESIS OF SYNCHRONIZERS.
Proceedings of the International Conference on Parallel Proc...
收藏 引用
Proceedings of the international conference on Parallel Processing 1980年 311-332页
作者: Ramamritham, Krithivasan Keller, Robert M.
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of re... 详细信息
来源: 评论
DESIGN AND IMPLEMENTATION OF A LANGUAGE FOR COMMUNICATING SEQUENTIAL PROCESSES.
DESIGN AND IMPLEMENTATION OF A LANGUAGE FOR COMMUNICATING SE...
收藏 引用
Proc Int Conf Parallel Process 9th
作者: Jazayeri, Mehdi Ghezzi, Carlo Hoffman, Dan Middleton, David Smotherman, Mark
Aspects of the design and implementation of CSP/80, a language based on Hoare9;s communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare9;s original notation ... 详细信息
来源: 评论
DECOMPOSING A PROGRAM FOR MULTIPLE PROCESSOR SYSTEMS.
DECOMPOSING A PROGRAM FOR MULTIPLE PROCESSOR SYSTEMS.
收藏 引用
Proc Int Conf Parallel Process 9th
作者: Arvind
the success of high performance multiple processor systems depends upon the ability to decompose a program into small segments suitable for execution on one processor. It is argued that purely applicative languages ar... 详细信息
来源: 评论
SPECIFICATION AND SYNthESIS OF SYNCHRONIZERS.
SPECIFICATION AND SYNTHESIS OF SYNCHRONIZERS.
收藏 引用
Proc Int Conf Parallel Process 9th
作者: Ramamritham, Krithivasan Keller, Robert M.
Presented is a specification language for expressing properties required among operations accessing shared resources in a concurrent environment. Such constraints are necessary in order to maintain the integrity of re... 详细信息
来源: 评论
HIERARCHICAL ANALYSIS OF A DISTRIBUTED EVALUATOR.
HIERARCHICAL ANALYSIS OF A DISTRIBUTED EVALUATOR.
收藏 引用
Proc Int Conf Parallel Process 9th
作者: Keller, Robert M. Lindstrom, Gary
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware... 详细信息
来源: 评论
OPTIMAL INTEGRATED-CIRCUIT IMPLEMENTATION OF TRIANGULAR MATRIX INVERSION.
OPTIMAL INTEGRATED-CIRCUIT IMPLEMENTATION OF TRIANGULAR MATR...
收藏 引用
Proc Int Conf Parallel Process 9th
作者: Preparata, Franco P. Vuillemin, Jean
A class of integrated-circuit implementations of algorithms for inverting an n x n triangular matrix is described. these networks have area A and time T, with an area x time**2 product AT**2 equals 0(n**4) for all val... 详细信息
来源: 评论