| Cyber Physical Systems. Model-Based Design |
- isbn : 978-3-030-41131-2
- pisbn : 978-3-030-41130-5
|
Fulltext
|
| Innovative Security Solutions for Information Technology and Communications |
- isbn : 978-3-030-41025-4
- pisbn : 978-3-030-41024-7
|
Fulltext
|
| Large-Scale Scientific Computing |
- isbn : 978-3-030-41032-2
- pisbn : 978-3-030-41031-5
|
Fulltext
|
| Information Security and Cryptology – ICISC 2019 |
- isbn : 978-3-030-40921-0
- pisbn : 978-3-030-40920-3
|
Fulltext
|
| Transactions on Computational Science XXXV |
- isbn : 978-3-662-61092-3
- pisbn : 978-3-662-61091-6
|
Fulltext
|
| Risks and Security of Internet and Systems |
- isbn : 978-3-030-41568-6
- pisbn : 978-3-030-41567-9
|
Fulltext
|
| Formal Aspects of Component Software |
- isbn : 978-3-030-40914-2
- pisbn : 978-3-030-40913-5
|
Fulltext
|
| Information and Communications Security |
- isbn : 978-3-030-41579-2
- pisbn : 978-3-030-41578-5
|
Fulltext
|
| Computational Processing of the Portuguese Language |
- isbn : 978-3-030-41505-1
- pisbn : 978-3-030-41504-4
|
Fulltext
|
| Verified Software. Theories, Tools, and Experiments |
- isbn : 978-3-030-41600-3
- pisbn : 978-3-030-41599-0
|
Fulltext
|