| Diagrammatic Representation and Inference |
- pisbn : 978-3-662-44042-1
- isbn : 978-3-662-44043-8
|
Fulltext
|
| Interactive Theorem Proving |
- pisbn : 978-3-319-08969-0
- isbn : 978-3-319-08970-6
|
Fulltext
|
| Implementation and Application of Automata |
- pisbn : 978-3-319-08845-7
- isbn : 978-3-319-08846-4
|
Fulltext
|
| From Animals to Animats 13 |
- pisbn : 978-3-319-08863-1
- isbn : 978-3-319-08864-8
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Computational Intelligence Methods for Bioinformatics and Biostatistics |
- pisbn : 978-3-319-09041-2
- isbn : 978-3-319-09042-9
|
Fulltext
|
| Machine Learning and Data Mining in Pattern Recognition |
- pisbn : 978-3-319-08978-2
- isbn : 978-3-319-08979-9
|
Fulltext
|