|
481 |
Applications of automata learning in verification and synthesis Neider, Daniel, 2014
|
|
|
482 |
Applications of evolutionary computing Heidelberg : Springer, 2014
|
|
|
483 |
Artificial intelligence applications and innovations Heidelberg : Springer, 2014
|
|
|
484 |
Artificial intelligence applications and innovations Heidelberg : Springer, 2014
|
|
|
485 |
Artificial intelligence for knowledge management Heidelberg : Springer, 2014
|
|
|
486 |
Autonomous systems 2014 Düsseldorf : VDI-Verl., 2014
|
|
|
487 |
Belief fuctions Reineking, Thomas, 2014
|
|
|
488 |
Bildverarbeitung und Objekterkennung Süße, Herbert. - Wiesbaden : Springer Vieweg, 2014
|
|
|
489 |
Bio-inspired computing - theories and applications Heidelberg : Springer, 2014
|
|
|
490 |
Cognitive Computing Haun, Matthias. - Berlin : Springer Vieweg, 2014
|
|