| Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-319-94460-9
- pisbn : 978-3-319-94459-3
|
Fulltext
|
| Blended Learning. Enhancing Learning Success |
- isbn : 978-3-319-94505-7
- pisbn : 978-3-319-94504-0
|
Fulltext
|
| Engineering Secure Software and Systems |
- isbn : 978-3-319-94496-8
- pisbn : 978-3-319-94495-1
|
Fulltext
|
| Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection |
- isbn : 978-3-319-94580-4
- pisbn : 978-3-319-94579-8
|
Fulltext
|
| Combinatorial Algorithms |
- isbn : 978-3-319-94667-2
- pisbn : 978-3-319-94666-5
|
Fulltext
|
| Articulated Motion and Deformable Objects |
- isbn : 978-3-319-94544-6
- pisbn : 978-3-319-94543-9
|
Fulltext
|
| Descriptional Complexity of Formal Systems |
- isbn : 978-3-319-94631-3
- pisbn : 978-3-319-94630-6
|
Fulltext
|
| Computing and Combinatorics |
- isbn : 978-3-319-94776-1
- pisbn : 978-3-319-94775-4
|
Fulltext
|
| Implementation and Application of Automata |
- isbn : 978-3-319-94812-6
- pisbn : 978-3-319-94811-9
|
Fulltext
|
| Bioinformatics Research and Applications |
- isbn : 978-3-319-94968-0
- pisbn : 978-3-319-94967-3
|
Fulltext
|