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 mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks
| A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks |
| Autore | Krantz, Steven G. |
| Pubbl/distr/stampa | New York, : Springer, 2014 |
| Descrizione fisica | XVI, 382 p. : ill. ; 24 cm |
| Altri autori (Persone) | Parks, Harold R. |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
42C40 - Nontrigonometric harmonic analysis involving wavelets and other special systems [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 51M10 - Hyperbolic and elliptic geometries (general) and generalizations [MSC 2020] 05D10 - Ramsey theory [MSC 2020] 11Y11 - Primality [MSC 2020] 49Q05 - Minimal surfaces and optimization [MSC 2020] 83Axx - Special relativity [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 51M05 - Euclidean geometries (general) and generalizations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 57K30 - General topology of 3-manifolds [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] 11D41 - Higher degree equations; Fermat's equation [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 91G30 - Interest rates, asset pricing, etc. (stochastic models) [MSC 2020] |
| Soggetto non controllato |
Euclidean Geometry
Four color problem Mathematics of finance RSA Encryption Ramsey theory Relativity theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102831 |
Krantz, Steven G.
|
||
| New York, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks
| A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks |
| Autore | Krantz, Steven G. |
| Edizione | [New York : Springer, 2014] |
| Pubbl/distr/stampa | XVI, 382 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Parks, Harold R. |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
42C40 - Nontrigonometric harmonic analysis involving wavelets and other special systems [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 51M10 - Hyperbolic and elliptic geometries (general) and generalizations [MSC 2020] 05D10 - Ramsey theory [MSC 2020] 11Y11 - Primality [MSC 2020] 49Q05 - Minimal surfaces and optimization [MSC 2020] 83Axx - Special relativity [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 51M05 - Euclidean geometries (general) and generalizations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 57K30 - General topology of 3-manifolds [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] 11D41 - Higher degree equations; Fermat's equation [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 91G30 - Interest rates, asset pricing, etc. (stochastic models) [MSC 2020] |
| ISBN | 8-1-4614-8938-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102831 |
|
Krantz, Steven G.
|
||
| XVI, 382 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
| Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek |
| Autore | Krajicek, Jan |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XIV, 343 p. : ill. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
| ISBN |
05-214-5205-8
978-05-214-5205-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053035 |
|
Krajicek, Jan
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
| Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek |
| Autore | Krajicek, Jan |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XIV, 343 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
| ISBN |
05-214-5205-8
978-05-214-5205-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053035 |
|
Krajicek, Jan
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complexity : knots, colourings, and counting / D. J. A. Welsh
| Complexity : knots, colourings, and counting / D. J. A. Welsh |
| Autore | Welsh, Dominic J. A. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1993 |
| Descrizione fisica | VIII, 163 p. : ill. ; 23 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68R05 - Combinatorics in computer science [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 82B43 - Percolation [MSC 2020] 57K10 - Knot theory [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| ISBN | 978-05-214-5740-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0047492 |
|
Welsh, Dominic J. A.
|
||
| Cambridge, : Cambridge university, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complexity : knots, colourings, and counting / D. J. A. Welsh
| Complexity : knots, colourings, and counting / D. J. A. Welsh |
| Autore | Welsh, Dominic J. A. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1993 |
| Descrizione fisica | VIII, 163 p. : ill. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68R05 - Combinatorics in computer science [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 82B43 - Percolation [MSC 2020] 57K10 - Knot theory [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| ISBN | 978-05-214-5740-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0047492 |
|
Welsh, Dominic J. A.
|
||
| Cambridge, : Cambridge university, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational complexity : a quantitative perspective / Marius Zimand
| Computational complexity : a quantitative perspective / Marius Zimand |
| Autore | Zimand, Marius |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2004 |
| Descrizione fisica | XII, 340 p. ; 25 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
81P68 - Quantum computation [MSC 2020] 68Qxx - Theory of computing [MSC 2020] 03D15 - Complexity of computation [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092440 |
|
Zimand, Marius
|
||
| Amsterdam, : Elsevier, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
| Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Autore | Ebbinghaus, Heinz-Dieter |
| Pubbl/distr/stampa | Berlin, : Springer, 1995 |
| Descrizione fisica | XV, 327 p. : ill. ; 25 cm. |
| Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
| ISBN |
978-35-406-0149-4
35-406-0149-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055754 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Berlin, : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
| Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Autore | Ebbinghaus, Heinz-Dieter |
| Pubbl/distr/stampa | Berlin, : Springer, 1995 |
| Descrizione fisica | XV, 327 p. : ill. ; 25 cm |
| Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
| ISBN |
35-406-0149-X
978-35-406-0149-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055754 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Berlin, : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor |
| Autore | Sieg, Wilfried |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1990 |
| Descrizione fisica | XIV, 297 p. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 08-218-5110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0049964 |
|
Sieg, Wilfried
|
||
| Providence, : American mathematical society, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03D15 - Complexity of computation [MSC 2020]
(17)
- 68-XX - Computer science [MSC 2020] (7)
- 03-XX - Mathematical logic and foundations [MSC 2020] (5)
- 03F30 - First-order arithmetic and fragments [MSC 2020] (5)
- 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] (5)