top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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 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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Index analysis : approach theory at work / R. Lowen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Index analysis : approach theory at work / R. Lowen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Index analysis : approach theory at work / R. Lowen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Programming for computations - Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Programming for computations-Python : a gentle introduction to numerical simulations with Python / Svein Linge, Hans Petter Langtangen
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  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui