Networked Systems [[electronic resource] ] : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / / edited by Amr El Abbadi, Benoît Garbinato |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 484 p. 111 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Algorithms Computer logic Software engineering Application software Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) |
ISBN | 3-319-59647-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. . |
Record Nr. | UNINA-9910484314903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Networked Systems [[electronic resource] ] : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / / edited by Amr El Abbadi, Benoît Garbinato |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 484 p. 111 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer communication systems
Algorithms Computer logic Software engineering Application software Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) |
ISBN | 3-319-59647-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. . |
Record Nr. | UNISA-996466275903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|