1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 14.
検索結果:
書誌情報ファイル
A Language with Modified Block Structure for Data Abstraction and Stepwise Refinement (Mathematical Methods in Software Science and Engineering : Third Conference)
  CHUSHO, TAKESHI; NOGI, KENROKU; HAYASHI, TOSHIHIRO (1981-09)
  数理解析研究所講究録, 436: 156-173
file type icon 
Dependency Integration of Locally Independent Relational Databases into a Distributed Database (Mathematical Methods in Software Science and Engineering : Third Conference)
  TANAKA, KATSUMI; KAMBAYASHI, YAHIKO (1981-09)
  数理解析研究所講究録, 436: 1-26
file type icon 
Vocabulary Building for Database Queries (Mathematical Methods in Software Science and Engineering : Third Conference)
  TANAKA, YUZURU (1981-09)
  数理解析研究所講究録, 436: 27-46
file type icon 
表紙・目次
   (1981-09)
  数理解析研究所講究録, 436
file type icon 
Natural Language as a Specefication Language for Programs (Mathematical Methods in Software Science and Engineering : Third Conference)
  FUCHI, KAZUHIRO (1981-09)
  数理解析研究所講究録, 436: 261-280
file type icon 
LSI技術の展望 (ソフトウェア科学,工学の数理的方法)
  唐津, 修; 日比野, 靖 (1981-09)
  数理解析研究所講究録, 436: 47-66
file type icon 
Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)
  OHBA, M.; TANITSU, Y.; TAKIMOTO, N.; KADOTA, H. (1981-09)
  数理解析研究所講究録, 436: 174-197
file type icon 
List Processing on a Data Flow Machine (Mathematical Methods in Software Science and Engineering : Third Conference)
  AMAMIYA, MAKOTO; HASEGAWA, RYUZO; MIKAMI, HIROHIDE (1981-09)
  数理解析研究所講究録, 436: 82-116
file type icon 
Parallelism in Algebraic Computation and Parallel Algorithms for Symbolic Linear Systems (Mathematical Methods in Software Science and Engineering : Third Conference)
  SASAKI, TATEAKI; KANADA, YASUMASA (1981-09)
  数理解析研究所講究録, 436: 67-81
file type icon 
計算の難しさについて (ソフトウェア科学,工学の数理的方法)
  笠井, 琢美 (1981-09)
  数理解析研究所講究録, 436: 132-155
file type icon 

絞り込み