Computer Aided Verification |
- isbn : 978-3-319-96142-2
- pisbn : 978-3-319-96141-5
- doi : 10.1007/978-3-319-96142-2
|
Fulltext
|
Machine Learning for Dynamic Software Analysis: Potentials and Limits |
- isbn : 978-3-319-96562-8
- pisbn : 978-3-319-96561-1
- doi : 10.1007/978-3-319-96562-8
|
Fulltext
|
Advances in Web-Based Learning – ICWL 2018 |
- isbn : 978-3-319-96565-9
- pisbn : 978-3-319-96564-2
- doi : 10.1007/978-3-319-96565-9
|
Fulltext
|
Advances in Cryptology – CRYPTO 2018 |
- isbn : 978-3-319-96881-0
- pisbn : 978-3-319-96880-3
- doi : 10.1007/978-3-319-96881-0
|
Fulltext
|
Web and Big Data |
- isbn : 978-3-319-96890-2
- pisbn : 978-3-319-96889-6
- doi : 10.1007/978-3-319-96890-2
|
Fulltext
|
Advances in Cryptology – CRYPTO 2018 |
- isbn : 978-3-319-96884-1
- pisbn : 978-3-319-96883-4
- doi : 10.1007/978-3-319-96884-1
|
Fulltext
|
High Performance Computing in Science and Engineering |
- isbn : 978-3-319-97136-0
- pisbn : 978-3-319-97135-3
- doi : 10.1007/978-3-319-97136-0
|
Fulltext
|
PRICAI 2018: Trends in Artificial Intelligence |
- isbn : 978-3-319-97304-3
- pisbn : 978-3-319-97303-6
- doi : 10.1007/978-3-319-97304-3
|
Fulltext
|
Knowledge Management and Acquisition for Intelligent Systems |
- isbn : 978-3-319-97289-3
- pisbn : 978-3-319-97288-6
- doi : 10.1007/978-3-319-97289-3
|
Fulltext
|
Mobile Web and Intelligent Information Systems |
- isbn : 978-3-319-97163-6
- pisbn : 978-3-319-97162-9
- doi : 10.1007/978-3-319-97163-6
|
Fulltext
|