

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
1 124,-

Optimization and Applications
674,-

Integer Programming and Combinatorial Optimization
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Recent Trends in Algebraic Development Techniques
584,-

Formal Methods
674,-

Principles of Verification
791,-

Principles of Verification
854,-

Principles of Verification
737,-

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
1 124,-

Optimization and Applications
674,-

Integer Programming and Combinatorial Optimization
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Recent Trends in Algebraic Development Techniques
584,-

Formal Methods
674,-

Principles of Verification
791,-

Principles of Verification
854,-

Principles of Verification
737,-














