Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Networked Systems6th International C...
~
(1998 :)
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Networked Systemsedited by Andreas Podelski, Francois Taiani.
Reminder of title:
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
remainder title:
NETYS 2018
other author:
Podelski, Andreas.
corporate name:
Published:
Cham :Springer International Publishing :2019.
Description:
xxxiii, 412 p. :ill. (some col.), digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer networksCongresses.
Online resource:
https://doi.org/10.1007/978-3-030-05529-5
ISBN:
9783030055295$q(electronic bk.)
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /[electronic resource] :NETYS 2018edited by Andreas Podelski, Francois Taiani. - Cham :Springer International Publishing :2019. - xxxiii, 412 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,110280302-9743 ;. - Lecture notes in computer science ;4891..
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.
ISBN: 9783030055295$q(electronic bk.)
Standard No.: 10.1007/978-3-030-05529-5doiSubjects--Topical Terms:
384494
Computer networks
--Congresses.
LC Class. No.: TK5105.5
Dewey Class. No.: 004.6
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
LDR
:01820nmm a2200361 a 4500
001
555260
003
DE-He213
005
20190105035454.0
006
m d
007
cr nn 008maaau
008
191121s2019 gw s 0 eng d
020
$a
9783030055295$q(electronic bk.)
020
$a
9783030055288$q(paper)
024
7
$a
10.1007/978-3-030-05529-5
$2
doi
035
$a
978-3-030-05529-5
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
TK5105.5
072
7
$a
UKN
$2
bicssc
072
7
$a
COM075000
$2
bisacsh
072
7
$a
UKN
$2
thema
082
0 4
$a
004.6
$2
23
090
$a
TK5105.5
$b
.N476 2018
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Networked Systems
$h
[electronic resource] :
$b
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
$c
edited by Andreas Podelski, Francois Taiani.
246
3
$a
NETYS 2018
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2019.
300
$a
xxxiii, 412 p. :
$b
ill. (some col.), digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
11028
490
1
$a
Computer communication networks and telecommunications
505
0
$a
Distribution -- Concurrency -- Verification -- Networking -- Self-stabilization -- Security -- Graph -- Middleware.
520
$a
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.
650
0
$a
Computer networks
$v
Congresses.
$3
384494
650
0
$a
Wireless communication systems
$v
Congresses.
$3
384573
650
0
$a
Mobile computing
$v
Congresses.
$3
438565
650
0
$a
Cloud computing
$v
Congresses.
$3
384581
650
1 4
$a
Computer Communication Networks.
$3
218087
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
273711
650
2 4
$a
Computer System Implementation.
$3
276333
650
2 4
$a
Logic Design.
$3
276275
650
2 4
$a
Control Structures and Microprogramming.
$3
274663
650
2 4
$a
Input/Output and Data Communications.
$3
274473
700
1
$a
Podelski, Andreas.
$3
347066
700
1
$a
Taiani, Francois.
$3
837313
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Computer communication networks and telecommunications.
$3
822017
856
4 0
$u
https://doi.org/10.1007/978-3-030-05529-5
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000168072
電子館藏
1圖書
電子書
EB TK5105.5 N476 2018 2019
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-05529-5
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login