|
231 |
Applications of automata learning in verification and synthesis Neider, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
232 |
Factorization Models for Multi-Relational Data Drumond, Lucas. - Göttingen : Cuvillier Verlag, 2014, 1. Auflage
|
|
|
233 |
Factorization models for multi-relational data Rêgo Drumond, Lucas. - Göttingen : Cuvillier, 2014, 1. Aufl.
|
|
|
234 |
Generative solver construction for machine learning problems Müller, Jens K., 2014
|
|
|
235 |
Genetic programming Heidelberg : Springer, 2014
|
|
|
236 |
Genetic Programming Cham : Springer International Publishing, 2014
|
|
|
237 |
Graphical models and symmetries: loopy belief propagation approaches Ahmadi, Babak, 2014
|
|
|
238 |
Hybrid classifier Woźniak, Michał. - Heidelberg : Springer, 2014
|
|
|
239 |
Inductive logic programming Heidelberg : Springer, 2014
|
|
|
240 |
Inductive Logic Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 2014, Aufl. 2014
|
|