Model Checking, Synthesis, and Learning |
- isbn : 978-3-030-91384-7
- pisbn : 978-3-030-91383-0
- doi : 10.1007/978-3-030-91384-7
|
Fulltext
|
Future Data and Security Engineering |
- isbn : 978-3-030-91387-8
- pisbn : 978-3-030-91386-1
- doi : 10.1007/978-3-030-91387-8
|
Fulltext
|
Advanced Analytics and Learning on Temporal Data |
- isbn : 978-3-030-91445-5
- pisbn : 978-3-030-91444-8
- doi : 10.1007/978-3-030-91445-5
|
Fulltext
|
Information Security |
- isbn : 978-3-030-91356-4
- pisbn : 978-3-030-91355-7
- doi : 10.1007/978-3-030-91356-4
|
Fulltext
|
Computational Data and Social Networks |
- isbn : 978-3-030-91434-9
- pisbn : 978-3-030-91433-2
- doi : 10.1007/978-3-030-91434-9
|
Fulltext
|
Web Information Systems Engineering – WISE 2021 |
- isbn : 978-3-030-91560-5
- pisbn : 978-3-030-91559-9
- doi : 10.1007/978-3-030-91560-5
|
Fulltext
|
Service-Oriented Computing |
- isbn : 978-3-030-91431-8
- pisbn : 978-3-030-91430-1
- doi : 10.1007/978-3-030-91431-8
|
Fulltext
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems L |
- isbn : 978-3-662-64553-6
- pisbn : 978-3-662-64552-9
- doi : 10.1007/978-3-662-64553-6
|
Fulltext
|
Formal Methods Teaching |
- isbn : 978-3-030-91550-6
- pisbn : 978-3-030-91549-0
- doi : 10.1007/978-3-030-91550-6
|
Fulltext
|
Innovative Technologies and Learning |
- isbn : 978-3-030-91540-7
- pisbn : 978-3-030-91539-1
- doi : 10.1007/978-3-030-91540-7
|
Fulltext
|