Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman |
Autore | Harel, David |
Pubbl/distr/stampa | Milano, : Springer, 2008 |
Descrizione fisica | XXII, 616 p. ; 24 cm |
Altri autori (Persone) | Feldman, Yishai |
Soggetto topico | 68Wxx - Algorithms in computer science [MSC 2020] |
Soggetto non controllato |
Algoritmi
Computabilità Computer Correttezza Efficienza Informatica Metodologia Parallelism Software |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0100390 |
Harel, David | ||
Milano, : Springer, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algoritmi : lo spirito dell'informatica / David Harel, Yishai Feldman |
Autore | Harel, David |
Edizione | [Milano : Springer] |
Descrizione fisica | Pubblicazione in formato elettronico. - Accesso al full text attraverso riconoscimento indirizzo IP di Ateneo. |
Altri autori (Persone) | Feldman, Yishai |
Soggetto topico | 68Wxx - Algorithms in computer science [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0100390 |
Harel, David | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 |
Edizione | [Cham : Springer, 2018] |
Pubbl/distr/stampa | xxii, 636 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
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] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0124591 |
xxii, 636 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Combinatorial Complexes : A Mathematical Theory of Algorithms / Peter H. Sellers |
Autore | Sellers, Peter H. |
Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1979 |
Descrizione fisica | xvi, 184 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] |
Soggetto non controllato |
Algorithms
Coding theory Geometry Mathematica Optimization Programming programming languages |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0266175 |
Sellers, Peter H. | ||
Dordrecht, : D. Reidel, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Computer Simulation and Computer Algebra : Lectures for Beginners / Dietrich Stauffer ... [et al.] |
Pubbl/distr/stampa | Berlin, : Springer, 1988 |
Descrizione fisica | ix, 155 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 70Fxx - Dynamics of a system of particles, including celestial mechanichs [MSC 2020] |
Soggetto non controllato |
Computer algebra
Computer simulation Dynamics Models Monte Carlo Monte-Carlo Simulation Parallel computing Simulation Simulations Vector Computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0264399 |
Berlin, : Springer, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elderly Health Services and Remote Health Monitoring / Lumin Chen ... [et al.] |
Pubbl/distr/stampa | Singapore, : Springer, 2020 |
Descrizione fisica | x, 81 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
92-XX - Biology and other natural sciences [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
Soggetto non controllato |
Algorithmic complexity
Deep learning techniques Elderly Hand rehabilitation robot Health Services Kinematics Lower extremity exoskeleton Markov process Rehabilitation Remote health monitoring Wearable sensor |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0250120 |
Singapore, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Exercises in computational mathematics with MATLAB / Tom Lyche, Jean-Louis Merrien |
Autore | Lyche, Tom |
Pubbl/distr/stampa | Berlin, : Springer, 2014 |
Descrizione fisica | XII, 372 p. : ill. ; 24 cm |
Altri autori (Persone) | Merrien, Jean-Louis |
Soggetto topico |
65Lxx - Numerical methods for ordinary differential equations [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] |
Soggetto non controllato |
Matlab programming
Matrix theory Numerical Analysis Scientific Computing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0104190 |
Lyche, Tom | ||
Berlin, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Exercises in computational mathematics with MATLAB / Tom Lyche, Jean-Louis Merrien |
Autore | Lyche, Tom |
Edizione | [Berlin : Springer, 2014] |
Pubbl/distr/stampa | XII, 372 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Altri autori (Persone) | Merrien, Jean-Louis |
Soggetto topico |
65Lxx - Numerical methods for ordinary differential equations [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] |
ISBN | 8-3-662-43510-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0104190 |
Lyche, Tom | ||
XII, 372 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest |
Autore | Cormen, Thomas H. |
Edizione | [2nd ed] |
Pubbl/distr/stampa | Cambridge, Mass. ; London, : MIT press, 2001 |
Descrizione fisica | XXI, 1180 p. ; 24 cm. |
Soggetto topico | 68Wxx - Algorithms in computer science [MSC 2020] |
ISBN | 978-02-620-3293-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0024489 |
Cormen, Thomas H. | ||
Cambridge, Mass. ; London, : MIT press, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|