咨询与建议

限定检索结果

文献类型

  • 12 篇 期刊文献
  • 8 篇 会议
  • 3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 18 篇 工学
    • 16 篇 计算机科学与技术...
    • 9 篇 软件工程
    • 4 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 5 篇 理学
    • 4 篇 数学
    • 1 篇 科学技术史(分学科...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 医学
    • 1 篇 临床医学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 23 篇 program composit...
  • 5 篇 programming lang...
  • 3 篇 metacomputation
  • 2 篇 large-scale data...
  • 2 篇 partial evaluati...
  • 2 篇 debugging
  • 2 篇 unity
  • 2 篇 thesis
  • 2 篇 logic programmin...
  • 2 篇 program represen...
  • 2 篇 programming libr...
  • 2 篇 program comprehe...
  • 2 篇 modification
  • 2 篇 service composit...
  • 2 篇 program generati...
  • 2 篇 parallel
  • 2 篇 program speciali...
  • 1 篇 program refineme...
  • 1 篇 adaptive systems
  • 1 篇 program correctn...

机构

  • 2 篇 texas a&m univer...
  • 1 篇 univ pisa dipart...
  • 1 篇 natl inst inform...
  • 1 篇 kuyelh ajhna 113...
  • 1 篇 univ paris 08 f-...
  • 1 篇 indiana univ dep...
  • 1 篇 univ ghent ctr l...
  • 1 篇 russian acad sci...
  • 1 篇 keldysh institut...
  • 1 篇 univ pisa dept c...
  • 1 篇 univ nebraska de...
  • 1 篇 univ copenhagen ...
  • 1 篇 univ sci & techn...
  • 1 篇 univ tokyo grad ...
  • 1 篇 univ calif santa...
  • 1 篇 cambridge univer...
  • 1 篇 department of co...
  • 1 篇 charles universi...
  • 1 篇 univ sunshine co...
  • 1 篇 natl inst inform...

作者

  • 2 篇 torisawa kentaro
  • 2 篇 turini f
  • 2 篇 brogi a
  • 2 篇 mayer r
  • 2 篇 tanaka masahiro
  • 2 篇 gluck r
  • 2 篇 klimov a
  • 2 篇 shneiderman b
  • 1 篇 taura kenjiro
  • 1 篇 skalník jan
  • 1 篇 mckillop nadine
  • 1 篇 taylor s
  • 1 篇 taurat kenjiro
  • 1 篇 foster i
  • 1 篇 herman t
  • 1 篇 gouda mg
  • 1 篇 paulson l.c.
  • 1 篇 esterhuyse chris...
  • 1 篇 carle martin
  • 1 篇 sanders beverly ...

语言

  • 21 篇 英文
  • 2 篇 其他
检索条件"主题词=PROGRAM COMPOSITION"
23 条 记 录,以下是21-30 订阅
排序:
Spuštění veřejnoprávního kulturního kanálu: analýza vysílání ČT art do roku 2014
Spuštění veřejnoprávního kulturního kanálu: analýza...
收藏 引用
作者: Skalník, Jan Charles University of Prague
Diploma thesis "Launch of the public-service culture channel: Broadcast analysis of ČT art until the year 2014" describes the origin and development of the channel ČT art, including an analysis of how it inf... 详细信息
来源: 评论
The Paragraph: Design and Implementation of the STAPL Parallel Task Graph
The Paragraph: Design and Implementation of the STAPL Parall...
收藏 引用
作者: Thomas, Nathan 1977- Texas A&M University
Parallel programming is becoming mainstream due to the increased availabilityof multiprocessor and multicore architectures and the need to solve larger andmore complex problems. Languages and tools available for the ... 详细信息
来源: 评论
Metasystem Transition Schemes in Computer Science and Mathematics
收藏 引用
World Futures 1995年 第1-4期45卷 213-243页
作者: Glück, Robert Klimov, Andrei Department of Computer Science University of Copenhagen Universitetsparken 1 DK-210C Copenhagen Denmark Keldysh Institute of Applied Mathematics Russian Academy of Sciences Miusskaja Sq. A RU-125047 Moscow Russian Federation
We analyze rnetasystem transitions which may be observed, or are intentionally used, in computer science and mathematics. Various metasystem structures are present in their activities of executing, creating and manipu... 详细信息
来源: 评论