Series: Theoretical Computer Science and General Issues

Formal Methods Teaching

Latent Variable Analysis and Signal Separation

Relational and Algebraic Methods in Computer Science

Logic-Based Program Synthesis and Transformation

Central European Functional Programming School

Developments in Language Theory

Artificial Neural Networks and Machine Learning – ICANN 2020

Computer Algebra in Scientific Computing

Advances in Swarm Intelligence

Network and Parallel Computing

Neural Information Processing

Artificial Neural Networks and Machine Learning – ICANN 2021

Topics in Theoretical Computer Science

Experimental Algorithms

Large-Scale Scientific Computing

Tools and Algorithms for the Construction and Analysis of Systems

Computational Science and Its Applications – ICCSA 2017