On the Move to Meaningful Internet Systems: OTM 2013 Workshops |
- isbn : 978-3-642-41033-8
- pisbn : 978-3-642-41032-1
- doi : 10.1007/978-3-642-41033-8
|
Fulltext
|
Formal Methods for Industrial Critical Systems |
- isbn : 978-3-642-41010-9
- pisbn : 978-3-642-41009-3
- doi : 10.1007/978-3-642-41010-9
|
Fulltext
|
Computational Logistics |
- isbn : 978-3-642-41019-2
- pisbn : 978-3-642-41018-5
- doi : 10.1007/978-3-642-41019-2
|
Fulltext
|
Abdominal Imaging. Computational and Clinical Applications |
- pisbn : 978-3-642-41082-6
- isbn : 978-3-642-41083-3
- doi : 10.1007/978-3-642-41083-3
|
Fulltext
|
Reachability Problems |
- isbn : 978-3-642-41036-9
- pisbn : 978-3-642-41035-2
- doi : 10.1007/978-3-642-41036-9
|
Fulltext
|
String Processing and Information Retrieval |
- pisbn : 978-3-319-02431-8
- isbn : 978-3-319-02432-5
- doi : 10.1007/978-3-319-02432-5
|
Fulltext
|
Formal Methods: Foundations and Applications |
- isbn : 978-3-642-41071-0
- pisbn : 978-3-642-41070-3
- doi : 10.1007/978-3-642-41071-0
|
Fulltext
|
Trustworthy Global Computing |
- isbn : 978-3-642-41157-1
- pisbn : 978-3-642-41156-4
- doi : 10.1007/978-3-642-41157-1
|
Fulltext
|
Web Information Systems Engineering -- WISE 2013 |
- isbn : 978-3-642-41154-0
- pisbn : 978-3-642-41153-3
- doi : 10.1007/978-3-642-41154-0
|
Fulltext
|
Haptic and Audio Interaction Design |
- isbn : 978-3-642-41068-0
- pisbn : 978-3-642-41067-3
- doi : 10.1007/978-3-642-41068-0
|
Fulltext
|