咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,198 篇 电子文献
  • 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
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 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,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是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...
来源: 评论
Hardware and Software: Verification and Testing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Valeria Bertacco Axel Legay
this book constitutes the refereed proceedings of the 9th international Haifa Verification conference, HVC 2013, held in Haifa, Israel in November 2013. the 24 revised full papers presented were carefully reviewed and... 详细信息
来源: 评论
Intelligent Computer Mathematics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Michael Kohlhase Moa Johansson Bruce Miller Leonardo de Moura Frank Tompa
this book constitutes the refereed proceedings of the 9th international conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.;the 10 full papers and 2 short pape... 详细信息
来源: 评论
CONCUR'98 Concurrency theory  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 9th international conference on Concurrency theory, CONCUR9;98, held in Nice, France, in September 1998.;the 35 revised full papers presented were carefully sel... 详细信息
来源: 评论
Network and Parallel Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: James J. Park Albert Zomaya Sang-Soo Yeo Sartaj Sahni
this book constitutes the refereed post-proceedings of the 9th IFIP international conference on Network and Parallel Computing, NPC 2012, held in Gwangju, Korea, in September 2012. the 38 papers presented were careful... 详细信息
来源: 评论
Testing of Software and Communication Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Manuel Núñez Mercedes G. Merayo Paul Baker
this book constitutes the refereed proceedings of the 21th IFIP WG 6.1 international conference on Testing Communicating Systems, TESTCOM 2009, and the 9th international Workshop on Formal Approaches to Testing of Sof... 详细信息
来源: 评论