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 theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli
| A theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli |
| Autore | Caromel, Denis |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | XXXII, 346 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Henrio, Ludovic |
| Soggetto topico | 68M14 - Distributed systems [MSC 2020] |
| ISBN | 978-35-402-0866-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0071802 |
Caromel, Denis
|
||
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli
| A theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli |
| Autore | Caromel, Denis |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | XXXII, 346 p. : ill. ; 24 cm |
| Altri autori (Persone) | Henrio, Ludovic |
| Soggetto topico | 68M14 - Distributed systems [MSC 2020] |
| ISBN | 978-35-402-0866-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0071802 |
|
Caromel, Denis
|
||
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli
| A theory of distributed objects : asynchrony, mobility, groups,components / Denis Caromel, Ludovic Henrio ; preface by Luca Cardelli |
| Autore | Caromel, Denis |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | XXXII, 346 p. : ill. ; 24 cm |
| Altri autori (Persone) | Henrio, Ludovic |
| Soggetto topico | 68M14 - Distributed systems [MSC 2020] |
| ISBN | 978-35-402-0866-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00071802 |
|
Caromel, Denis
|
||
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Some Fundamentals of Mathematics of Blockchain / Julien Riposo
| Some Fundamentals of Mathematics of Blockchain / Julien Riposo |
| Autore | Riposo, Julien |
| Pubbl/distr/stampa | Cham, : Springer, 2023 |
| Descrizione fisica | xiii, 150 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68M14 - Distributed systems [MSC 2020] 68P25 - Data encryption [MSC 2020] 68P27 - Privacy of data [MSC 2020] 94A60 - Cryptography [MSC 2020] |
| Soggetto non controllato |
Algebra
Blockchain Digital signature Mathematics Network of Users Probability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279614 |
|
Riposo, Julien
|
||
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for High Performance Computing 2018/2019 : Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 / Hartmut Mix ... [et al.] editors
| Tools for High Performance Computing 2018/2019 : Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 / Hartmut Mix ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | viii, 270 p. : ill. ; 24 cm |
| Soggetto topico |
65Y20 - Complexity and performance of numerical algorithms [MSC 2020]
68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 65Y05 - Parallel numerical computation [MSC 2020] 68M14 - Distributed systems [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Soggetto non controllato |
Debugging
Parallel programming Performance Analysis Software optimization Software tools Supercomputing Tools for parallel computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275349 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tools for High Performance Computing 2018/2019 : Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 / Hartmut Mix ... [et al.] editors
| Tools for High Performance Computing 2018/2019 : Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 / Hartmut Mix ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | viii, 270 p. : ill. ; 24 cm |
| Soggetto topico |
65Y05 - Parallel numerical computation [MSC 2020]
65Y20 - Complexity and performance of numerical algorithms [MSC 2020] 68M14 - Distributed systems [MSC 2020] 68M20 - Performance evaluation, queueing, and scheduling in the context of computer systems [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Soggetto non controllato |
Debugging
Parallel programming Performance Analysis Software Software optimization Supercomputing Tools for parallel computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275349 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Type systems for distributed programs : components and sessions / Ornela Dardha
| Type systems for distributed programs : components and sessions / Ornela Dardha |
| Autore | Dardha, Ornela |
| Edizione | [[Amsterdam] : Atlantis, 2016] |
| Pubbl/distr/stampa | XXII, 192 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68M14 - Distributed systems [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0115473 |
|
Dardha, Ornela
|
||
| XXII, 192 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Type systems for distributed programs: components and sessions / Ornela Dardha
| Type systems for distributed programs: components and sessions / Ornela Dardha |
| Autore | Dardha, Ornela |
| Pubbl/distr/stampa | [Amsterdam], : Atlantis, 2016 |
| Descrizione fisica | XXII, 192 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68M14 - Distributed systems [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Soggetto non controllato |
Complex Distributed Systems
Dynamic Reconfiguration Pi-calculus Session Types Static Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0115473 |
|
Dardha, Ornela
|
||
| [Amsterdam], : Atlantis, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Type systems for distributed programs: components and sessions / Ornela Dardha
| Type systems for distributed programs: components and sessions / Ornela Dardha |
| Autore | Dardha, Ornela |
| Pubbl/distr/stampa | [Amsterdam], : Atlantis, 2016 |
| Descrizione fisica | XXII, 192 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68M14 - Distributed systems [MSC 2020] 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Soggetto non controllato |
Complex Distributed Systems
Dynamic Reconfiguration Pi-calculus Session Types Static Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00115473 |
|
Dardha, Ornela
|
||
| [Amsterdam], : Atlantis, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68M14 - Distributed systems [MSC 2020]
(9)
- 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] (5)
- 68-XX - Computer science [MSC 2020] (4)
- 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] (3)
- 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] (3)