Computer Aided Verification |
- isbn : 978-3-319-63390-9
- pisbn : 978-3-319-63389-3
- doi : 10.1007/978-3-319-63390-9
|
Fulltext
|
Intelligent Computing Theories and Application |
- isbn : 978-3-319-63309-1
- pisbn : 978-3-319-63308-4
- doi : 10.1007/978-3-319-63309-1
|
Fulltext
|
Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-319-63139-4
- pisbn : 978-3-319-63138-7
- doi : 10.1007/978-3-319-63139-4
|
Fulltext
|
Web and Big Data |
- isbn : 978-3-319-63579-8
- pisbn : 978-3-319-63578-1
- doi : 10.1007/978-3-319-63579-8
|
Fulltext
|
Biomimetic and Biohybrid Systems |
- isbn : 978-3-319-63537-8
- pisbn : 978-3-319-63536-1
- doi : 10.1007/978-3-319-63537-8
|
Fulltext
|
Inductive Logic Programming |
- isbn : 978-3-319-63342-8
- pisbn : 978-3-319-63341-1
- doi : 10.1007/978-3-319-63342-8
|
Fulltext
|
Automated Deduction – CADE 26 |
- isbn : 978-3-319-63046-5
- pisbn : 978-3-319-63045-8
- doi : 10.1007/978-3-319-63046-5
|
Fulltext
|
Advances in Cryptology – CRYPTO 2017 |
- isbn : 978-3-319-63688-7
- pisbn : 978-3-319-63687-0
- doi : 10.1007/978-3-319-63688-7
|
Fulltext
|
Advances in Cryptology – CRYPTO 2017 |
- isbn : 978-3-319-63715-0
- pisbn : 978-3-319-63714-3
- doi : 10.1007/978-3-319-63715-0
|
Fulltext
|
Advances in Cryptology – CRYPTO 2017 |
- isbn : 978-3-319-63697-9
- pisbn : 978-3-319-63696-2
- doi : 10.1007/978-3-319-63697-9
|
Fulltext
|