| Leveraging Applications of Formal Methods, Verification and Validation |
- isbn : 978-3-642-34026-0
- pisbn : 978-3-642-34025-3
|
Fulltext
|
| Fast Software Encryption |
- isbn : 978-3-642-34047-5
- pisbn : 978-3-642-34046-8
|
Fulltext
|
| Leveraging Applications of Formal Methods, Verification and Validation |
- isbn : 978-3-642-34032-1
- pisbn : 978-3-642-34031-4
|
Fulltext
|
| Large-Scale Complex IT Systems. Development, Operation and Management |
- isbn : 978-3-642-34059-8
- pisbn : 978-3-642-34058-1
|
Fulltext
|
| Information Computing and Applications |
- isbn : 978-3-642-34062-8
- pisbn : 978-3-642-34061-1
|
Fulltext
|
| Outdoor and Large-Scale Real-World Scene Analysis |
- isbn : 978-3-642-34091-8
- pisbn : 978-3-642-34090-1
|
Fulltext
|
| Computational Issues in Fluid Construction Grammar |
- isbn : 978-3-642-34120-5
- pisbn : 978-3-642-34119-9
|
Fulltext
|
| String Processing and Information Retrieval |
- isbn : 978-3-642-34109-0
- pisbn : 978-3-642-34108-3
|
Fulltext
|
| Rewriting Logic and Its Applications |
- isbn : 978-3-642-34005-5
- pisbn : 978-3-642-34004-8
|
Fulltext
|
| Social Robotics |
- isbn : 978-3-642-34103-8
- pisbn : 978-3-642-34102-1
|
Fulltext
|