
















Theory and Applications of Models of Computation
584,-

Principles of Verification
854,-

Principles of Verification
737,-

Principles of Verification
791,-

Algorithms and Data Structures
1 340,-

Parameterized and Exact Computation
584,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Computer Aided Verification
584,-

Implementation and Application of Automata
584,-

Structural Information and Communication Complexity
584,-

Theory and Applications of Models of Computation
584,-

Principles of Verification
854,-

Principles of Verification
737,-

Principles of Verification
791,-

Algorithms and Data Structures
1 340,-

Parameterized and Exact Computation
584,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Computer Aided Verification
584,-

Implementation and Application of Automata
584,-

Structural Information and Communication Complexity
584,-