咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3141-3150 订阅
排序:
DESIGN AND IMPLEMENTATION OF A LANGUAGE FOR COMMUNICATING SEQUENTIAL PROCESSES.
Proceedings of the International Conference on Parallel Proc...
收藏 引用
Proceedings of the international conference on Parallel Processing 1980年 173-118页
作者: 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 ... 详细信息
来源: 评论
HIERARCHICAL ANALYSIS OF A DISTRIBUTED EVALUATOR.
Proceedings of the International Conference on Parallel Proc...
收藏 引用
Proceedings of the international conference on Parallel Processing 1980年 299-231页
作者: 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... 详细信息
来源: 评论
OBSERVER: A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS.
Proceedings - Annual International Conference on Fault-Toler...
收藏 引用
Proceedings - Annual international conference on Fault-Tolerant Computing 1979年 79-86页
作者: Ayache, J.M. Azema, P. Diaz, M.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer... 详细信息
来源: 评论
OBSERVER: A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS.
OBSERVER: A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS ...
收藏 引用
Proc Annu Int Conf Fault Tolerant Comput 9th, Dig of Pap
作者: Ayache, J.M. Azema, P. Diaz, M.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer... 详细信息
来源: 评论
programming languages for operating systems
Programming languages for operating systems
收藏 引用
1973 ACM SIGPLAN - SIGOPS Interface Meeting: programming Languages - Operating Systems
作者: McKeag, R.M. Department of Computer Science Queen's University of Belfast BelfastBT7 1NN Ireland
this paper outlines some of the things that an operating system designer looks for in a programming language. this working paper was submitted to the ***. SIGPLAN/SIGOPS Interface Meeting held at Savannah, Georgia fro...
来源: 评论
the IBM type 705 autocoder  9
The IBM type 705 autocoder
收藏 引用
9th Joint ACM-AIEE-IRE Western Computer conference, AIEE-IRE 1956
作者: Goldfinger, Roy International Business Machines Corporation PoughkeepsieNY United States
the 705 Autocoder is a system of automatic coding for use with the international Business Machines Corporation (IBM) EDPM type 705. However, before description of the system, the distinction between automatic programm... 详细信息
来源: 评论