

Analytical and Stochastic Modelling Techniques and Applications
584,-

Integer Programming and Combinatorial Optimization
584,-

Application and Theory of Petri Nets and Concurrency
1 340,-

Programming Languages with Applications to Biology and Security
584,-

Formal Methods and Software Engineering
584,-

Combinatorial Optimization and Applications
1 124,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Evolutionary Computation in Combinatorial Optimization
584,-

Formal Methods and Software Engineering
584,-

Reversible Computation
512,-

Analytical and Stochastic Modelling Techniques and Applications
584,-

Integer Programming and Combinatorial Optimization
584,-

Application and Theory of Petri Nets and Concurrency
1 340,-

Programming Languages with Applications to Biology and Security
584,-

Formal Methods and Software Engineering
584,-

Combinatorial Optimization and Applications
1 124,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Evolutionary Computation in Combinatorial Optimization
584,-

Formal Methods and Software Engineering
584,-

Reversible Computation
512,-















