2016 symposium on theory of modeling and simulation : (TMS-DEVS 2016) : Pasadena, California, USA : 3-6 April 2016.

• 資料種別: 図書
• ISBN: 9781538618561 (print-on-demand)
• タイトル: 2016 symposium on theory of modeling and simulation : (TMS-DEVS 2016) : Pasadena, California, USA : 3-6 April 2016.
• 著者標目: Symposium on Theory of Modeling and Simulation (2016 : Pasadena, Calif.); Barros, Fernando (Fernando J.); Society for Modeling and Simulation International.; Spring Simulation Multiconference (2016 : Pasadena, Calif.)
• 出版事項: Piscataway, NJ : IEEE (出版)
• 出版年月日等: [2016]
• 出版年（W3CDTF）: 2016
• 数量: 220 pages
• 形態の詳細: illustrations
• 大きさ: 28 cm
• その他のタイトル: 2016 spring simulation multi-conference : SpringSim 2016 : TMS conference : SpringSim-TMS/DEVS 2016 : SpringSim-TMSDEVS 2016 : SpringSim=TMS/DEVS 2016 : Apr 2016, Pasadena, CA.
• 出版地（国名コード）: US
• 本文の言語コード: eng
• ジャンル・形式用語: Conference papers and proceedings.
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Computer simulation--Congresses.; Digital computer simulation--Congresses.; Computer simulation.; Digital computer simulation.
• LCC: QA76.9.C65
• NDLC: M17
• 対象利用者: 一般
• 対象利用者に関する注記: Scholarly & Professional
• 一般注記: Papers.; "This year's conference consists of the following seven symposia: Agent-Directed Simulation Symposium ... Annual Simulation Symposium ... Communications and Networking Symposium ... High Performance Computing Symposium ... Symposium on Modeling and Simulation in Medicine ... Symposium on Theory of Modeling and Simulation ... and a new symposium for Spring Sim'16-- ..."--Welcome from the SpringSim'16 conference chairs.; IEEE catalog number CFP16TMS-POD.
• 資料の内容に関する注記: The purpose of this symposium is to provide a forum to discuss recent advancements in Modeling and Simulation (MS) Theory The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges The Symposium bridges different areas in the field of theory of M&S, including formal modeling, model checking, graph transformation, modeling methodologies.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-19-342
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 028605746; http://id.ndl.go.jp/bib/028605746
• 目録規則: RDA
• 整理区分コード: 215