| Model-Based Methodologies for Pervasive and Embedded Software |
- isbn : 978-3-642-38209-3
- pisbn : 978-3-642-38208-6
|
Fulltext
|
| Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-642-38197-3
- pisbn : 978-3-642-38196-6
|
Fulltext
|
| Web Services and Formal Methods |
- isbn : 978-3-642-38230-7
- pisbn : 978-3-642-38229-1
|
Fulltext
|
| Advanced Infocomm Technology |
- isbn : 978-3-642-38227-7
- pisbn : 978-3-642-38226-0
|
Fulltext
|
| Graph-Based Representations in Pattern Recognition |
- isbn : 978-3-642-38221-5
- pisbn : 978-3-642-38220-8
|
Fulltext
|
| Theory and Applications of Models of Computation |
- isbn : 978-3-642-38236-9
- pisbn : 978-3-642-38235-2
|
Fulltext
|
| Algorithms and Complexity |
- isbn : 978-3-642-38233-8
- pisbn : 978-3-642-38232-1
|
Fulltext
|
| Optical Supercomputing |
- isbn : 978-3-642-38250-5
- pisbn : 978-3-642-38249-9
|
Fulltext
|
| Scale Space and Variational Methods in Computer Vision |
- isbn : 978-3-642-38267-3
- pisbn : 978-3-642-38266-6
|
Fulltext
|
| The Semantic Web: Semantics and Big Data |
- isbn : 978-3-642-38288-8
- pisbn : 978-3-642-38287-1
|
Fulltext
|