| Implementation and Application of Functional Languages |
- isbn : 978-3-642-24276-2
- pisbn : 978-3-642-24275-5
|
Fulltext
|
| Modeling and Using Context |
- isbn : 978-3-642-24279-3
- pisbn : 978-3-642-24278-6
|
Fulltext
|
| Computer Architecture |
- isbn : 978-3-642-24322-6
- pisbn : 978-3-642-24321-9
|
Fulltext
|
| Provable Security |
- isbn : 978-3-642-24316-5
- pisbn : 978-3-642-24315-8
|
Fulltext
|
| Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-642-24310-3
- pisbn : 978-3-642-24309-7
|
Fulltext
|
| Machine Learning in Medical Imaging |
- isbn : 978-3-642-24319-6
- pisbn : 978-3-642-24318-9
|
Fulltext
|
| Frontiers of Combining Systems |
- isbn : 978-3-642-24364-6
- pisbn : 978-3-642-24363-9
|
Fulltext
|
| Rough Set and Knowledge Technology |
- isbn : 978-3-642-24425-4
- pisbn : 978-3-642-24424-7
|
Fulltext
|
| Automated Technology for Verification and Analysis |
- isbn : 978-3-642-24372-1
- pisbn : 978-3-642-24371-4
|
Fulltext
|
| Photogrammetric Image Analysis |
- isbn : 978-3-642-24393-6
- pisbn : 978-3-642-24392-9
|
Fulltext
|