|
|
|
|
| LEADER |
02960nam a22006017a 4500 |
| 003 |
AR-BaUEN |
| 005 |
20230605195420.0 |
| 008 |
230602s2019 xxkad||f |||| 001 0 eng d |
| 020 |
|
|
|a 9780128133705
|
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 044 |
|
|
|a xxk
|
| 080 |
|
|
|a 004.942
|b Z46d
|
| 100 |
1 |
|
|a Zeigler, Bernard P.
|
| 245 |
1 |
|
|a Theory of modeling and simulation :
|b discrete event and iterative system computational foundations /
|c Bernard P. Zeigler, Alexander Muzy, Ernesto Kofman
|
| 250 |
|
|
|a 3rd ed.
|
| 260 |
|
|
|a London :
|b Academic Press,
|c c2019
|
| 300 |
|
|
|a xxiv, 667 p. :
|b il., gráfs.
|
| 504 |
|
|
|a Índice analítico de materias.
|
| 505 |
0 |
0 |
|g Part 1
|t Basics: Modeling formalisms and simulation algorithms
|
| 505 |
0 |
0 |
|g Chapter 1
|t Introduction to systems modeling concepts
|
| 505 |
0 |
0 |
|g Chapter 2
|t Framework for modeling simulation
|
| 505 |
0 |
0 |
|g Chapter 3
|t Modeling formalisms and their simulation
|
| 505 |
0 |
0 |
|g Chapter 4
|t Introduction to discrete event system specification (DEVS)
|
| 505 |
0 |
0 |
|g Chapter 5
|t Hierarchy of system specification
|
| 505 |
0 |
0 |
|g Chapter 6
|t Basic formalisms: DEVS, DESS, DTSS
|
| 505 |
0 |
0 |
|g Chapter 7
|t Basic formalisms: coupled multi-component systems
|
| 505 |
0 |
0 |
|g Chapter 8
|t Simulators for basic formalisms
|
| 505 |
0 |
0 |
|g Chapter 9
|t Multi-formalism modeling and simulation
|
| 505 |
0 |
0 |
|g Part 2
|t Iterative system specification
|
| 505 |
0 |
0 |
|g Chapter 10
|t Introduction to iterative system specification
|
| 505 |
0 |
0 |
|g Chapter 11
|t Basic iterative system specification (IterSpec)
|
| 505 |
0 |
0 |
|g Chapter 12
|t Iterative specification subformalisms
|
| 505 |
0 |
0 |
|g Chapter 13
|t Finite and timed iterative specification and simulations
|
| 505 |
0 |
0 |
|g Part 3
|t System morphisms: abstraction, representation, approximation
|
| 505 |
0 |
0 |
|g Chapter 14
|t Parallel and distributed discrete event simulation
|
| 505 |
0 |
0 |
|g Chapter 15
|t Hierarchy of system morphisms
|
| 505 |
0 |
0 |
|g Chapter 16
|t Abstraction: constructing mode families
|
| 505 |
0 |
0 |
|g Chapter 17
|t Verification, validation, approximate morphisms: living with error
|
| 505 |
0 |
0 |
|g Chapter 18
|t DEVS and DEVS-like systems: university and uniqueness
|
| 505 |
0 |
0 |
|g Chapter 19
|t Quantization-based simulation of continuous time syste,s
|
| 505 |
0 |
0 |
|g Chapter 20
|t DEVS representation of iteratively specified systems
|
| 505 |
0 |
0 |
|g Part 4
|t Enhanced devs formalisms
|
| 505 |
0 |
0 |
|g Chapter 21
|t DEVS Markov modeling and simulation
|
| 505 |
0 |
0 |
|g Chapter 22
|t DEVS Markov model lumping
|
| 505 |
0 |
0 |
|g Chapter 23
|t Spiking neuron modeling-iterative specification
|
| 505 |
0 |
0 |
|g Chapter 24
|t Open research problems: systems dynamics, complex systems
|
| 650 |
1 |
7 |
|2 tesamat
|a METODOS DE SIMULACION
|
| 650 |
1 |
7 |
|2 spines
|a ITERACION
|
| 653 |
1 |
0 |
|a SIMULACION DE EVENTOS DISCRETOS
|
| 700 |
1 |
|
|a Muzy, Alexandre
|
| 700 |
1 |
|
|a Kofman, Ernesto
|
| 962 |
|
|
|a info:ar-repo/semantics/libro
|a info:eu-repo/semantics/book
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 99385
|