Representation Theorems in Computer Science A Treatment in Logic Engineering

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II

Computer Supported Cooperative Work and Social Computing 14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16–18, 2019, Revised Selected Papers

Numeric Computation and Statistical Data Analysis on the Java Platform

Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings

Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Artificial Intelligence Accelerates Human Learning Discussion Data Analytics

Computational Intelligence in Data Mining - Volume 3 Proceedings of the International Conference on CIDM, 20-21 December 2014

Computational Intelligence in Data Mining - Volume 1 Proceedings of the International Conference on CIDM, 20-21 December 2014

Computational Intelligence in Data Mining - Volume 2 Proceedings of the International Conference on CIDM, 20-21 December 2014

Constraint Solving and Planning with Picat