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.
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
| Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards |
| Autore | Pour-El, Marian B. |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1989 |
| Descrizione fisica | X, 206 p. : ill. ; 25 cm. |
| Altri autori (Persone) | Richards, Jonathan I. |
| Soggetto topico |
03D80 - Applications of computability and recursion theory [MSC 2020]
03F60 - Constructive and recursive analysis [MSC 2020] |
| ISBN |
35-405-0035-9
978-03-87500-35-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0022181 |
Pour-El, Marian B.
|
||
| Berlin, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
| Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards |
| Autore | Pour-El, Marian B. |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1989 |
| Descrizione fisica | X, 206 p. : ill. ; 25 cm |
| Altri autori (Persone) | Richards, Jonathan I. |
| Soggetto topico |
03D80 - Applications of computability and recursion theory [MSC 2020]
03F60 - Constructive and recursive analysis [MSC 2020] |
| ISBN |
35-405-0035-9
978-03-87500-35-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0022181 |
|
Pour-El, Marian B.
|
||
| Berlin, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards
| Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards |
| Autore | Pour-El, Marian B. |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, 1989 |
| Descrizione fisica | X, 206 p. : ill. ; 25 cm |
| Altri autori (Persone) | Richards, Jonathan I. |
| Soggetto topico |
03D80 - Applications of computability and recursion theory [MSC 2020]
03F60 - Constructive and recursive analysis [MSC 2020] |
| ISBN |
35-405-0035-9
978-03-87500-35-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00022181 |
|
Pour-El, Marian B.
|
||
| Berlin, : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Analysis / E. Bishop, D. Bridges
| Constructive Analysis / E. Bishop, D. Bridges |
| Autore | Bishop, Errett |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | xii, 477 p. ; 24 cm |
| Altri autori (Persone) | Bridges, Douglas S. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
28-XX - Measure and integration [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 03F60 - Constructive and recursive analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] |
| Soggetto non controllato |
Analysis
Banach algebra Boundary Element Methods Constructive mathematics Convolution Hilbert spaces Set Theory Sets Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263476 |
|
Bishop, Errett
|
||
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Analysis / E. Bishop, D. Bridges
| Constructive Analysis / E. Bishop, D. Bridges |
| Autore | Bishop, Errett |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | xii, 477 p. ; 24 cm |
| Altri autori (Persone) | Bridges, Douglas S. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F60 - Constructive and recursive analysis [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 28-XX - Measure and integration [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] |
| Soggetto non controllato |
Analysis
Banach algebra Boundary Element Methods Constructive mathematics Convolution Hilbert spaces Set Theory Sets Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263476 |
|
Bishop, Errett
|
||
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita
| Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 2006 |
| Descrizione fisica | XVI, 213 p. ; 24 cm. |
| Altri autori (Persone) | Vita, Luminita Simona |
| Soggetto topico |
03F60 - Constructive and recursive analysis [MSC 2020]
26E40 - Constructive real analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] 47S30 - Constructive operator theory [MSC 2020] |
| ISBN | 03-87336-46-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0065559 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita
| Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 2006 |
| Descrizione fisica | XVI, 213 p. ; 24 cm |
| Altri autori (Persone) | Vita, Luminita Simona |
| Soggetto topico |
03F60 - Constructive and recursive analysis [MSC 2020]
26E40 - Constructive real analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] 47S30 - Constructive operator theory [MSC 2020] |
| ISBN | 978-03-87336-46-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0065559 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita
| Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 2006 |
| Descrizione fisica | XVI, 213 p. ; 24 cm |
| Altri autori (Persone) | Vita, Luminita Simona |
| Soggetto topico |
03F60 - Constructive and recursive analysis [MSC 2020]
26E40 - Constructive real analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] 47S30 - Constructive operator theory [MSC 2020] |
| ISBN | 978-03-87336-46-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0065559 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita
| Techniques of constructive analysis / Douglas D. Bridges and Luminita Simona Vita |
| Autore | Bridges, Douglas S. |
| Pubbl/distr/stampa | New York, : Springer, 2006 |
| Descrizione fisica | XVI, 213 p. ; 24 cm |
| Altri autori (Persone) | Vita, Luminita Simona |
| Soggetto topico |
03F60 - Constructive and recursive analysis [MSC 2020]
26E40 - Constructive real analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] 47S30 - Constructive operator theory [MSC 2020] |
| ISBN | 978-03-87336-46-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00065559 |
|
Bridges, Douglas S.
|
||
| New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
