| Unifying Theories of Programming and Formal Engineering Methods |
- isbn : 978-3-642-39721-9
- pisbn : 978-3-642-39720-2
|
Fulltext
|
| Transactions on Computational Science XIX |
- isbn : 978-3-642-39759-2
- pisbn : 978-3-642-39758-5
|
Fulltext
|
| Computational Science and Its Applications -- ICCSA 2013 |
- isbn : 978-3-642-39649-6
- pisbn : 978-3-642-39648-9
|
Fulltext
|
| Search Based Software Engineering |
- isbn : 978-3-642-39742-4
- pisbn : 978-3-642-39741-7
|
Fulltext
|
| Hybrid Learning and Continuing Education |
- isbn : 978-3-642-39750-9
- pisbn : 978-3-642-39749-3
|
Fulltext
|
| Reasoning Web. Semantic Technologies for Intelligent Data Access |
- isbn : 978-3-642-39784-4
- pisbn : 978-3-642-39783-7
|
Fulltext
|
| Computer Aided Verification |
- isbn : 978-3-642-39799-8
- pisbn : 978-3-642-39798-1
|
Fulltext
|
| Wireless Access Flexibility |
- isbn : 978-3-642-39805-6
- pisbn : 978-3-642-39804-9
|
Fulltext
|
| Biomimetic and Biohybrid Systems |
- isbn : 978-3-642-39802-5
- pisbn : 978-3-642-39801-8
|
Fulltext
|
| Knowledge Science, Engineering and Management |
- isbn : 978-3-642-39787-5
- pisbn : 978-3-642-39786-8
|
Fulltext
|