| Integrated Formal Methods |
- isbn : 978-3-642-16265-7
- pisbn : 978-3-642-16264-0
|
Fulltext
|
|
|
Fulltext
|
| Information Hiding |
- pisbn : 978-3-642-16434-7
- isbn : 978-3-642-16435-4
|
Fulltext
|
| Rewriting Logic and Its Applications |
- pisbn : 978-3-642-16309-8
- isbn : 978-3-642-16310-4
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security |
- pisbn : 978-3-642-16073-8
- isbn : 978-3-642-16074-5
|
Fulltext
|
| Facing the Multicore-Challenge |
- pisbn : 978-3-642-16232-9
- isbn : 978-3-642-16233-6
|
Fulltext
|
| Ubiquitous Intelligence and Computing |
- isbn : 978-3-642-16355-5
- pisbn : 978-3-642-16354-8
|
Fulltext
|