| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems |
- isbn : 978-3-642-29828-8
- pisbn : 978-3-642-29827-1
|
Fulltext
|
| Web Services and Formal Methods |
- isbn : 978-3-642-29834-9
- pisbn : 978-3-642-29833-2
|
Fulltext
|
| Large-Scale Scientific Computing |
- isbn : 978-3-642-29843-1
- pisbn : 978-3-642-29842-4
|
Fulltext
|
| Public Key Infrastructures, Services and Applications |
- isbn : 978-3-642-29804-2
- pisbn : 978-3-642-29803-5
|
Fulltext
|
| Recent Advances in Reinforcement Learning |
- isbn : 978-3-642-29946-9
- pisbn : 978-3-642-29945-2
|
Fulltext
|
| Functional and Logic Programming |
- isbn : 978-3-642-29822-6
- pisbn : 978-3-642-29821-9
|
Fulltext
|
| Runtime Verification |
- isbn : 978-3-642-29860-8
- pisbn : 978-3-642-29859-2
|
Fulltext
|
| Formal Concept Analysis |
- isbn : 978-3-642-29892-9
- pisbn : 978-3-642-29891-2
|
Fulltext
|
| Design Science Research in Information Systems: Advances in Theory and Practice |
- isbn : 978-3-642-29863-9
- pisbn : 978-3-642-29862-2
|
Fulltext
|
| Constructive Side-Channel Analysis and Secure Design |
- isbn : 978-3-642-29912-4
- pisbn : 978-3-642-29911-7
|
Fulltext
|