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 |
65Yxx - Computer aspects of numerical algorithms [MSC 2020]
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [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-VAN00124734 |
Cham, : Birkhäuser, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Index analysis : approach theory at work / R. Lowen |
Autore | Lowen, Robert |
Pubbl/distr/stampa | London, : Springer, 2015 |
Descrizione fisica | XXI, 466 p. : ill. ; 24 cm |
Soggetto topico |
54-XX - General topology [MSC 2020]
60B10 - Convergence of probability measures [MSC 2020] 46B04 - Isometric theory of Banach spaces [MSC 2020] 06B35 - Continuous lattices and posets, applications [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 54Exx - Topological spaces with richer structures [MSC 2020] 06D22 - Frames, locales [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
Soggetto non controllato |
Approach Space
Ascoli Theorem Asymptotic Center Asymptotic Radius Completion Contraction Dini’s Theorem Distance Index Limit Operator Measure of Non-Compactness Metric Metric spaces Opial’s Condition Proximity Topological spaces Topology Uniform Gauge Space Uniform Spaces Uniformity |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113093 |
Lowen, Robert
![]() |
||
London, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Index analysis : approach theory at work / R. Lowen |
Autore | Lowen, Robert |
Pubbl/distr/stampa | London, : Springer, 2015 |
Descrizione fisica | XXI, 466 p. : ill. ; 24 cm |
Soggetto topico |
06B35 - Continuous lattices and posets, applications [MSC 2020]
06D22 - Frames, locales [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 46B04 - Isometric theory of Banach spaces [MSC 2020] 54-XX - General topology [MSC 2020] 54Exx - Topological spaces with richer structures [MSC 2020] 60B10 - Convergence of probability measures [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
Soggetto non controllato |
Approach Space
Ascoli Theorem Asymptotic Center Asymptotic Radius Completion Contraction Dini’s Theorem Distance Index Limit Operator Measure of Non-Compactness Metric Metric spaces Opial’s Condition Proximity Topological spaces Topology Uniform Gauge Space Uniform Spaces Uniformity |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00113093 |
Lowen, Robert
![]() |
||
London, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Index analysis : approach theory at work / R. Lowen |
Autore | Lowen, Robert |
Edizione | [London : Springer, 2015] |
Pubbl/distr/stampa | XXI, 466 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
54-XX - General topology [MSC 2020]
60B10 - Convergence of probability measures [MSC 2020] 46B04 - Isometric theory of Banach spaces [MSC 2020] 06B35 - Continuous lattices and posets, applications [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 54Exx - Topological spaces with richer structures [MSC 2020] 06D22 - Frames, locales [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0113093 |
Lowen, Robert
![]() |
||
XXI, 466 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen |
Autore | Linge, Svein |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 332 p. : ill. ; 24 cm |
Altri autori (Persone) | Langtangen, Hans P. |
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 |
Differential equations
Numerical methods Programming Python Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249665 |
Linge, Svein
![]() |
||
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen |
Autore | Linge, Svein |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 332 p. : ill. ; 24 cm |
Altri autori (Persone) | Langtangen, Hans P. |
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 |
Differential equations
Numerical methods Programming Python Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249665 |
Linge, Svein
![]() |
||
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen |
Autore | Linge, Svein |
Pubbl/distr/stampa | Heidelberg, : Springer, 2016 - XVI, 232 p., : ill. ; 24 cm |
Altri autori (Persone) | Langtangen, Hans P. |
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 |
Differential equations
Numerical methods Programming Python Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0115282 |
Linge, Svein
![]() |
||
Heidelberg, : Springer, 2016 - XVI, 232 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen |
Autore | Linge, Svein |
Pubbl/distr/stampa | Heidelberg, : Springer, 2016 - XVI, 232 p., : ill. ; 24 cm |
Altri autori (Persone) | Langtangen, Hans P. |
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 |
Differential equations
Numerical methods Programming Python Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00115282 |
Linge, Svein
![]() |
||
Heidelberg, : Springer, 2016 - XVI, 232 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Programming for computations-Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen |
Autore | Linge, Svein |
Edizione | [Heidelberg : Springer, 2016 - XVI, 232 p. : ill.] |
Descrizione fisica | Accesso al full text attraverso riconoscimento indirizzo IP di Ateneo. |
Altri autori (Persone) | Langtangen, Hans P. |
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-SUN0115282 |
Linge, Svein
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna |
Autore | Bradley, Aaron R. |
Pubbl/distr/stampa | Berlin, : Springer, 2007 |
Descrizione fisica | XV, 366 p. : ill. ; 25 cm |
Altri autori (Persone) | Manna, Zohar |
Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
Soggetto non controllato |
Algorithm Analysis
Algorithms Artificial Intelligence Computer Data structure Formal method Learning Logic Problem complexity Verification |
ISBN | 978-35-407-4112-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0250684 |
Bradley, Aaron R.
![]() |
||
Berlin, : Springer, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|