High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation |
- isbn : 978-3-319-17248-4
- pisbn : 978-3-319-17247-7
- doi : 10.1007/978-3-319-17248-4
|
Fulltext
|
Structured Object-Oriented Formal Language and Method |
- isbn : 978-3-319-17404-4
- pisbn : 978-3-319-17403-7
- doi : 10.1007/978-3-319-17404-4
|
Fulltext
|
Logic, Language, and Computation |
- isbn : 978-3-662-46906-4
- pisbn : 978-3-662-46905-7
- doi : 10.1007/978-3-662-46906-4
|
Fulltext
|
Logic-Based Program Synthesis and Transformation |
- isbn : 978-3-319-17822-6
- pisbn : 978-3-319-17821-9
- doi : 10.1007/978-3-319-17822-6
|
Fulltext
|
Integration of AI and OR Techniques in Constraint Programming |
- isbn : 978-3-319-18008-3
- pisbn : 978-3-319-18007-6
- doi : 10.1007/978-3-319-18008-3
|
Fulltext
|
Knowledge Engineering and Knowledge Management |
- isbn : 978-3-319-17966-7
- pisbn : 978-3-319-17965-0
- doi : 10.1007/978-3-319-17966-7
|
Fulltext
|
Advances in Knowledge Discovery and Data Mining |
- isbn : 978-3-319-18032-8
- pisbn : 978-3-319-18031-1
- doi : 10.1007/978-3-319-18032-8
|
Fulltext
|
Web and Wireless Geographical Information Systems |
- isbn : 978-3-319-18251-3
- pisbn : 978-3-319-18250-6
- doi : 10.1007/978-3-319-18251-3
|
Fulltext
|
Computational Linguistics and Intelligent Text Processing |
- isbn : 978-3-319-18117-2
- pisbn : 978-3-319-18116-5
- doi : 10.1007/978-3-319-18117-2
|
Fulltext
|
Transactions on Computational Science XXV |
- isbn : 978-3-662-47074-9
- pisbn : 978-3-662-47073-2
- doi : 10.1007/978-3-662-47074-9
|
Fulltext
|