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.
A primer on scientific programming with Python / Hans Petter Langtangen
| A primer on scientific programming with Python / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Edizione | [5. ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2016 |
| Descrizione fisica | XXXI, 922 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
26-XX - Real functions [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 34A30 - Linear ordinary differential equations and systems, general [MSC 2020] 92D25 - Population dynamics (general) [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65D30 - Numerical integration [MSC 2020] 97-XX - Mathematics education [MSC 2020] 34A34 - Nonlinear ordinary differential equations and systems, general theory [MSC 2020] 68Nxx - Theory of software [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] 65D25 - Numerical differentiation [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114257 |
Langtangen, Hans P.
|
||
| Berlin ; Heidelberg, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A primer on scientific programming with Python / Hans Petter Langtangen
| A primer on scientific programming with Python / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Edizione | [5. ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2016 |
| Descrizione fisica | XXXI, 922 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
26-XX - Real functions [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 34A30 - Linear ordinary differential equations and systems, general [MSC 2020] 92D25 - Population dynamics (general) [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65D30 - Numerical integration [MSC 2020] 97-XX - Mathematics education [MSC 2020] 34A34 - Nonlinear ordinary differential equations and systems, general theory [MSC 2020] 68Nxx - Theory of software [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] 65D25 - Numerical differentiation [MSC 2020] |
| Soggetto non controllato |
Monte-Carlo Simulation
Numerical calculus Numerical methods Object-oriented programming Ordinary differential equations Python programming Vectorization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114257 |
|
Langtangen, Hans P.
|
||
| Berlin ; Heidelberg, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A primer on scientific programming with Python / Hans Petter Langtangen
| A primer on scientific programming with Python / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Edizione | [5. ed] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2016 |
| Descrizione fisica | XXXI, 922 p. : ill. ; 24 cm |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] 34A30 - Linear ordinary differential equations and systems, general [MSC 2020] 34A34 - Nonlinear ordinary differential equations and systems, general theory [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 65D15 - Algorithms for approximation of functions [MSC 2020] 65D25 - Numerical differentiation [MSC 2020] 65D30 - Numerical integration [MSC 2020] 68-XX - Computer science [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68Nxx - Theory of software [MSC 2020] 70-XX - Mechanics of particles and systems [MSC 2020] 92D25 - Population dynamics (general) [MSC 2020] 97-XX - Mathematics education [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Monte-Carlo Simulation
Numerical calculus Numerical methods Object-oriented programming Ordinary differential equations Python programming Vectorization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114257 |
|
Langtangen, Hans P.
|
||
| Berlin ; Heidelberg, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther
| Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther |
| Autore | Günther, Michael |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2015 |
| Descrizione fisica | XVII, 565 p. : ill. ; 24 cm |
| Soggetto topico |
65L80 - Numerical methods for differential-algebraic equations [MSC 2020]
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020] 65M20 - Method of lines for initial value and initial-boundary value problems involving PDEs [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 78M34 - Model reduction in optics and electromagnetic theory [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Computational science
Mathematics in industry Microelectronics Model order reduction Multi-scale simulation Nanoelectronics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113940 |
|
Günther, Michael
|
||
| Berlin ; Heidelberg, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther
| Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther |
| Autore | Günther, Michael |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2015 |
| Descrizione fisica | XVII, 565 p. : ill. ; 24 cm |
| Soggetto topico |
65L80 - Numerical methods for differential-algebraic equations [MSC 2020]
65M20 - Method of lines for initial value and initial-boundary value problems involving PDEs [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 78M34 - Model reduction in optics and electromagnetic theory [MSC 2020] 93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Computational science
Mathematics in industry Microelectronics Model order reduction Multi-scale simulation Nanoelectronics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113940 |
|
Günther, Michael
|
||
| Berlin ; Heidelberg, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther
| Coupled multiscale simulation and optimization in nanoelectronics / Michael Günther |
| Autore | Günther, Michael |
| Edizione | [Berlin] |
| Pubbl/distr/stampa | XVII, 565 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
65L80 - Numerical methods for differential-algebraic equations [MSC 2020]
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020] 65M20 - Method of lines for initial value and initial-boundary value problems involving PDEs [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 78M34 - Model reduction in optics and electromagnetic theory [MSC 2020] 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113940 |
|
Günther, Michael
|
||
| XVII, 565 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of Floating-Point Arithmetic / Jean-Michel Muller ... [et al.]
| Handbook of Floating-Point Arithmetic / Jean-Michel Muller ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xxv, 627 p. : ill. ; 24 cm |
| Soggetto topico |
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124734 |
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of Floating-Point Arithmetic / Jean-Michel Muller ... [et al.]
| Handbook of Floating-Point Arithmetic / Jean-Michel Muller ... [et al.] |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xxv, 627 p. : ill. ; 24 cm |
| Soggetto topico |
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Elementary Functions Fast2Sum and 2Sum Algorithms Floating-Point Arithmetic Floating-Point Operators Fused Multiply-Add Instruction IEEE 754-2008 Standard |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124734 |
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
(21)
- 68-XX - Computer science [MSC 2020] (12)
- 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] (11)
- 26-XX - Real functions [MSC 2020] (8)
- 34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] (8)