咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 17 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 47 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 34 篇 工学
    • 29 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 4 篇 电气工程
    • 4 篇 控制科学与工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 化学工程与技术
    • 1 篇 船舶与海洋工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 安全科学与工程
  • 14 篇 理学
    • 10 篇 数学
    • 2 篇 系统科学
    • 1 篇 化学
    • 1 篇 海洋科学
  • 6 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 9 篇 artificial intel...
  • 4 篇 information syst...
  • 4 篇 database managem...
  • 4 篇 information stor...
  • 2 篇 computer science
  • 2 篇 concurrent compu...
  • 2 篇 data mining and ...
  • 2 篇 laboratories
  • 2 篇 reusability
  • 2 篇 process algebra
  • 2 篇 specifications
  • 2 篇 formal methods
  • 2 篇 user interfaces ...
  • 2 篇 computer errors
  • 2 篇 computer softwar...
  • 2 篇 robustness
  • 1 篇 computer simulat...
  • 1 篇 object oriented ...
  • 1 篇 software systems
  • 1 篇 boundary element...

机构

  • 3 篇 department of co...
  • 3 篇 research group p...
  • 3 篇 programming rese...
  • 2 篇 department of so...
  • 2 篇 dr fusco is a ch...
  • 2 篇 computer science...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 department of ph...
  • 2 篇 department of co...
  • 2 篇 programming rese...
  • 1 篇 programming meth...
  • 1 篇 programming rese...
  • 1 篇 smart internet p...
  • 1 篇 logic and progra...
  • 1 篇 research group p...
  • 1 篇 department of ma...
  • 1 篇 programming rese...
  • 1 篇 oxford universit...
  • 1 篇 programming rese...

作者

  • 5 篇 henning christia...
  • 4 篇 troels andreasen
  • 4 篇 bergstra j.a.
  • 3 篇 klint p.
  • 3 篇 henrik legind la...
  • 3 篇 fusco vf
  • 2 篇 paterson ross
  • 2 篇 netinant paniti
  • 2 篇 netinant p.
  • 2 篇 mcdowall ds
  • 2 篇 baeten j.c.m.
  • 2 篇 bird richard
  • 1 篇 constantinides c...
  • 1 篇 arickx frans
  • 1 篇 tan cc
  • 1 篇 hoare c.a.r.
  • 1 篇 hellinckx peter
  • 1 篇 fayad mohamed e.
  • 1 篇 s. reddy
  • 1 篇 kreimer jochen

语言

  • 47 篇 英文
检索条件"机构=Concurrent Programming Research Group Department of Computer Science"
47 条 记 录,以下是41-50 订阅
排序:
A theory of nondeterminism  7th
收藏 引用
7th International Colloquium on Automata, Languages and programming, ICALP 1980
作者: Kennaway, J.R. Hoare, C.A.R. Department of Computer Science Edinburgh University United Kingdom Programming Research Group Oxford University United Kingdom
A construction is described which takes an arbitrary set of machines, an arbitray set of tests, and an arbitrary relation on machines and tests defining which machines pass which tests. It produces a domain of specifi... 详细信息
来源: 评论
AMBIGUITIES AND INSECURITIES IN PASCAL
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1977年 第6期7卷 685-696页
作者: WELSH, J SNEERINGER, WJ HOARE, CAR Department of Computer Science Queen's University Belfast BT7 1NN N. Ireland Address from October 1977: Programming Research Group Oxford University 45 Banbury Road Oxford.
Ambiguities and insecurities in the programming language Pascal are discussed.
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henning Christiansen Mohand-Saïd Hacid Troels Andreasen Henrik Legind Larsen
ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24–26, 2004. FQAS is the premier conference for researchers and practi... 详细信息
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen
来源: 评论
Flexible Query Answering Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henrik Bulskov Ronald R. Yager Henning Christiansen Henrik Legind Larsen
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were... 详细信息
来源: 评论
Foundations of Intelligent Systems  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful... 详细信息
来源: 评论
Constraint Solving and Language Processing  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma... 详细信息
来源: 评论