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.
Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges
| Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges |
| Pubbl/distr/stampa | Berlin, : Springer, 1972 |
| Descrizione fisica | vi, 351 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Calculus Finite Functions Identity Logic Mathematical logic Ordinals Set Theory Theorem |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255495 |
| Berlin, : Springer, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Conference on Group Theory : University of Wisconsin-Parkside 1972 / edited by R. W. Gatterdam and K. W. Weston
| Conference on Group Theory : University of Wisconsin-Parkside 1972 / edited by R. W. Gatterdam and K. W. Weston |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | 188 p. ; 24 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Abelian groups
Algebra Finite Group theory Groups Morphism Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255811 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Conference on the Numerical Solution of Differential Equations : Dundee 1973 / Edited by G. A. Watson
| Conference on the Numerical Solution of Differential Equations : Dundee 1973 / Edited by G. A. Watson |
| Autore | Watson, G. Alistair |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 221 p. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Algebra
Boundary Value Problems Differential equations Equations Finite Functions Geometry Ordinary differential equations Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255995 |
Watson, G. Alistair
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 350 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein
| Degrees of Unsolvability : Structure and Theory / Richard L. Epstein |
| Autore | Epstein, Richard L. |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 246 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| Soggetto non controllato |
Decidability
Degree of insolubility Finite Homogenization Lattices Operator Turing degree |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261121 |
|
Epstein, Richard L.
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dirichlet integrals on harmonic spaces / Fumi-Yuki Maeda
| Dirichlet integrals on harmonic spaces / Fumi-Yuki Maeda |
| Autore | Maeda, Fumi Y. |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 178 p. ; 25 cm |
| Soggetto topico |
31-XX - Potential theory [MSC 2020]
31Dxx - Axiomatic potential theory [MSC 2020] |
| Soggetto non controllato |
Dirichlet's integrals
Finite Functions Harmonic Spaces Integrals Shapes |
| ISBN | 978-35-400-9995-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054485 |
|
Maeda, Fumi Y.
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dirichlet integrals on harmonic spaces / Fumi-Yuki Maeda
| Dirichlet integrals on harmonic spaces / Fumi-Yuki Maeda |
| Autore | Maeda, Fumi Y. |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 178 p. ; 24 cm |
| Soggetto topico |
31-XX - Potential theory [MSC 2020]
31Dxx - Axiomatic potential theory [MSC 2020] |
| Soggetto non controllato |
Dirichlet's integrals
Finite Functions Harmonic Spaces Integrals Shapes |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261550 |
|
Maeda, Fumi Y.
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dirichlet Series and Automorphic Forms : Lezioni Fermiane / André Weil
| Dirichlet Series and Automorphic Forms : Lezioni Fermiane / André Weil |
| Autore | Weil, André |
| Pubbl/distr/stampa | Berlin, : Springer, 1971 |
| Descrizione fisica | iv, 164 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
14G10 - Zeta-functions and related questions (Birch-Swinnerton-Dyer conjecture) [MSC 2020] 11F66 - Langlands $L$-functions; one variable Dirichlet series and functional equations [MSC 2020] 11F25 - Hecke-Petersson operators, differential operators (one variable) [MSC 2020] 11F60 - Hecke-Petersson operators, differential operators (several variables) [MSC 2020] |
| Soggetto non controllato |
Automorphic forms
Convergence Dirichlet Series Finite Forms Functions Lemma |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255260 |
|
Weil, André
|
||
| Berlin, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dynamical Systems - Warwick 1974 : Proceedings of a Symposium held at the University of Warwick 1973/74 / edited by Anthony Manning
| Dynamical Systems - Warwick 1974 : Proceedings of a Symposium held at the University of Warwick 1973/74 / edited by Anthony Manning |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | x, 405 p. : ill. ; 24 cm |
| Soggetto topico |
57-XX - Manifolds and cell complexes [MSC 2020]
58-XX - Global analysis, analysis on manifolds [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Algebra
Catastrophe theory Dynamical systems Equations Ergodic theory Finite Functions Invariants Lie Manifolds Morphism Proofs Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256318 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dynamical Systems and Evolution Equations : Theory and Applications / J. A. Walker
| Dynamical Systems and Evolution Equations : Theory and Applications / J. A. Walker |
| Autore | Walker, John Andrew |
| Pubbl/distr/stampa | New York, : Plenum, 1980 |
| Descrizione fisica | viii, 236 p. : ill. ; 24 cm |
| Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
34-XX - Ordinary differential equations [MSC 2020] 34D20 - Stability of solutions to ordinary differential equation [MSC 2020] |
| Soggetto non controllato |
Area
Behavior Control Dynamical systems Equations Evolution Finite Hilbert spaces Integration Lebesgue Integration Mathematica Mathematics Mechanics Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268324 |
|
Walker, John Andrew
|
||
| New York, : Plenum, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
