| Computer Aided Verification |
- isbn : 978-3-319-41540-6
- pisbn : 978-3-319-41539-0
|
Fulltext
|
|
|
Fulltext
|
| Computational Processing of the Portuguese Language |
- isbn : 978-3-319-41552-9
- pisbn : 978-3-319-41551-2
|
Fulltext
|
|
|
Fulltext
|
| Biomedical Data Management and Graph Online Querying |
- pisbn : 978-3-319-41575-8
- isbn : 978-3-319-41576-5
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Rule Technologies. Research, Tools, and Applications |
- isbn : 978-3-319-42019-6
- pisbn : 978-3-319-42018-9
|
Fulltext
|
| Natural Language Processing and Information Systems |
- isbn : 978-3-319-41754-7
- pisbn : 978-3-319-41753-0
|
Fulltext
|
| Machine Learning and Data Mining in Pattern Recognition |
- pisbn : 978-3-319-41919-0
- isbn : 978-3-319-41920-6
|
Fulltext
|