| Artificial Neural Networks: Biological Inspirations – ICANN 2005 |
- isbn : 978-3-540-28754-4
- pisbn : 978-3-540-28752-0
|
Fulltext
|
| Power-Aware Computer Systems |
- isbn : 978-3-540-31485-1
- pisbn : 978-3-540-29790-1
|
Fulltext
|
| Trustworthy Global Computing |
- isbn : 978-3-540-31483-7
- pisbn : 978-3-540-30007-6
|
Fulltext
|
| Distributed Computing |
- isbn : 978-3-540-32075-3
- pisbn : 978-3-540-29163-3
|
Fulltext
|
| Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2005 |
- isbn : 978-3-540-32095-1
- pisbn : 978-3-540-29326-2
|
Fulltext
|
| AI 2010: Advances in Artificial Intelligence |
- isbn : 978-3-642-17432-2
- pisbn : 978-3-642-17431-5
|
Fulltext
|
| Logic and Its Applications |
- isbn : 978-3-642-18026-2
- pisbn : 978-3-642-18025-5
|
Fulltext
|
| Typed Lambda Calculi and Applications |
- isbn : 978-3-540-32014-2
- pisbn : 978-3-540-25593-2
|
Fulltext
|
| Verification, Model Checking, and Abstract Interpretation |
- isbn : 978-3-540-30579-8
- pisbn : 978-3-540-24297-0
|
Fulltext
|
| Theory and Applications of Satisfiability Testing |
- isbn : 978-3-540-31580-3
- pisbn : 978-3-540-27829-0
|
Fulltext
|