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

• Material Type: 図書
• ISBN: 9781538618561 (print-on-demand)
• Title: 2016 symposium on theory of modeling and simulation : (TMS-DEVS 2016) : Pasadena, California, USA : 3-6 April 2016.
• Author Heading: 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.)
• Publication, Distribution, etc.: Piscataway, NJ : IEEE (出版)
• Publication Date: [2016]
• Publication Date (W3CDTF): 2016
• Extent: 220 pages
• Other physical details: illustrations
• Size: 28 cm
• Additional Title: 2016 spring simulation multi-conference : SpringSim 2016 : TMS conference : SpringSim-TMS/DEVS 2016 : SpringSim-TMSDEVS 2016 : SpringSim=TMS/DEVS 2016 : Apr 2016, Pasadena, CA.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Genre/Form Terms: Conference papers and proceedings.
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Computer simulation--Congresses.; Digital computer simulation--Congresses.; Computer simulation.; Digital computer simulation.
• LCC: QA76.9.C65
• NDLC: M17
• Target Audience: 一般
• Note (Target Audience): Scholarly & Professional
• Note (General): 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.
• Note (Content): 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.
• Note (Bibliography): Includes bibliographical references and author index.
• Holding library: 国立国会図書館
• Call No.: M17-19-342
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 028605746; http://id.ndl.go.jp/bib/028605746
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215