Automated Deduction in Geometry |
- isbn : 978-3-642-21046-4
- pisbn : 978-3-642-21045-7
|
Fulltext
|
Graph-Based Representations in Pattern Recognition |
- isbn : 978-3-642-20844-7
- pisbn : 978-3-642-20843-0
|
Fulltext
|
GeoSpatial Semantics |
- isbn : 978-3-642-20630-6
- pisbn : 978-3-642-20629-0
|
Fulltext
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems |
- isbn : 978-3-642-21311-3
- pisbn : 978-3-642-21310-6
|
Fulltext
|
Information Theoretic Security |
- isbn : 978-3-642-20728-0
- pisbn : 978-3-642-20727-3
|
Fulltext
|
Transactions on Computational Systems Biology XIII |
- isbn : 978-3-642-19748-2
- pisbn : 978-3-642-19747-5
|
Fulltext
|
7th International Conference on Automated Deduction |
- isbn : 978-0-387-34768-4
- pisbn : 978-0-387-96022-7
|
Fulltext
|
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution |
- isbn : 978-3-642-20795-2
- pisbn : 978-3-642-20794-5
|
Fulltext
|
The Semantic Web: Research and Applications |
- isbn : 978-3-642-21034-1
- pisbn : 978-3-642-21033-4
|
Fulltext
|
Information Security Practice and Experience |
- isbn : 978-3-642-21031-0
- pisbn : 978-3-642-21030-3
|
Fulltext
|