

















Formal Techniques for Distributed Objects, Components, and Systems
737,-

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

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

Formal Aspects of Component Software
584,-

Hardware and Software
476,-

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

Next Generation Computer Animation Techniques
584,-

Trends in Functional Programming
458,-

Advances in Computational Intelligence
1 124,-

Radio Frequency Identification and IoT Security
584,-

Formal Techniques for Distributed Objects, Components, and Systems
737,-

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

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

Formal Aspects of Component Software
584,-

Hardware and Software
476,-

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

Next Generation Computer Animation Techniques
584,-

Trends in Functional Programming
458,-

Advances in Computational Intelligence
1 124,-

Radio Frequency Identification and IoT Security
584,-