NASA Formal Methods |
- isbn : 978-3-642-38088-4
- pisbn : 978-3-642-38087-7
- doi : 10.1007/978-3-642-38088-4
|
Fulltext
|
Bioinformatics Research and Applications |
- isbn : 978-3-642-38036-5
- pisbn : 978-3-642-38035-8
- doi : 10.1007/978-3-642-38036-5
|
Fulltext
|
Augmented Environments for Computer-Assisted Interventions |
- isbn : 978-3-642-38085-3
- pisbn : 978-3-642-38084-6
- doi : 10.1007/978-3-642-38085-3
|
Fulltext
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems |
- isbn : 978-3-642-38171-3
- pisbn : 978-3-642-38170-6
- doi : 10.1007/978-3-642-38171-3
|
Fulltext
|
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky |
- isbn : 978-3-642-38164-5
- pisbn : 978-3-642-38163-8
- doi : 10.1007/978-3-642-38164-5
|
Fulltext
|
Theory and Applications of Models of Computation |
- isbn : 978-3-642-38236-9
- pisbn : 978-3-642-38235-2
- doi : 10.1007/978-3-642-38236-9
|
Fulltext
|
Advanced Infocomm Technology |
- isbn : 978-3-642-38227-7
- pisbn : 978-3-642-38226-0
- doi : 10.1007/978-3-642-38227-7
|
Fulltext
|
Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-642-38197-3
- pisbn : 978-3-642-38196-6
- doi : 10.1007/978-3-642-38197-3
|
Fulltext
|
Artificial Intelligence in Medicine |
- isbn : 978-3-642-38326-7
- pisbn : 978-3-642-38325-0
- doi : 10.1007/978-3-642-38326-7
|
Fulltext
|
Computational Intelligence Methods for Bioinformatics and Biostatistics |
- isbn : 978-3-642-38342-7
- pisbn : 978-3-642-38341-0
- doi : 10.1007/978-3-642-38342-7
|
Fulltext
|