
Theory and Practice of Natural Computing
431,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Lectures on Runtime Verification
674,-

Application and Theory of Petri Nets and Concurrency
584,-

Pattern Recognition Applications and Methods
611,-

Numerical Computations - Theory and Algorithms
791,-

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
584,-

Pattern Recognition and Computer Vision
971,-

Theory and Practice of Natural Computing
431,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Lectures on Runtime Verification
674,-

Application and Theory of Petri Nets and Concurrency
584,-

Pattern Recognition Applications and Methods
611,-

Numerical Computations - Theory and Algorithms
791,-

Numerical Computations - Theory and Algorithms
854,-

Numerical Computations - Theory and Algorithms
791,-

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
584,-

Pattern Recognition and Computer Vision
971,-