Large-Scale Scientific Computing |
- isbn : 978-3-030-41032-2
- pisbn : 978-3-030-41031-5
- doi : 10.1007/978-3-030-41032-2
|
Fulltext
|
From Lambda Calculus to Cybersecurity Through Program Analysis |
- isbn : 9783030411039
- pisbn : 9783030411022
- doi : 10.1007/978-3-030-41103-9
|
Fulltext
|
Transactions on Computational Science XXXV |
- isbn : 978-3-662-61092-3
- pisbn : 978-3-662-61091-6
- doi : 10.1007/978-3-662-61092-3
|
Fulltext
|
Cyber Physical Systems. Model-Based Design |
- isbn : 978-3-030-41131-2
- pisbn : 978-3-030-41130-5
- doi : 10.1007/978-3-030-41131-2
|
Fulltext
|
Formal Aspects of Component Software |
- isbn : 978-3-030-40914-2
- pisbn : 978-3-030-40913-5
- doi : 10.1007/978-3-030-40914-2
|
Fulltext
|
Information Security and Cryptology – ICISC 2019 |
- isbn : 978-3-030-40921-0
- pisbn : 978-3-030-40920-3
- doi : 10.1007/978-3-030-40921-0
|
Fulltext
|
Innovative Security Solutions for Information Technology and Communications |
- isbn : 978-3-030-41025-4
- pisbn : 978-3-030-41024-7
- doi : 10.1007/978-3-030-41025-4
|
Fulltext
|
Risks and Security of Internet and Systems |
- isbn : 978-3-030-41568-6
- pisbn : 978-3-030-41567-9
- doi : 10.1007/978-3-030-41568-6
|
Fulltext
|
On the Move to Meaningful Internet Systems: OTM 2019 Workshops |
- isbn : 978-3-030-40907-4
- pisbn : 978-3-030-40906-7
- doi : 10.1007/978-3-030-40907-4
|
Fulltext
|
Information and Communications Security |
- isbn : 978-3-030-41579-2
- pisbn : 978-3-030-41578-5
- doi : 10.1007/978-3-030-41579-2
|
Fulltext
|