| Rewriting and Typed Lambda Calculi |
- isbn : 978-3-319-08918-8
- pisbn : 978-3-319-08917-1
|
Fulltext
|
| Models@run.time |
- isbn : 978-3-319-08915-7
- pisbn : 978-3-319-08914-0
|
Fulltext
|
| Articulated Motion and Deformable Objects |
- isbn : 978-3-319-08849-5
- pisbn : 978-3-319-08848-8
|
Fulltext
|
| Human Language Technology Challenges for Computer Science and Linguistics |
- isbn : 978-3-319-08958-4
- pisbn : 978-3-319-08957-7
|
Fulltext
|
| Advances in Data Mining: Applications and Theoretical Aspects |
- isbn : 978-3-319-08976-8
- pisbn : 978-3-319-08975-1
|
Fulltext
|
| Machine Learning and Data Mining in Pattern Recognition |
- isbn : 978-3-319-08979-9
- pisbn : 978-3-319-08978-2
|
Fulltext
|
| Interactive Theorem Proving |
- isbn : 978-3-319-08970-6
- pisbn : 978-3-319-08969-0
|
Fulltext
|
| Computational Intelligence Methods for Bioinformatics and Biostatistics |
- isbn : 978-3-319-09042-9
- pisbn : 978-3-319-09041-2
|
Fulltext
|
| Pristine Perspectives on Logic, Language and Computation |
- isbn : 978-3-662-44116-9
- pisbn : 978-3-662-44115-2
|
Fulltext
|
| Tests and Proofs |
- isbn : 978-3-319-09099-3
- pisbn : 978-3-319-09098-6
|
Fulltext
|