| Automated Technology for Verification and Analysis |
- pisbn : 978-3-642-15642-7
- isbn : 978-3-642-15643-4
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Model Driven Engineering Languages and Systems |
- isbn : 978-3-642-16145-2
- pisbn : 978-3-642-16144-5
|
Fulltext
|
| Model Driven Engineering Languages and Systems |
- isbn : 978-3-642-16129-2
- pisbn : 978-3-642-16128-5
|
Fulltext
|
| Transactions on Computational Science IX |
- pisbn : 978-3-642-16006-6
- isbn : 978-3-642-16007-3
|
Fulltext
|
| Information Security and Privacy |
- isbn : 978-3-642-14081-5
- pisbn : 978-3-642-14080-8
|
Fulltext
|
| Computer Vision -- ECCV 2010 |
- isbn : 978-3-642-15558-1
- pisbn : 978-3-642-15557-4
|
Fulltext
|
| Methods and Tools of Parallel Programming Multicomputers |
- isbn : 978-3-642-14822-4
- pisbn : 978-3-642-14821-7
|
Fulltext
|
| Programming Multi-Agent Systems |
- isbn : 978-3-642-14843-9
- pisbn : 978-3-642-14842-2
|
Fulltext
|