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
https://doi.org/10.1007/978-3-030-05529-5


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book428620-1001TK5105.5 -5105.9Springer E-Book Collection