Hybrid Artificial Intelligence Systems |
- isbn : 978-3-642-02319-4
- pisbn : 978-3-642-02318-7
- doi : 10.1007/978-3-642-02319-4
|
Fulltext
|
Theory and Applications of Satisfiability Testing - SAT 2009 |
- isbn : 978-3-642-02777-2
- pisbn : 978-3-642-02776-5
- doi : 10.1007/978-3-642-02777-2
|
Fulltext
|
Theory and Practice of Model Transformations |
- isbn : 978-3-642-02408-5
- pisbn : 978-3-642-02407-8
- doi : 10.1007/978-3-642-02408-5
|
Fulltext
|
Computational Intelligence Methods for Bioinformatics and Biostatistics |
- isbn : 978-3-642-02504-4
- pisbn : 978-3-642-02503-7
- doi : 10.1007/978-3-642-02504-4
|
Fulltext
|
Algorithmics of Large and Complex Networks |
- isbn : 978-3-642-02094-0
- pisbn : 978-3-642-02093-3
- doi : 10.1007/978-3-642-02094-0
|
Fulltext
|
Ambient Assistive Health and Wellness Management in the Heart of the City |
- isbn : 978-3-642-02868-7
- pisbn : 978-3-642-02867-0
- doi : 10.1007/978-3-642-02868-7
|
Fulltext
|
Software Composition |
- isbn : 978-3-642-02655-3
- pisbn : 978-3-642-02654-6
- doi : 10.1007/978-3-642-02655-3
|
Fulltext
|
Tests and Proofs |
- isbn : 978-3-642-02949-3
- pisbn : 978-3-642-02948-6
- doi : 10.1007/978-3-642-02949-3
|
Fulltext
|
Autonomic and Trusted Computing |
- isbn : 978-3-642-02704-8
- pisbn : 978-3-642-02703-1
- doi : 10.1007/978-3-642-02704-8
|
Fulltext
|
Intelligent Computer Mathematics |
- isbn : 978-3-642-02614-0
- pisbn : 978-3-642-02613-3
- doi : 10.1007/978-3-642-02614-0
|
Fulltext
|