

Algorithms and Complexity
791,-

Evolutionary Computation in Combinatorial Optimization
584,-

Algorithms and Complexity
737,-

Principles of Verification
791,-

Principles of Verification
854,-

Principles of Verification
737,-

Practical Aspects of Declarative Languages
584,-

Combinatorial Optimization and Applications
1 214,-

Analysis of Experimental Algorithms
854,-

Formal Methods for Components and Objects
476,-

Algorithms and Complexity
791,-

Evolutionary Computation in Combinatorial Optimization
584,-

Algorithms and Complexity
737,-

Principles of Verification
791,-

Principles of Verification
854,-

Principles of Verification
737,-

Practical Aspects of Declarative Languages
584,-

Combinatorial Optimization and Applications
1 214,-

Analysis of Experimental Algorithms
854,-

Formal Methods for Components and Objects
476,-















