リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究

• Material Type: 博士論文
• Title: リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究
• Author/Editor: 島川, 昌也; Shimakawa, Masaya
• Author Heading: 島川, 昌也; Shimakawa, Masaya
• Publication Date: 2014-09
• Publication Date (W3CDTF): 2014-09
• Degree grantor/type: 東京工業大学
• Date Granted: 2014-09-25
• Date Granted (W3CDTF): 2014-09-25
• Dissertation Number: 甲第9664号
• Degree Type: 博士（工学）
• Conferring No. (Dissertation): 甲第9664号
• Text Language Code: jpn
• Target Audience: 一般
• Note (General): identifier:oai:t2r2.star.titech.ac.jp:50284430
• Persistent ID (NDL): info:ndljp/pid/9491137; https://dl.ndl.go.jp/pid/9491137
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Date Accepted (W3CDTF): 2015-09-01T13:12:47+09:00
• Date Created (W3CDTF): 2015-07-24
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100693376
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

2021-05-17 再収集