close
1.

図書

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

図書

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

図書

図書
Roger Pulvers
出版情報: Tokyo : Japan Publishing Industry Foundation for Culture, c2011, 2015  xiii, 233 p. ; 22 cm
シリーズ名: Japan library
所蔵情報: loading…
4.

図書

図書
Olivier L. de Weck, Daniel Roos, and Christopher L. Magee ; foreword by Charles M. Vest
出版情報: Cambridge, Mass. : MIT Press, c2011  xvi, 213 p. ; 24 cm
シリーズ名: Engineering systems series / Joel Moses(Chair), Richard de Neufville ... [et al.]
所蔵情報: loading…
目次情報: 続きを見る
Series Foreword
Foreword / Charles M. Vest
Preface
From Inventions to Systems / 1:
What Is an Engineering System? / 2:
(Re)Thinking about Systems / 3:
Life-Cycle Properties of Engineering Systems: The Ilities / 4:
Modeling and Analyzing Engineering Systems / 5:
Partially Designed, Partially Evolved / 6:
Engineering Systems Research and Education / 7:
What the Future Holds / 8:
Appendix: Engineering Systems Terms and Definitions
Notes
Index
Series Foreword
Foreword / Charles M. Vest
Preface
5.

図書

図書
Ryan Benedetti, Ronan Cranley
出版情報: Sebastopol, CA : O'Reilly, 2011  xxxvi, 500 p. ; 24 cm
シリーズ名: The head first series
所蔵情報: loading…
6.

図書

図書
出版情報: Memphis, U.S. : Books LLC, 2011  26 p. ; 25 cm
シリーズ名: Wiki series
所蔵情報: loading…
7.

図書

図書
Robert J. Chapman
出版情報: Chichester : John Wiley & Sons, 2011  xxxiii, 637 p. ; 26 cm
所蔵情報: loading…
8.

図書

図書
editor, David J. Hart
出版情報: Singapore : World Scientific, c2011  x, 578 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / Chapter 1:
Steroids / Chapter 2:
Prostaglandins / Chapter 3:
Pyrrolizidine Alkaloids / Chapter 4:
Juvabione and the Vicinal Stereochemistry Problem / Chapter 5:
Functional Group Reactivity Patterns and Difunctional Relationships / Chapter 6:
Some Unnatural Products - Twistane and Triquinacene / Chapter 7:
Alkaloids - Difunctional Relationships and the Importance of the Mannich Reaction / Chapter 8:
Alkaloids from "Dart-Poison" Frogs / Chapter 9:
Morphine and Oxidative Phenolic Coupling / Chapter 10:
Olefin Synthesis and Cecropia Juvenile Hormone / Chapter 11:
A Recent Example of Structure Determination Through Total Synthesis and Convergent Syntheses: Lasonolide A / Chapter 12:
Ionophores: Calcimycin / Chapter 13:
Erythromycin A Aglycone / Chapter 14:
Concluding Remarks
Index
Preface
Introduction / Chapter 1:
Steroids / Chapter 2:
9.

図書

図書
Joseph Holden
出版情報: Abingdon, Oxon : Routledge, 2011  vii, 167 p. ; 21 cm
シリーズ名: The basics
所蔵情報: loading…
10.

図書

図書
John W. Campbell
出版情報: London : Gollancz, 2011  xii, 244 p. ; 20 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼