Algorithms & data structures

Machine Learning with R: Expert Techniques for Predictive Modeling, 3rd Edition

Brett Lantz

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 16th International Conference, IPMU 2016, Eindhoven, the Netherlands, June 20-24, 2016, Proceedings, Part I

Ronald R. Yager, Susana Vieira, Uzay Kaymak, Joao Paulo Carvalho, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Armin Biere, David Parker

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Lijun Zhang, Tomáš Vojnar

Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Heike Wehrheim, Jordi Cabot

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I

Hana Chockler, Georg Weissenbacher

Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

Dhabaleswar K. Panda

International Symposium on Mathematics, Quantum Theory, and Cryptography: Proceedings of MQC 2019

Tsuyoshi Takagi, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Masato Wakayama

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Peter Müller

Databases Theory and Applications: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings

Muhammad Aamir Cheema, Wenjie Zhang, Lijun Chang