Verified Software. Theories, Tools, and Experiments |
- isbn : 978-3-030-41600-3
- pisbn : 978-3-030-41599-0
- doi : 10.1007/978-3-030-41600-3
|
Fulltext
|
Complexity and Approximation |
- isbn : 978-3-030-41672-0
- pisbn : 978-3-030-41671-3
- doi : 10.1007/978-3-030-41672-0
|
Fulltext
|
Pattern Recognition |
- isbn : 978-3-030-41299-9
- pisbn : 978-3-030-41298-2
- doi : 10.1007/978-3-030-41299-9
|
Fulltext
|
Information Security Theory and Practice |
- isbn : 978-3-030-41702-4
- pisbn : 978-3-030-41701-7
- doi : 10.1007/978-3-030-41702-4
|
Fulltext
|
Computational Processing of the Portuguese Language |
- isbn : 978-3-030-41505-1
- pisbn : 978-3-030-41504-4
- doi : 10.1007/978-3-030-41505-1
|
Fulltext
|
Pattern Recognition |
- isbn : 978-3-030-41404-7
- pisbn : 978-3-030-41403-0
- doi : 10.1007/978-3-030-41404-7
|
Fulltext
|
Semantic Technology |
- isbn : 978-3-030-41407-8
- pisbn : 978-3-030-41406-1
- doi : 10.1007/978-3-030-41407-8
|
Fulltext
|
Structured Object-Oriented Formal Language and Method |
- isbn : 978-3-030-41418-4
- pisbn : 978-3-030-41417-7
- doi : 10.1007/978-3-030-41418-4
|
Fulltext
|
Intelligent Information and Database Systems |
- isbn : 978-3-030-42058-1
- pisbn : 978-3-030-42057-4
- doi : 10.1007/978-3-030-42058-1
|
Fulltext
|
Intelligent Information and Database Systems |
- isbn : 978-3-030-41964-6
- pisbn : 978-3-030-41963-9
- doi : 10.1007/978-3-030-41964-6
|
Fulltext
|