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 Course in Computational Algebraic Number Theory / Henri Cohen
| A Course in Computational Algebraic Number Theory / Henri Cohen |
| Autore | Cohen, Henri |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1993 |
| Descrizione fisica | XXI, 534 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Rxx - Algebraic number theory: global fields [MSC 2020] 11Y05 - Factorization [MSC 2020] 11Y11 - Primality [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 11Y40 - Algebraic number theory computations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithm analysis and problem complexity Algorithms Computer algebra Computers Factorisation Number theory Primality Symbolic Computation |
| ISBN | 978-35-405-5640-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00029432 |
Cohen, Henri
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Computational Algebraic Number Theory / Henri Cohen
| A Course in Computational Algebraic Number Theory / Henri Cohen |
| Autore | Cohen, Henri |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1993 |
| Descrizione fisica | xxi, 534 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Rxx - Algebraic number theory: global fields [MSC 2020] 11Y05 - Factorization [MSC 2020] 11Y11 - Primality [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 11Y40 - Algebraic number theory computations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithm analysis and problem complexity Algorithms Computer algebra Computers Factorisation Number theory Primality Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00290387 |
|
Cohen, Henri
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analysis and enumeration : algorithms for biological graphs / Andrea Marino
| Analysis and enumeration : algorithms for biological graphs / Andrea Marino |
| Autore | Marino, Andrea |
| Pubbl/distr/stampa | [Amsterdam], : Atlantis, 2015 |
| Descrizione fisica | XVII, 151 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
92-XX - Biology and other natural sciences [MSC 2020] 05C38 - Paths and cycles [MSC 2020] 92C42 - Systems biology, networks [MSC 2020] 05C90 - Applications of graph theory [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Bubbles Cycles and Paths Enumeration Algorithms Graphs Stories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114043 |
|
Marino, Andrea
|
||
| [Amsterdam], : Atlantis, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analysis and enumeration : algorithms for biological graphs / Andrea Marino
| Analysis and enumeration : algorithms for biological graphs / Andrea Marino |
| Autore | Marino, Andrea |
| Pubbl/distr/stampa | [Amsterdam], : Atlantis, 2015 |
| Descrizione fisica | XVII, 151 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05C38 - Paths and cycles [MSC 2020] 05C90 - Applications of graph theory [MSC 2020] 92-XX - Biology and other natural sciences [MSC 2020] 92C42 - Systems biology, networks [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Bubbles Cycles and Paths Enumeration Algorithms Graphs Stories |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114043 |
|
Marino, Andrea
|
||
| [Amsterdam], : Atlantis, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Arbres pour l’Algorithmique / Brigitte Chauvin, Julien Clément, Danièle Gardy
| Arbres pour l’Algorithmique / Brigitte Chauvin, Julien Clément, Danièle Gardy |
| Autore | Chauvin, Brigitte |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xxxi, 513 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Clément, Julien
Gardy, Danièle |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Pxx - Theory of data [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Analyse en moyenne et en distribution Arbres binaires de recherche Arbres digitaux Arbres planaires Arbres quadrants Combinatorics Complexité en moyenne et en distribution Data structures Marches aléatoires branchantes Processus de Galton-Watson Tas Urnes de Pólya |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124578 |
|
Chauvin, Brigitte
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Arbres pour l’Algorithmique / Brigitte Chauvin, Julien Clément, Danièle Gardy
| Arbres pour l’Algorithmique / Brigitte Chauvin, Julien Clément, Danièle Gardy |
| Autore | Chauvin, Brigitte |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xxxi, 513 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Clément, Julien
Gardy, Danièle |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Pxx - Theory of data [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Analyse en moyenne et en distribution Arbres binaires de recherche Arbres digitaux Arbres planaires Arbres quadrants Combinatorics Complexité en moyenne et en distribution Data structures Marches aléatoires branchantes Processus de Galton-Watson Tas Urnes de Pólya |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124578 |
|
Chauvin, Brigitte
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classes of Directed Graphs / Jørgen Bang-Jensen, Gregory Gutin editors
| Classes of Directed Graphs / Jørgen Bang-Jensen, Gregory Gutin editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xxii, 636 p. : ill. ; 24 cm |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 05Cxx - Graph theory [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 94C15 - Applications of graph theory to circuits and networks [MSC 2020] |
| Soggetto non controllato |
Acyclic digraphs
Algorithm analysis and problem complexity Directed graphs Directed graphs classes Directed width parameters Disjoint paths Euler digraphs Feedback sets Graph branchings Graph connectivity Graph products Hamiltonian cycles Hamiltonian paths Orientations of graphs Planar digraphs Tournaments generalizations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124591 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classes of Directed Graphs / Jørgen Bang-Jensen, Gregory Gutin editors
| Classes of Directed Graphs / Jørgen Bang-Jensen, Gregory Gutin editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xxii, 636 p. : ill. ; 24 cm |
| Soggetto topico |
05Cxx - Graph theory [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 94A60 - Cryptography [MSC 2020] 94C15 - Applications of graph theory to circuits and networks [MSC 2020] |
| Soggetto non controllato |
Acyclic digraphs
Algorithm analysis and problem complexity Directed graphs Directed graphs classes Directed width parameters Disjoint paths Euler digraphs Feedback sets Graph branchings Graph connectivity Graph products Hamiltonian cycles Hamiltonian paths Orientations of graphs Planar digraphs Tournaments generalizations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124591 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of Finite Model Theory / Leonid Libkin
| Elements of Finite Model Theory / Leonid Libkin |
| Autore | Libkin, Leonid |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2004 |
| Descrizione fisica | xiv, 318 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68Q19 - Descriptive complexity and finite models [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Complexity Complexity theory Formal language Logic Model theory Variable |
| ISBN | 978-35-402-1202-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283787 |
|
Libkin, Leonid
|
||
| Berlin ; Heidelberg, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Fast Radial Basis Functions for Engineering Applications / Marco Evangelos Biancolini
| Fast Radial Basis Functions for Engineering Applications / Marco Evangelos Biancolini |
| Autore | Biancolini, Marco E. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xiv, 358 p. : ill. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
00A69 - General applied mathematics [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 41A30 - Approximation by other special function classes [MSC 2020] 65M50 - Mesh generation, refinement, and adaptive methods for the numerical solution of initial value and initial-boundary value problems involving PDEs [MSC 2020] 74L15 - Biomechanical solid mechanics [MSC 200] 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] |
| Soggetto non controllato |
Advanced numerical methods
Algorithm analysis and problem complexity Engineering Applications High Performance Computing Interpolar and Regression Radial basis functions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124374 |
|
Biancolini, Marco E.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
