
Theory and Applications of Models of Computation
584,-

Parameterized and Exact Computation
584,-

Theory and Applications of Models of Computation
584,-

Next Generation Arithmetic
611,-

Algorithms and Data Structures
1 340,-

Recent Trends in Algebraic Development Techniques
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Computational Complexity and Local Algorithms
854,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-

Theory and Applications of Models of Computation
584,-

Parameterized and Exact Computation
584,-

Theory and Applications of Models of Computation
584,-

Next Generation Arithmetic
611,-

Algorithms and Data Structures
1 340,-

Recent Trends in Algebraic Development Techniques
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Computational Complexity and Local Algorithms
854,-

Computer Aided Verification
584,-

Computer Aided Verification
584,-