close
1.

図書

図書
editor-in-chef, William (Bill) E. Lee
出版情報: London : Imperial College Press, c2011-
所蔵情報: loading…
2.

図書

図書
ASME-JSME Thermal Engineering Joint Conference ; American Society of Mechanical Engineers
出版情報: New York, N.Y. : ASME, c2011  4 v. ; 28 cm
所蔵情報: loading…
3.

図書

図書
editor-in-chief, David L. Andrews, Gregory D. Scholes, Gary P. Wiederrecht
出版情報: London : Academic Press, c2011  5 v. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Nanomaterials / Volume 1:
Biological Nanoscience / Volume 2:
Nanostructured Surfaces / Volume 3:
Nanofabrication and Devices / Volume 4:
Self Assembly and Nanochemistry / Volume 5:
Nanomaterials / Volume 1:
Biological Nanoscience / Volume 2:
Nanostructured Surfaces / Volume 3:
4.

図書

図書
edited by Elina Kahla
出版情報: [Helsinki] : [Aleksanteri Institute], 2011 printing  338 p. ; 21 cm
シリーズ名: Aleksanteri series ; 1/2011
所蔵情報: loading…
5.

図書

図書
edited by Brian S. Everitt and Christopher R. Palmer ; with a foreword by Richard Horton
出版情報: West Sussex : Wiley, 2011  xxii, 491 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Biographical Information on the Editors
List of Contributors
Abbreviations and Acronyms
The Encyclopaedic Companion to Medical Statistics
Foreword
Preface
Biographical Information on the Editors
6.

図書

図書
にほんごの会編集
出版情報: 東京 : 新潮社, 2011.3  14, 1103p ; 20cm
所蔵情報: loading…
7.

図書

図書
田中実監修
出版情報: 東京 : 小学館, 2011.6  xvi, 44, 931p ; 21cm
所蔵情報: loading…
8.

図書

図書
牧野高吉編著
出版情報: 東京 : 東京堂出版, 2011.9  459p ; 19cm
所蔵情報: loading…
9.

図書

図書
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:
10.

図書

図書
Roger Pulvers
出版情報: Tokyo : Japan Publishing Industry Foundation for Culture, c2011, 2015  xiii, 233 p. ; 22 cm
シリーズ名: Japan library
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼