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.
Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest
| Introduction to algorithms / Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest |
| Autore | Cormen, Thomas H. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge [Mass.] ; London, : MIT, 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-VAN0024489 |
Cormen, Thomas H.
|
||
| Cambridge [Mass.] ; London, : MIT, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Machine Scheduling to Minimize Weighted Completion Times : The Use of the α-point / Nicoló Gusmeroli
| Machine Scheduling to Minimize Weighted Completion Times : The Use of the α-point / Nicoló Gusmeroli |
| Autore | Gusmeroli, Nicoló |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xi, 53 p. ; 24 cm |
| Soggetto topico |
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 90B35 - Scheduling theory, deterministic in operations research [MSC 2020] 90C59 - Approximation methods and heuristics in mathematical programming [MSC 2020] |
| Soggetto non controllato |
Approximation algorithms
LP-relaxation Release dates Scheduling theory α-point |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124802 |
|
Gusmeroli, Nicoló
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Machine Scheduling to Minimize Weighted Completion Times : The Use of the α-point / Nicoló Gusmeroli
| Machine Scheduling to Minimize Weighted Completion Times : The Use of the α-point / Nicoló Gusmeroli |
| Autore | Gusmeroli, Nicoló |
| Edizione | [Cham : Springer, 2018] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90C27 - Combinatorial optimization [MSC 2020] 90B35 - Scheduling theory, deterministic in operations research [MSC 2020] 90C59 - Approximation methods and heuristics in mathematical programming [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124802 |
|
Gusmeroli, Nicoló
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Matematica generale con il calcolatore / M. Impedovo
| Matematica generale con il calcolatore / M. Impedovo |
| Autore | Impedovo, Michele |
| Pubbl/distr/stampa | Milano, : Springer, 2005 |
| Descrizione fisica | IX, 527 p. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] |
| Soggetto non controllato |
Algoritmi
Calcolatore Calcolo simbolico Differential Equation Matematica generale Simulazione Sistemi dinamici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0100298 |
|
Impedovo, Michele
|
||
| Milano, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Matematica generale con il calcolatore / M. Impedovo
| Matematica generale con il calcolatore / M. Impedovo |
| Autore | Impedovo, Michele |
| Edizione | [Milano : Springer, 2005] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 39-XX - Difference and functional equations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0100298 |
|
Impedovo, Michele
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
| Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek |
| Autore | Hájek, Petr |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | xvi, 398 p. ; 24 cm |
| Altri autori (Persone) | Havránek, Tomáš |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68T10 - Pattern recognition, speech recognition [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 62-XX - Statistics [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 62A01 - Foundations and philosophical topics in statistics [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Functions Intelligence Mathematical logic Optimization formation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260854 |
|
Hájek, Petr
|
||
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Part 1. / Meikang Qiu editor
| Part 1. / Meikang Qiu editor |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Computer Networks Computer Science Computer hardware Computer programming Computer systems Correlation analysis Distributed computer systems Distributed systems Embedded Systems Microprocessor chips Network protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0248656 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Part 1. / Meikang Qiu editor
| Part 1. / Meikang Qiu editor |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Computer Networks Computer Science Computer hardware Computer programming Computer systems Correlation analysis Distributed computer systems Distributed systems Embedded Systems Microprocessor chips Network protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0248656 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Part 1. / Sheng Wen, Albert Zomaya, Laurence T. Yang editors
| Part 1. / Sheng Wen, Albert Zomaya, Laurence T. Yang editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxii, 715 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Authentication Cloud Computing Computer Networks Computer architecture Computer crime Cryptography Data communication systems Data mining databases Distributed algorithms Distributed architectures Distributed computing models Massively parallel systems Parallel algorithms Parallel and distributed DBMSs Parallel computing models Systems security Testing with distributed systems Testing with parallel systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISOB-VAN0248652 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Part 1. / Sheng Wen, Albert Zomaya, Laurence T. Yang editors
| Part 1. / Sheng Wen, Albert Zomaya, Laurence T. Yang editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxii, 715 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Authentication Cloud Computing Computer Networks Computer architecture Computer crime Cryptography Data communication systems Data mining databases Distributed algorithms Distributed architectures Distributed computing models Massively parallel systems Parallel algorithms Parallel and distributed DBMSs Parallel computing models Systems security Testing with distributed systems Testing with parallel systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248652 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
