Model Checking Software |
- isbn : 9783031321573
- pisbn : 9783031321566
- doi : 10.1007/978-3-031-32157-3
|
Fulltext
|
Scale Space and Variational Methods in Computer Vision |
- isbn : 9783031319754
- pisbn : 9783031319747
- doi : 10.1007/978-3-031-31975-4
|
Fulltext
|
Asynchronous Many-Task Systems and Applications |
- isbn : 9783031323164
- pisbn : 9783031323157
- doi : 10.1007/978-3-031-32316-4
|
Fulltext
|
Next Generation Arithmetic |
- isbn : 9783031321801
- pisbn : 9783031321795
- doi : 10.1007/978-3-031-32180-1
|
Fulltext
|
Financial Cryptography and Data Security. FC 2022 International Workshops |
- isbn : 9783031324154
- pisbn : 9783031324147
- doi : 10.1007/978-3-031-32415-4
|
Fulltext
|
Algorithms and Models for the Web Graph |
- isbn : 9783031322969
- pisbn : 9783031322952
- doi : 10.1007/978-3-031-32296-9
|
Fulltext
|
Innovative Security Solutions for Information Technology and Communications |
- isbn : 9783031326363
- pisbn : 9783031326356
- doi : 10.1007/978-3-031-32636-3
|
Fulltext
|
Structural Information and Communication Complexity |
- isbn : 9783031327339
- pisbn : 9783031327322
- doi : 10.1007/978-3-031-32733-9
|
Fulltext
|
Numerical Methods and Applications |
- isbn : 9783031324123
- pisbn : 9783031324116
- doi : 10.1007/978-3-031-32412-3
|
Fulltext
|
Integer Programming and Combinatorial Optimization |
- isbn : 9783031327261
- pisbn : 9783031327254
- doi : 10.1007/978-3-031-32726-1
|
Fulltext
|