| Descriptional Complexity of Formal Systems |
- isbn : 978-3-319-94631-3
- pisbn : 978-3-319-94630-6
|
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
|
|
|
Fulltext
|
|
|
Fulltext
|
| Interactive Theorem Proving |
- pisbn : 978-3-319-94820-1
- isbn : 978-3-319-94821-8
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Augmented Reality, Virtual Reality, and Computer Graphics |
- isbn : 978-3-319-95270-3
- pisbn : 978-3-319-95269-7
|
Fulltext
|
| Implementation and Application of Automata |
- isbn : 978-3-319-94812-6
- pisbn : 978-3-319-94811-9
|
Fulltext
|
| Computational Science and Its Applications – ICCSA 2018 |
- isbn : 978-3-319-95174-4
- pisbn : 978-3-319-95173-7
|
Fulltext
|