Interactive Theorem Proving |
- isbn : 978-3-319-94821-8
- pisbn : 978-3-319-94820-1
|
Fulltext
|
Computational Science and Its Applications – ICCSA 2018 |
- isbn : 978-3-319-95162-1
- pisbn : 978-3-319-95161-4
|
Fulltext
|
Augmented Reality, Virtual Reality, and Computer Graphics |
- isbn : 978-3-319-95282-6
- pisbn : 978-3-319-95281-9
|
Fulltext
|
Augmented Reality, Virtual Reality, and Computer Graphics |
- isbn : 978-3-319-95270-3
- pisbn : 978-3-319-95269-7
|
Fulltext
|
Computational Science and Its Applications – ICCSA 2018 |
- isbn : 978-3-319-95174-4
- pisbn : 978-3-319-95173-7
|
Fulltext
|
Principles of Modeling |
- isbn : 978-3-319-95246-8
- pisbn : 978-3-319-95245-1
|
Fulltext
|
Computational Science and Its Applications – ICCSA 2018 |
- isbn : 978-3-319-95168-3
- pisbn : 978-3-319-95167-6
|
Fulltext
|
Computational Science and Its Applications – ICCSA 2018 |
- isbn : 978-3-319-95171-3
- pisbn : 978-3-319-95170-6
|
Fulltext
|
Formal Grammar 2018 |
- isbn : 978-3-662-57784-4
- pisbn : 978-3-662-57783-7
|
Fulltext
|
Formal Methods |
- isbn : 978-3-319-95582-7
- pisbn : 978-3-319-95581-0
|
Fulltext
|