| Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-030-45260-5
- pisbn : 978-3-030-45259-9
|
Fulltext
|
| Public-Key Cryptography – PKC 2020 |
- isbn : 978-3-030-45374-9
- pisbn : 978-3-030-45373-2
|
Fulltext
|
| Foundations and Practice of Security |
- isbn : 978-3-030-45371-8
- pisbn : 978-3-030-45370-1
|
Fulltext
|
| Fundamental Approaches to Software Engineering |
- isbn : 978-3-030-45234-6
- pisbn : 978-3-030-45233-9
|
Fulltext
|
| Public-Key Cryptography – PKC 2020 |
- isbn : 978-3-030-45388-6
- pisbn : 978-3-030-45387-9
|
Fulltext
|
| Advances in Information Retrieval |
- isbn : 978-3-030-45439-5
- pisbn : 978-3-030-45438-8
|
Fulltext
|
| Bioinformatics and Biomedical Engineering |
- isbn : 978-3-030-45385-5
- pisbn : 978-3-030-45384-8
|
Fulltext
|
| Advances in Information Retrieval |
- isbn : 978-3-030-45442-5
- pisbn : 978-3-030-45441-8
|
Fulltext
|
| Machine Learning for Networking |
- isbn : 978-3-030-45778-5
- pisbn : 978-3-030-45777-8
|
Fulltext
|
| Persuasive Technology. Designing for Future Change |
- isbn : 978-3-030-45712-9
- pisbn : 978-3-030-45711-2
|
Fulltext
|