000 02985nam a22006255i 4500
001 978-3-030-05529-5
003 DE-He213
005 20240423125235.0
007 cr nn 008mamaa
008 190105s2019 sz | s |||| 0|eng d
020 _a9783030055295
_9978-3-030-05529-5
024 7 _a10.1007/978-3-030-05529-5
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aNetworked Systems
_h[electronic resource] :
_b6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
_cedited by Andreas Podelski, François Taïani.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXXXIII, 412 p. 388 illus., 60 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v11028
505 0 _aDistribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
520 _aThis 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.
650 0 _aComputer networks .
650 0 _aSoftware engineering.
650 0 _aComputer systems.
650 0 _aLogic design.
650 0 _aMicroprogramming .
650 0 _aComputer input-output equipment.
650 1 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer System Implementation.
650 2 4 _aLogic Design.
650 2 4 _aControl Structures and Microprogramming.
650 2 4 _aInput/Output and Data Communications.
700 1 _aPodelski, Andreas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aTaïani, François.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030055288
776 0 8 _iPrinted edition:
_z9783030055301
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v11028
856 4 0 _uhttps://doi.org/10.1007/978-3-030-05529-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c175776
_d175776