Diagrammatic Representation and Inference |
- isbn : 978-3-662-44043-8
- pisbn : 978-3-662-44042-1
- doi : 10.1007/978-3-662-44043-8
|
Fulltext
|
Interactive Theorem Proving |
- isbn : 978-3-319-08970-6
- pisbn : 978-3-319-08969-0
- doi : 10.1007/978-3-319-08970-6
|
Fulltext
|
Pristine Perspectives on Logic, Language and Computation |
- isbn : 978-3-662-44116-9
- pisbn : 978-3-662-44115-2
- doi : 10.1007/978-3-662-44116-9
|
Fulltext
|
Formal Grammar |
- pisbn : 978-3-662-44120-6
- isbn : 978-3-662-44121-3
- doi : 10.1007/978-3-662-44121-3
|
Fulltext
|
Graph Transformation |
- isbn : 978-3-319-09108-2
- pisbn : 978-3-319-09107-5
- doi : 10.1007/978-3-319-09108-2
|
Fulltext
|
Computational Science and Its Applications - ICCSA 2014 |
- isbn : 978-3-319-09153-2
- pisbn : 978-3-319-09152-5
- doi : 10.1007/978-3-319-09153-2
|
Fulltext
|
Combinatorial Optimization |
- isbn : 978-3-319-09174-7
- pisbn : 978-3-319-09173-0
- doi : 10.1007/978-3-319-09174-7
|
Fulltext
|
Computers and Games |
- pisbn : 978-3-319-09164-8
- isbn : 978-3-319-09165-5
- doi : 10.1007/978-3-319-09165-5
|
Fulltext
|
Coalgebraic Methods in Computer Science |
- pisbn : 978-3-662-44123-7
- isbn : 978-3-662-44124-4
- doi : 10.1007/978-3-662-44124-4
|
Fulltext
|
Computational Science and Its Applications - ICCSA 2014 |
- pisbn : 978-3-319-09149-5
- isbn : 978-3-319-09150-1
- doi : 10.1007/978-3-319-09150-1
|
Fulltext
|