

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

Foundations of Software Science and Computation Structures
584,-

Formal Aspects of Component Software
584,-

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

Programming Languages and Systems
431,-

Verification and Evaluation of Computer and Communication Systems
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Hardware and Software
476,-

Programming Languages and Systems
1 124,-

Transactions on Pattern Languages of Programming IV
584,-

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

Foundations of Software Science and Computation Structures
584,-

Formal Aspects of Component Software
584,-

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

Programming Languages and Systems
431,-

Verification and Evaluation of Computer and Communication Systems
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Hardware and Software
476,-

Programming Languages and Systems
1 124,-

Transactions on Pattern Languages of Programming IV
584,-














