Parallel Computing Technologies |
- isbn : 978-3-319-62932-2
- pisbn : 978-3-319-62931-5
|
Fulltext
|
Intelligent Computing Theories and Application |
- isbn : 978-3-319-63312-1
- pisbn : 978-3-319-63311-4
|
Fulltext
|
Intelligent Computing Methodologies |
- isbn : 978-3-319-63315-2
- pisbn : 978-3-319-63314-5
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-319-63390-9
- pisbn : 978-3-319-63389-3
|
Fulltext
|
Inductive Logic Programming |
- isbn : 978-3-319-63342-8
- pisbn : 978-3-319-63341-1
|
Fulltext
|
Web and Big Data |
- isbn : 978-3-319-63579-8
- pisbn : 978-3-319-63578-1
|
Fulltext
|
Web and Big Data |
- isbn : 978-3-319-63564-4
- pisbn : 978-3-319-63563-7
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-319-63387-9
- pisbn : 978-3-319-63386-2
|
Fulltext
|
Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-319-63139-4
- pisbn : 978-3-319-63138-7
|
Fulltext
|
Knowledge Science, Engineering and Management |
- isbn : 978-3-319-63558-3
- pisbn : 978-3-319-63557-6
|
Fulltext
|