Web-Age Information Management. WAIM 2010 Workshops |
- isbn : 978-3-642-16720-1
- pisbn : 978-3-642-16719-5
- doi : 10.1007/978-3-642-16720-1
|
Fulltext
|
Leveraging Applications of Formal Methods, Verification, and Validation |
- isbn : 978-3-642-16558-0
- pisbn : 978-3-642-16557-3
- doi : 10.1007/978-3-642-16558-0
|
Fulltext
|
On the Move to Meaningful Internet Systems, OTM 2010 |
- isbn : 978-3-642-16934-2
- pisbn : 978-3-642-16933-5
- doi : 10.1007/978-3-642-16934-2
|
Fulltext
|
On the Move to Meaningful Internet Systems: OTM 2010 |
- isbn : 978-3-642-16961-8
- pisbn : 978-3-642-16960-1
- doi : 10.1007/978-3-642-16961-8
|
Fulltext
|
Motion in Games |
- isbn : 978-3-642-16958-8
- pisbn : 978-3-642-16957-1
- doi : 10.1007/978-3-642-16958-8
|
Fulltext
|
Intelligent Robotics and Applications |
- isbn : 978-3-642-16587-0
- pisbn : 978-3-642-16586-3
- doi : 10.1007/978-3-642-16587-0
|
Fulltext
|
Graph-Theoretic Concepts in Computer Science |
- isbn : 978-3-642-16926-7
- pisbn : 978-3-642-16925-0
- doi : 10.1007/978-3-642-16926-7
|
Fulltext
|
Information Security and Cryptology |
- isbn : 978-3-642-16342-5
- pisbn : 978-3-642-16341-8
- doi : 10.1007/978-3-642-16342-5
|
Fulltext
|
Formal Methods for Components and Objects |
- isbn : 978-3-642-17071-3
- pisbn : 978-3-642-17070-6
- doi : 10.1007/978-3-642-17071-3
|
Fulltext
|
Human-Centred Software Engineering |
- isbn : 978-3-642-16488-0
- pisbn : 978-3-642-16487-3
- doi : 10.1007/978-3-642-16488-0
|
Fulltext
|