Collection home page

Mathematical Methods in Software Science and Engineering; Third Conference   14
(http://hdl.handle.net/2433/101488)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1981-09)
  数理解析研究所講究録, 436
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
LSI技術の展望 (ソフトウェア科学,工学の数理的方法)
  唐津, 修, 日比野, 靖 (1981-09)
  数理解析研究所講究録, 436: 47-66
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
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
Yet Another Environment-Retention Strategy (Mathematical Methods in Software Science and Engineering : Third Conference)
  TOSHIMA, HIROSHI (1981-09)
  数理解析研究所講究録, 436: 117-131
file type icon
計算の難しさについて (ソフトウェア科学,工学の数理的方法)
  笠井, 琢美 (1981-09)
  数理解析研究所講究録, 436: 132-155
file type icon
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
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
A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference)
  TAMAI, TETSUO, FUKUNAGA, KOICHI (1981-09)
  数理解析研究所講究録, 436: 198-217
file type icon
Design, Implementation and Philosophy of Hyperlisp (Mathematical Methods in Software Science and Engineering : Third Conference)
  HAGIYA, MASAMI (1981-09)
  数理解析研究所講究録, 436: 218-232
file type icon
Lazy Representation for a Proof of List Marking Algorithms (Mathematical Methods in Software Science and Engineering : Third Conference)
  KAWAI, SATORU (1981-09)
  数理解析研究所講究録, 436: 233-260
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
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14