Theory and Practice of Model Transformations |
- isbn : 978-3-319-21155-8
- pisbn : 978-3-319-21154-1
- doi : 10.1007/978-3-319-21155-8
|
Fulltext
|
Graph Transformation |
- pisbn : 978-3-319-21144-2
- isbn : 978-3-319-21145-9
- doi : 10.1007/978-3-319-21145-9
|
Fulltext
|
Artificial General Intelligence |
- isbn : 978-3-319-21365-1
- pisbn : 978-3-319-21364-4
- doi : 10.1007/978-3-319-21365-1
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- pisbn : 978-3-319-21406-1
- isbn : 978-3-319-21407-8
- doi : 10.1007/978-3-319-21407-8
|
Fulltext
|
Constructive Side-Channel Analysis and Secure Design |
- pisbn : 978-3-319-21475-7
- isbn : 978-3-319-21476-4
- doi : 10.1007/978-3-319-21476-4
|
Fulltext
|
Computational Science and Its Applications -- ICCSA 2015 |
- isbn : 978-3-319-21410-8
- pisbn : 978-3-319-21409-2
- doi : 10.1007/978-3-319-21410-8
|
Fulltext
|
Computer Aided Verification |
- pisbn : 978-3-319-21667-6
- isbn : 978-3-319-21668-3
- doi : 10.1007/978-3-319-21668-3
|
Fulltext
|
Rule Technologies: Foundations, Tools, and Applications |
- pisbn : 978-3-319-21541-9
- isbn : 978-3-319-21542-6
- doi : 10.1007/978-3-319-21542-6
|
Fulltext
|
Unconventional Computation and Natural Computation |
- pisbn : 978-3-319-21818-2
- isbn : 978-3-319-21819-9
- doi : 10.1007/978-3-319-21819-9
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-319-21690-4
- pisbn : 978-3-319-21689-8
- doi : 10.1007/978-3-319-21690-4
|
Fulltext
|