close
1.

図書

図書
Jeremiah James ... [et al.]
出版情報: Berlin : De Gruyter, c2011  xii, 309 p. ; 25 cm
所蔵情報: loading…
2.

図書

図書
Michael R. Lemov
出版情報: Madison [N.J.] : Fairleigh Dickinson University Press , Lanham, Md. : Rowman & Littlefield, c2011  xxi, 237 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
edited by Gabriel A. Wainer, Pieter J. Mosterman
出版情報: Boca Raton, FL : CRC Press, c2011  xxiii, 510 p. ; 25 cm
シリーズ名: Computational analysis, synthesis, and design of dynamic systems series / series editor, Pieter J. Mosterman
所蔵情報: loading…
目次情報: 続きを見る
Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler
Contributors
Theory / Section I:
DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1:
System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiáChapter 2:
A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3:
Continuous System Simulation and Control / Ernesto Kofman ; François E. Cellier ; Gustavo MigoniChapter 4:
Methodology and Tools / Section II:
Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5:
Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6:
Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7:
A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8:
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9:
From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10:
Applications / Section III:
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11:
Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12:
Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13:
Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14:
Standardization / Section IV:
DEVS Standardization: Foundations and Trends / Khaldoon Al-Zoubi ; Olivier Dalle ; Saurabh Mittal ; José L. Risco Martín ; Hessam Sarjoughian ; Luc Touraille ; Mamadou K. TraoréChapter 15:
An Introduction to DEVS Standardization / Chapter 16:
Standardizing DEVS Model Representation / Chapter 17:
Standardizing DEVS Simulation Middleware / Chapter 18:
Index
Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler
Contributors
Theory / Section I:
4.

図書

図書
edited by Bernd Hüppauf and Peter Weingart
出版情報: New York : Routledge, 2011, c2008  xi, 333 p. ; 23 cm
シリーズ名: Routledge studies in science, technology, and society ; 8
所蔵情報: loading…
5.

図書

図書
by Ian Guch
出版情報: New York : Alpha, a member of Penguin Random House LLC, c2011  xviii, 396 p. ; 24 cm
所蔵情報: loading…
6.

図書

図書
小熊英二著
出版情報: 東京 : 毎日新聞社, 2011.3-  冊 ; 20cm
所蔵情報: loading…
7.

図書

図書
Domenico Pennucci, Timothy J. Sullivan, Gian Michele Calvi
出版情報: Pavia : IUSS Press : Fondazione Eucentre, 2011  xxviii, 319 p. ; 24 cm
シリーズ名: Research report Rose ; 2011/02
所蔵情報: loading…
8.

図書

図書
by Edward C. Rosenthal
出版情報: New York : Alpha, a member of Penguin Group (USA), c2011  xv, 362 p. ; 24 cm
シリーズ名: The complete idiot's guide to
所蔵情報: loading…
9.

図書

図書
David Buden
出版情報: Lakewood, Co : Polaris Books, 2011  ii, 139 p. ; 28 cm
シリーズ名: Space nuclear propulsion and power ; book 2
所蔵情報: loading…
10.

図書

図書
北原保雄著
出版情報: 東京 : 勉誠出版, 2011-
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼