|
|
Fulltext
|
| Formal Methods for Industrial Critical Systems |
- isbn : 978-3-642-24431-5
- pisbn : 978-3-642-24430-8
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Research and Advanced Technology for Digital Libraries |
- pisbn : 978-3-642-24468-1
- isbn : 978-3-642-24469-8
|
Fulltext
|
| String Processing and Information Retrieval |
- isbn : 978-3-642-24583-1
- pisbn : 978-3-642-24582-4
|
Fulltext
|
|
|
Fulltext
|
| Testing Software and Systems |
- isbn : 978-3-642-24580-0
- pisbn : 978-3-642-24579-4
|
Fulltext
|
| Transactions on High-Performance Embedded Architectures and Compilers IV |
- isbn : 978-3-642-24568-8
- pisbn : 978-3-642-24567-1
|
Fulltext
|
|
|
Fulltext
|