Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Sustained simulation performance 2015 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2015 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2015 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2015 / Michael M. Resch ... [et al.] editors |
| Edizione | [[Cham] : Springer, 2015] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
76-XX - Fluid mechanics [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 86A10 - Meteorology and atmospheric physics [MSC 2020] 68W10 - Parallel algorithms in computer science [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113668 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
|
Sustained simulation performance 2016 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2016 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / Michael M. Resch ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Springer, 2016 |
| Descrizione fisica | VIII, 193 p. : ill. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
76-XX - Fluid mechanics [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 86A10 - Meteorology and atmospheric physics [MSC 2020] 68W10 - Parallel algorithms in computer science [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Soggetto non controllato |
Computational engineering
Computational science High Performance Computing Multiscale multiphysics problems Simulation and Modeling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0115405 |
| [Cham], : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sustained simulation performance 2016 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2016 : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / Michael M. Resch ... [et al.] editors |
| Edizione | [[Cham] : Springer, 2016] |
| Pubbl/distr/stampa | VIII, 193 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
76-XX - Fluid mechanics [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 86A10 - Meteorology and atmospheric physics [MSC 2020] 68W10 - Parallel algorithms in computer science [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0115405 |
| VIII, 193 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sustained simulation performance 2016 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2016 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 / Michael M. Resch ... [et al.] editors |
| Edizione | [Cham : Springer, 2017] |
| Pubbl/distr/stampa | viii, 192 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 76-XX - Fluid mechanics [MSC 2020] 65Exx - Numerical methods in complex analysis (potential theory, etc.) [MSC 2020] 92-XX - Biology and other natural sciences [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 76Mxx - Basic methods in fluid mechanics [MSC 2020] 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 76Fxx - Turbulence [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] 70Gxx - General models, approaches, and methods [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124103 |
| viii, 192 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sustained simulation performance 2017 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2017 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017 / Michael M. Resch ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | viii, 192 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 76-XX - Fluid mechanics [MSC 2020] 65Exx - Numerical methods in complex analysis (potential theory, etc.) [MSC 2020] 92-XX - Biology and other natural sciences [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 76Mxx - Basic methods in fluid mechanics [MSC 2020] 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 76Fxx - Turbulence [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] 70Gxx - General models, approaches, and methods [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Soggetto non controllato |
Computational engineering
Computational science High Performance Computing Multiscale multiphysics problems Simulation and Modeling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124103 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sustained simulation performance 2018 and 2019 : Proceedings of the Joint Workshops on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2018 and 2019 / Michael M. Resch ... [et al.] editors
| Sustained simulation performance 2018 and 2019 : Proceedings of the Joint Workshops on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2018 and 2019 / Michael M. Resch ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | viii, 234 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 76-XX - Fluid mechanics [MSC 2020] 65Exx - Numerical methods in complex analysis (potential theory, etc.) [MSC 2020] 92-XX - Biology and other natural sciences [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 76Mxx - Basic methods in fluid mechanics [MSC 2020] 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 76Fxx - Turbulence [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] 70Gxx - General models, approaches, and methods [MSC 2020] 92Cxx - Physiological, cellular and medical topics [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] 68Mxx - Computer system organization [MSC 2020] |
| Soggetto non controllato |
Computational engineering
Computational science High Performance Computing Multi-Scale multi-Physics problems Simulation and Modeling |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249887 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm. |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
| Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase |
| Pubbl/distr/stampa | Natick, : Peters, 2001 |
| Descrizione fisica | XI, 270 p. : ill. ; 23 cm |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 15-688-1145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055603 |
| Natick, : Peters, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Computation of Fixed Points and Applications / Michael J. Todd
| The Computation of Fixed Points and Applications / Michael J. Todd |
| Autore | Todd, Michael J. |
| Pubbl/distr/stampa | Berlin, : Springer, 1976 |
| Descrizione fisica | vii, 129 p. ; 24 cm |
| Soggetto topico |
54-XX - General topology [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 55M20 - Fixed-points and coincidences in algebraic topology [MSC 2020] 54C60 - Set-valued maps in general topology [MSC 2020] 54H25 - Fixed-point and coincidence theorems (topological aspects) [MSC 2020] 54C05 - Continuous maps [MSC 2020] 91B60 - Trade models [MSC 2020] |
| Soggetto non controllato |
Computation
Economic growth Economics Game Theory Invariants |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0257609 |
Todd, Michael J.
|
||
| Berlin, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
