Theoretical Computer Science |
- isbn : 978-3-540-32881-0
- pisbn : 978-3-540-32880-3
- doi : 10.1007/11685654
|
Fulltext
|
The Seventeen Provers of the World |
- isbn : 978-3-540-32888-9
- pisbn : 978-3-540-30704-4
- doi : 10.1007/11542384
|
Fulltext
|
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search |
- isbn : 978-3-540-32760-8
- pisbn : 978-3-540-32759-2
- doi : 10.1007/11682110
|
Fulltext
|
Applied Parallel Computing |
- isbn : 978-3-540-33498-9
- pisbn : 978-3-540-29067-4
- doi : 10.1007/11558958
|
Fulltext
|
Automated Reasoning |
- isbn : 978-3-540-37188-5
- pisbn : 978-3-540-37187-8
- doi : 10.1007/11814771
|
Fulltext
|
Computer Vision -- ECCV 2006 |
- isbn : 978-3-540-33837-6
- pisbn : 978-3-540-33836-9
- doi : 10.1007/11744078
|
Fulltext
|
Mathematical Foundations of Computer Science 2006 |
- isbn : 978-3-540-37793-1
- pisbn : 978-3-540-37791-7
- doi : 10.1007/11821069
|
Fulltext
|
Computer Aided Verification |
- isbn : 978-3-540-37411-4
- pisbn : 978-3-540-37406-0
- doi : 10.1007/11817963
|
Fulltext
|
Cognitive Vision Systems |
- isbn : 978-3-540-33972-4
- pisbn : 978-3-540-33971-7
- doi : 10.1007/11414353
|
Fulltext
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems |
- isbn : 978-3-540-35176-4
- pisbn : 978-3-540-35173-3
- doi : 10.1007/11775331
|
Fulltext
|