Info
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
| A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| Autore | Mendoza Cervantes Francisco |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
| Descrizione fisica | 1 online resource (X, 168 p. p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
Modeling and Simulation
System Level Design Virtual Prototyping |
| ISBN | 1000038209 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911115401003321 |
Mendoza Cervantes Francisco
|
||
| KIT Scientific Publishing, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in ceramic materials and processing / Bowen Li ... [et al.] editors
| Advances in ceramic materials and processing / Bowen Li ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2025 |
| Descrizione fisica | XVII, 236 p. ; 24 cm |
| Soggetto non controllato |
Aluminum
Characterization Environmental Effects Extraction and Processing Materials Synthesis and Processing Modeling and Simulation Process Technology Sustainability |
| ISBN | 978-30-318-0666-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00307889 |
| Cham, : Springer, 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Differential Equations, Mathematical Modeling and Computational Algorithms : DEMMCA 2021, Belgorod, Russia, October 25–29 / Vladimir Vasilyev editor
| Differential Equations, Mathematical Modeling and Computational Algorithms : DEMMCA 2021, Belgorod, Russia, October 25–29 / Vladimir Vasilyev editor |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | viii, 298 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 35-XX - Partial differential equations [MSC 2020] 65-XX - Numerical analysis [MSC 2020] |
| Soggetto non controllato |
Boundary value problem
Differential equations Modeling and Simulation Numerical methods Solvability conditions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00278780 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Particle Modeling / Donald Greenspan
| Particle Modeling / Donald Greenspan |
| Autore | Greenspan, Donald |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 1997 |
| Descrizione fisica | ix, 274 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] |
| Soggetto non controllato |
Calculation
Derivation Equations Mathematical Modeling Modeling Modeling and Simulation Models Science Modeling Simulation |
| ISBN | 978-08-17-63985-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00082270 |
|
Greenspan, Donald
|
||
| Boston [etc.], : Birkhäuser, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Particle Modeling / Donald Greenspan
| Particle Modeling / Donald Greenspan |
| Autore | Greenspan, Donald |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 1997 |
| Descrizione fisica | ix, 274 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] |
| Soggetto non controllato |
Calculation
Derivation Equations Mathematical Modeling Modeling Modeling and Simulation Models Science Modeling Simulation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297291 |
|
Greenspan, Donald
|
||
| Boston [etc.], : Birkhäuser, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.]
| Pyomo - Optimization Modeling in Python / Michael L. Bynum ... [et al.] |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xvii, 225 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C90 - Applications of mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic Modeling Languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and Simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275136 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.]
| Pyomo - Optimization Modeling in Python / William E. Hart ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xviii, 277 p. : ill. ; 24 cm |
| Soggetto topico |
00A71 - General theory of mathematical modeling [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C90 - Applications of mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebraic Modeling Languages
Hybrid optimization Mathematical modeling tool Matplotlib Modeling and Simulation NumPy PySP Pyomo modeling library Pyomo tutorial Python data Python optimization Python script SciPy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123512 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||