

Integer Programming and Combinatorial Optimization
674,-

Algorithms and Architectures for Parallel Processing
584,-

Formal Methods and Software Engineering
584,-

Programming Languages with Applications to Biology and Security
584,-

Software Verification
611,-

Cellular Automata and Discrete Complex Systems
584,-

Reversible Computation
512,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Analytical and Stochastic Modelling Techniques and Applications
584,-

Integer Programming and Combinatorial Optimization
674,-

Algorithms and Architectures for Parallel Processing
584,-

Formal Methods and Software Engineering
584,-

Programming Languages with Applications to Biology and Security
584,-

Software Verification
611,-

Cellular Automata and Discrete Complex Systems
584,-

Reversible Computation
512,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Analytical and Stochastic Modelling Techniques and Applications
584,-















