| Formal Methods: Foundations and Applications |
- isbn : 978-3-642-25032-3
- pisbn : 978-3-642-25031-6
|
Fulltext
|
| Agents in Principle, Agents in Practice |
- isbn : 978-3-642-25044-6
- pisbn : 978-3-642-25043-9
|
Fulltext
|
| Automated Deduction in Geometry |
- isbn : 978-3-642-25070-5
- pisbn : 978-3-642-25069-9
|
Fulltext
|
| Advances in Nonlinear Speech Processing |
- isbn : 978-3-642-25020-0
- pisbn : 978-3-642-25019-4
|
Fulltext
|
| Combinatorial Algorithms |
- isbn : 978-3-642-25011-8
- pisbn : 978-3-642-25010-1
|
Fulltext
|
| The Semantic Web -- ISWC 2011 |
- isbn : 978-3-642-25093-4
- pisbn : 978-3-642-25092-7
|
Fulltext
|
| Motion in Games |
- isbn : 978-3-642-25090-3
- pisbn : 978-3-642-25089-7
|
Fulltext
|
| The Semantic Web -- ISWC 2011 |
- isbn : 978-3-642-25073-6
- pisbn : 978-3-642-25072-9
|
Fulltext
|
| Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications |
- isbn : 978-3-642-25085-9
- pisbn : 978-3-642-25084-2
|
Fulltext
|
| On the Move to Meaningful Internet Systems: OTM 2011 |
- isbn : 978-3-642-25106-1
- pisbn : 978-3-642-25105-4
|
Fulltext
|