

Evolutionary Computation in Combinatorial Optimization
1 124,-

Evolutionary Computation in Combinatorial Optimization
611,-

Combinatorial Optimization and Applications
1 124,-

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

Combinatorial Optimization
791,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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

Lectures on Runtime Verification
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Evolutionary Computation in Combinatorial Optimization
1 124,-

Evolutionary Computation in Combinatorial Optimization
611,-

Combinatorial Optimization and Applications
1 124,-

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

Combinatorial Optimization
791,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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

Lectures on Runtime Verification
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-















