Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Introduction to Concurrency Theory Transition Systems and CCS

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

Linear Algebra for Computational Sciences and Engineering

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Data Analytics for Renewable Energy Integration Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers

Linear Algebra for Computational Sciences and Engineering