

Genetic Programming
674,-

Formal Modeling and Analysis of Timed Systems
584,-

From Bioinspired Systems and Biomedical Applications to Machine Learning
584,-

Genetic Programming
584,-

Modelling and Simulation for Autonomous Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

Formal Aspects of Component Software
476,-

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

Bioinspired Optimization Methods and Their Applications
584,-

Formal Techniques for Distributed Objects, Components, and Systems
1 124,-

Genetic Programming
674,-

Formal Modeling and Analysis of Timed Systems
584,-

From Bioinspired Systems and Biomedical Applications to Machine Learning
584,-

Genetic Programming
584,-

Modelling and Simulation for Autonomous Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

Formal Aspects of Component Software
476,-

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

Bioinspired Optimization Methods and Their Applications
584,-

Formal Techniques for Distributed Objects, Components, and Systems
1 124,-












