離散事象システム研究会講演論文集. 第41回

• Material Type: 図書
• Title: 離散事象システム研究会講演論文集
• Title Transcription: リサン ジショウ システム ケンキュウカイ コウエン ロンブンシュウ
• Volume: 第41回
• Author Heading: 計測自動制御学会 ケイソク ジドウ セイギョ ガッカイ ( 00259106 )Authorities
• Publication, Distribution, etc.: 東京 : 計測自動制御学会
• Publication Date: c2007
• Publication Date (W3CDTF): 2007
• Extent: 70p
• Size: 30cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 自動制御--論文集 ジドウセイギョ ロンブンシュウ ( 00908896 )Authorities
• NDC 9th ed.: 548.3 : Information engineering
• NDLC: M131
• Target Audience: 一般
• Note (General): 会期・会場: 2007年6月28日-29日 那覇簡易保険レクセンター
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M131-H313
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000008858452; http://id.ndl.go.jp/bib/000008858452
• National Bibliography No. (JPNO): 21277409
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 112

• Contents: 拡張されたバッチ処理アーク付きペトリネットの解析について / 太田淳, 辻孝吉 著Software component verification for infinite state models by means of assumption generation / Petr Kucera, Ku...

Table of Contents

第41回離散事象システム研究会

主催：計測自動制御学会　システム・情報部門

企画：離散事象システム部会

期日：2007年6月28日，29日

会場：那覇簡易保険レクセンター