Amazon cover image
Image from Amazon.com

Networked systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised selected papers / Andreas Podelski, François Taïani (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 11028. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Publisher: Cham, Switzerland : Springer, 2019Description: 1 online resource (xxxiii, 412 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030055295
  • 3030055299
Other title:
  • NETYS 2018
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 004.6 23
LOC classification:
  • TK5105.5
Online resources:
Contents:
Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed January 15, 2019).

Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.

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.

Powered by Koha