Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
tarafından
Podelski, Andreas. editor.
Başlık
:
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Yazar
:
Podelski, Andreas. editor.
ISBN
:
9783030055295
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XXXIII, 412 p. 388 illus., 60 illus. in color. online resource.
Seri
:
Computer Communication Networks and Telecommunications ; 11028
İçindekiler
:
Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
Özet
:
This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.
Konu Başlığı
:
Computer communication systems.
Software engineering.
Architecture, Computer.
Logic design.
Microprogramming .
Input-output equipment (Computers).
Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market-codes/I13022
Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I14002
Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes/I13057
Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product-market-codes/I12018
Input/Output and Data Communications. https://scigraph.springernature.com/ontologies/product-market-codes/I12042
Yazar Ek Girişi
:
Podelski, Andreas.
Taïani, François.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428620-1001 | TK5105.5 -5105.9 | Springer E-Book Collection |