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.
Prime numbers and computer methods for factorization / Hans Riesel
| Prime numbers and computer methods for factorization / Hans Riesel |
| Autore | Riesel, Hans |
| Pubbl/distr/stampa | Boston, : Birkhäuser, : Springer, 1985 |
| Descrizione fisica | xvi, 464 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Axx - Elementary number theory [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 11A41 - Primes [MSC 2020] 11Mxx - Zeta and L-functions: analitic theory [MSC 2020] 94Bxx - Theory of error-correcting codes and error-detecting codes [MSC 2020] |
| Soggetto non controllato |
Algorithms
Computer Continued Fractions Cryptography Factorization Maxima Mersenne prime Number theory Prime numbers Sage |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0254028 |
Riesel, Hans
|
||
| Boston, : Birkhäuser, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Principal component analysis / I. T. Jolliffe
| Principal component analysis / I. T. Jolliffe |
| Autore | Jolliffe, Ian T. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 2004 |
| Descrizione fisica | XXIX, 487 p. ; 24 cm |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
62H25 - Factor analysis and principal components; correspondence analysis [MSC 2020] |
| Soggetto non controllato |
Computation
Computer Eigenvalue Eigenvector Factor analysis Finite Forms Matrix Principal component analysis Regression Regression analysis Sets Statistics Symmetric relations Variables |
| ISBN |
978-03-87954-42-4
978-14-419-2999-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0065002 |
|
Jolliffe, Ian T.
|
||
| New York, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Principal component analysis / I. T. Jolliffe
| Principal component analysis / I. T. Jolliffe |
| Autore | Jolliffe, Ian T. |
| Pubbl/distr/stampa | New York, : Springer, 1986 |
| Descrizione fisica | xiii, 271 p. : ill. ; 24 cm |
| Soggetto topico | 62H25 - Factor analysis and principal components; correspondence analysis [MSC 2020] |
| Soggetto non controllato |
Computation
Computer Eigenvalue Eigenvector Factor analysis Finite Forms Matrix Principal component analysis Regression Regression analysis Sets Statistics Symmetric relations Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268886 |
|
Jolliffe, Ian T.
|
||
| New York, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Radiological Functional Analysis of the Vascular System : Contrast Media, Methods, Results / edited by Friedrich H. W. Heuck
| Radiological Functional Analysis of the Vascular System : Contrast Media, Methods, Results / edited by Friedrich H. W. Heuck |
| Pubbl/distr/stampa | Berlin, : Springer, 1983 |
| Descrizione fisica | xiv, 298 p. : ill. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
92Cxx - Physiological, cellular and medical topics [MSC 2020] |
| Soggetto non controllato |
Angiography
Blood Blood flow measurement Computer Diagnosis Diagnostics Functional Analysis Radiology Tomography |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263041 |
| Berlin, : Springer, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Reduce : Software for Algebraic Computation / Gerhard Rayna ; With a preface by Anthony C. Hearn
| Reduce : Software for Algebraic Computation / Gerhard Rayna ; With a preface by Anthony C. Hearn |
| Autore | Rayna, Gerhard |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1987 |
| Descrizione fisica | ix, 329 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebra
Complexity Computation Computer algebraic computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268980 |
|
Rayna, Gerhard
|
||
| New York, : Springer-Verlag, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis
| Reflexive Structures : An Introduction to Computability Theory / Luis E. Sanchis |
| Autore | Sanchis, Luis E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xii, 233 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] 03D75 - Abstract and axiomatic computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Algorithms
Computability theory Computer Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269109 |
|
Sanchis, Luis E.
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Science, Computers, and People : From the Tree of Mathematics / Stanislaw M. Ulam ; Mark C. Reynolds, Gian-Carlo Rota editors ; with a preface by Martin Gardner
| Science, Computers, and People : From the Tree of Mathematics / Stanislaw M. Ulam ; Mark C. Reynolds, Gian-Carlo Rota editors ; with a preface by Martin Gardner |
| Autore | Ulam, Stanislaw M. |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1986 |
| Descrizione fisica | xxii, 266 p. : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] |
| Soggetto non controllato |
Biomathematics
Boundary Element Methods Chess Computation Computer Evolution Form Interaction Mathematica Mathematics Patterns |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254055 |
|
Ulam, Stanislaw M.
|
||
| Boston, : Birkhäuser, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Stochastic Analysis of Computer Storage / O. I. Aven, E. G. Coffman, Y. A. Kogan
| Stochastic Analysis of Computer Storage / O. I. Aven, E. G. Coffman, Y. A. Kogan |
| Autore | Aven, Oleg I. |
| Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1987 |
| Descrizione fisica | viii, 254 p. ; 24 cm |
| Altri autori (Persone) |
Coffman, Edward G. jun.
Kogan, Yakov A. |
| Soggetto non controllato |
Algebra
Algorithms Chaos Coding Computer Measure Theory Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0266533 |
|
Aven, Oleg I.
|
||
| Dordrecht, : D. Reidel, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Beauty of Fractals : Images of Complex Dynamical Systems / Heinz-Otto Peitgen, Peter H. Richter
| The Beauty of Fractals : Images of Complex Dynamical Systems / Heinz-Otto Peitgen, Peter H. Richter |
| Autore | Peitgen, Heinz-Otto |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | xii, 202 p. : ill. ; 24 cm |
| Altri autori (Persone) | Richter, Peter H. |
| Soggetto topico |
28A80 - Fractals [MSC 2020]
37-XX - Dynamical systems and ergodic theory [MSC 2020] 39B12 - Iteration theory, iterative and composite equations [MSC 2020] 26A18 - Iteration of real functions in one variable [MSC 2020] 00A69 - General applied mathematics [MSC 2020] 30C10 - Polynomials and rational functions of one complex variable [MSC 2020] 37F10 - Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets [MSC 2020] |
| Soggetto non controllato |
Chaos
Computer Creativity Design Development Dynamical systems Fields Fractals Iteration Mandelbrot sets Polynomials Sets Time Tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0264048 |
|
Peitgen, Heinz-Otto
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
