Algorithms for Functional Programming

Multimodal Optimization by Means of Evolutionary Algorithms

Computational Complexity of Solving Equation Systems

Limits of Computation From a Programming Perspective

Information-Theoretic Evaluation for Computational Biomedical Ontologies

Random Numbers and Computers

Instruction Selection Principles, Methods, and Applications

Research in Computational Molecular Biology 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings

Research in Computational Molecular Biology 18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014, Proceedings

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings

Post-Quantum Cryptography 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings