代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究, [1986]

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究, [1986]

ダイスウテキ シュホウ ニ モトズク ヘイレツ ケイサン システム ノ シヨウ キジュツ ケンショウ ノ キソテキ ケンキュウ

稲垣康善研究代表

[名古屋] : [稲垣康善], [1987.3]

図書等

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

[1986]
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

548.22-I52-1986

10008025101

一般図書

詳細情報

刊年

1987

形態

2冊 ; 26cm

別書名

昭和61年度科学研究費補助金一般研究C研究成果報告書

昭和62年度科学研究費補助金一般研究C研究成果報告書

シリーズ名

科学研究費補助金(一般研究C)研究成果報告書 ; 昭和61-62年度

注記

研究課題番号: [昭和62年3月]60550263, [昭和63年3月]62550261

研究代表者: 稲垣康善(名古屋大学工学部電気系教室)

[昭和62年3月]: xiii, 64p, [昭和63年3月]: v, 32p

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn) ; 英語 (eng)

著者情報

稲垣, 康善(1939-) (イナガキ, ヤスヨシ) [ Inagaki, Yasuyoshi ]

NCID

BA89840286

番号

KAKEN : 60550263

KAKEN : 62550261