LEADER 03681nam  22007095  450 
001 996466275903316
005 20200706045139.0
010   $a3-319-59647-0
024 7 $a10.1007/978-3-319-59647-1
035   $a(CKB)4340000000061553
035   $a(DE-He213)978-3-319-59647-1
035   $a(MiAaPQ)EBC6283198
035   $a(MiAaPQ)EBC5591038
035   $a(Au-PeEL)EBL5591038
035   $a(OCoLC)987613708
035   $a(PPN)201471485
035   $a(EXLCZ)994340000000061553
100   $a20170513d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNetworked Systems$b[electronic resource] $e5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /$fedited by Amr El Abbadi, Benoît Garbinato
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XVIII, 484 p. 111 illus.) 
225 1 $aComputer Communication Networks and Telecommunications ;$v10299
311   $a3-319-59646-2 
327   $aNetworking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .
330   $aThis book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication. .
410  0$aComputer Communication Networks and Telecommunications ;$v10299
606   $aComputer communication systems
606   $aAlgorithms
606   $aComputer logic
606   $aSoftware engineering
606   $aApplication software
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aComputer communication systems.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aApplication software.
615 14$aComputer Communication Networks.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aInformation Systems Applications (incl. Internet).
676   $a004.6
702   $aEl Abbadi$b Amr$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGarbinato$b Benoît$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466275903316
996   $aNetworked Systems$92499603
997   $aUNISA

LEADER 01419nas  2200457-a 450 
001 996206274103316
005 20230801213017.0
011   $a1083-6489
035   $a(DE-599)ZDB2028416-0
035   $a(OCoLC)32852135
035   $a(CKB)954926402645
035   $a(CONSER)sn-95005820-
035   $a(EXLCZ)99954926402645
100   $a19950721a19969999  s--         a
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aElectronic journal of probability
210   $a[Seattle, Wash.] $cElectronic Journal of Probability and Electronic Communications in Probability$d1995-
300   $aRefereed/Peer-reviewed
330   $aIt publishes papers in all areas of probability.
517 3 $aEJP
517 1 $aEJP/ECP
531   $aELECTRON. J. PROBAB
531   $aELECTRON J PROBAB
531 0 $aElectron. j. probab.
606   $aProbabilities$vPeriodicals
606   $aProbabilities$2fast$3(OCoLC)fst01077737
608   $aPeriodicals.$2fast
610   $aMathematical Statistics
615  0$aProbabilities
615  7$aProbabilities.
676   $a519
712 02$aInstitute of Mathematical Statistics.
712 02$aUniversity of Washington.$bDepartment of Mathematics.
906   $aJOURNAL
912   $a996206274103316
996   $aElectronic journal of probability$92275785
997   $aUNISA