Filter your results
- 4
- 4
- 22
- 2
- 4
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal Techniques for Distributed SystemsSpringer, LNCS-7892, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38592-6⟩
Books
hal-01515249v1
|
||
|
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart DevicesSpringer, LNCS-6033, 2010, Lecture Notes in Computer Science, 978-3-642-12367-2. ⟨10.1007/978-3-642-12368-9⟩
Books
hal-01550529v1
|
||
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent EcosystemsSpringer, LNCS-7322, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30955-7⟩
Books
hal-01534316v1
|
|||
Distributed Applications and Interoperable SystemsSpringer International Publishing, LNCS-10320, 2017, Lecture Notes in Computer Science, 978-3-319-59664-8. ⟨10.1007/978-3-319-59665-5⟩
Books
hal-01800116v1
|