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.
Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen
| Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen |
| Autore | International symposium on Algorithmic Number Theory : 2. : 1996 |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | IX, 403 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] |
| ISBN |
35-406-1581-4
978-35-406-1581-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00029435 |
International symposium on Algorithmic Number Theory : 2. : 1996
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen
| Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | IX, 403 p. : ill. ; 24 cm. |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] |
| ISBN |
35-406-1581-4
978-35-406-1581-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0029435 |
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen
| Algorithmic number theory : second international symposium, ANTS-2. : Talence, France, May 18-23, 1996 : proceedings / edited by Henri Cohen |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | IX, 403 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Yxx - Computational number theory [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] |
| ISBN |
35-406-1581-4
978-35-406-1581-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0029435 |
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
| Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| Autore | Basu, Saugata |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | VIII, 602 p. : ill. ; 24 cm. |
| Altri autori (Persone) |
Roy, Marie-Françoise
Pollack, Richard D. |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] |
| ISBN | 35-403-3098-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0065556 |
|
Basu, Saugata
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
| Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| Autore | Basu, Saugata |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | VIII, 602 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Pollack, Richard D.
Roy, Marie-Françoise |
| Soggetto topico |
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] |
| ISBN | 978-35-403-3098-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISOB-VAN0065556 |
|
Basu, Saugata
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
| Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| Autore | Basu, Saugata |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | VIII, 602 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Pollack, Richard D.
Roy, Marie-Françoise |
| Soggetto topico |
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 978-35-403-3098-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0065556 |
|
Basu, Saugata
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy
| Algorithms in real algebraic geometry / Saugata Basu, Richard Pollack, Marie-Françoise Roy |
| Autore | Basu, Saugata |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | VIII, 602 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Pollack, Richard D.
Roy, Marie-Françoise |
| Soggetto topico |
03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
14P10 - Semialgebraic sets and related spaces [MSC 2020] 52C45 - Combinatorial complexity of geometric structures [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 978-35-403-3098-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00065556 |
|
Basu, Saugata
|
||
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin
| An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin |
| Autore | Vázquez Álvarez, Antonio J. |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XXVII, 162 p. : ill. ; 24 cm |
| Altri autori (Persone) | Erwin, Richard S. |
| Soggetto topico |
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
05C85 - Graph algorithms (graph-theoretic aspects) [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 62C10 - Bayesian problems; characterization of Bayes procedures [MSC 2020] 91A80 - Applications of game theory [MSC 2020] 91A10 - Noncooperative games [MSC 2020] 91A40 - Other game-theoretic models [MSC 2020] 97K30 - Graph theory (educational aspects) [MSC 2020] 90B36 - Scheduling theory, stochastic in operations research [MSC 2020] 90B35 - Scheduling theory, deterministic in operations research [MSC 2020] 90C39 - Dynamic programming [MSC 2020] 20G07 - Structure theory for linear algebraic groups [MSC 2020] |
| Soggetto non controllato |
Algorithms
Earth Observations Heuristic algorithms Optimal solution SRS problem Satellite communications Satellite mission Satellite range scheduling Scheduling problems Sensor scheduling Simulations in practical scenarios |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113883 |
|
Vázquez Álvarez, Antonio J.
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin
| An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin |
| Autore | Vázquez Álvarez, Antonio J. |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XXVII, 162 p. : ill. ; 24 cm |
| Altri autori (Persone) | Erwin, Richard S. |
| Soggetto topico |
05C85 - Graph algorithms (graph-theoretic aspects) [MSC 2020]
20G07 - Structure theory for linear algebraic groups [MSC 2020] 62C10 - Bayesian problems; characterization of Bayes procedures [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 68Q25 - Analysis of algorithms and problem complexity [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 90B35 - Scheduling theory, deterministic in operations research [MSC 2020] 90B36 - Scheduling theory, stochastic in operations research [MSC 2020] 90C39 - Dynamic programming [MSC 2020] 91A10 - Noncooperative games [MSC 2020] 91A40 - Other game-theoretic models [MSC 2020] 91A80 - Applications of game theory [MSC 2020] 97K30 - Graph theory (educational aspects) [MSC 2020] |
| Soggetto non controllato |
Algorithms
Earth Observations Heuristic algorithms Optimal solution SRS problem Satellite communications Satellite mission Satellite range scheduling Scheduling problems Sensor scheduling Simulations in practical scenarios |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113883 |
|
Vázquez Álvarez, Antonio J.
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin
| An introduction to optimal satellite range scheduling / Antonio José Vázquez Álvarez, Richard Scott Erwin |
| Autore | Vázquez Álvarez, Antonio J. |
| Edizione | [[Cham] : Springer, 2015] |
| Pubbl/distr/stampa | XXVII, 162 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Erwin, Richard S. |
| Soggetto topico |
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
05C85 - Graph algorithms (graph-theoretic aspects) [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 62C10 - Bayesian problems; characterization of Bayes procedures [MSC 2020] 91A80 - Applications of game theory [MSC 2020] 91A10 - Noncooperative games [MSC 2020] 91A40 - Other game-theoretic models [MSC 2020] 97K30 - Graph theory (educational aspects) [MSC 2020] 90B36 - Scheduling theory, stochastic in operations research [MSC 2020] 90B35 - Scheduling theory, deterministic in operations research [MSC 2020] 90C39 - Dynamic programming [MSC 2020] 20G07 - Structure theory for linear algebraic groups [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113883 |
|
Vázquez Álvarez, Antonio J.
|
||
| XXVII, 162 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68Q25 - Analysis of algorithms and problem complexity [MSC 2020]
(83)
- 68T10 - Pattern recognition, speech recognition [MSC 2020] (19)
- 68Qxx - Theory of computing [MSC 2020] (18)
- 68T45 - Machine vision and scene understanding [MSC 2020] (18)
- 68U05 - Computer graphics; computational geometry (digital and algorithmic aspects) [MSC 2020] (18)