|
661 |
Automated reasoning with analytic tableaux and related methods Heidelberg : Springer, 2013
|
|
|
662 |
Autonomous systems 2013 Düsseldorf : VDI-Verl., © 2013, Als Ms. gedr.
|
|
|
663 |
Availability, reliability, and security in information systems and HCI Heidelberg : Springer, 2013
|
|
|
664 |
Belief-based stability in coalition formation with uncertainty Chan, Chi-kong. - Beijing : Higher Education Press, 2013
|
|
|
665 |
Benchmarking digital image forensics using the "Dresden Image Database" Gloe, Thomas, 2013
|
|
|
666 |
Bereitstellung von Umgebungsinformationen und Positionsdaten für ortsbezogene Dienste in Gebäuden Kessel, Moritz, 2013
|
|
|
667 |
Beyond artificial intelligence Berlin : Springer, 2013
|
|
|
668 |
Biologically inspired cognitive architectures 2012 Berlin : Springer, 2013
|
|
|
669 |
Blocking techniques for efficient entity resolution over large, highly heterogeneous information spaces Papadakis, Georgios, 2013
|
|
|
670 |
Case-based reasoning Richter, Michael M.. - Berlin : Springer, 2013
|
|