

PRIMA 2017
584,-

Machine Learning for Dynamic Software Analysis: Potentials and Limits
611,-

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

Coordination Models and Languages
584,-

Provenance and Annotation of Data and Processes
584,-

Coordination Models and Languages
584,-

Neural-symbolic Learning and Reasoning
1 466,-

Neural-symbolic Learning and Reasoning
1 466,-

Practical Aspects of Declarative Languages
584,-

Theory and Practice of Natural Computing
611,-

PRIMA 2017
584,-

Machine Learning for Dynamic Software Analysis: Potentials and Limits
611,-

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

Coordination Models and Languages
584,-

Provenance and Annotation of Data and Processes
584,-

Coordination Models and Languages
584,-

Neural-symbolic Learning and Reasoning
1 466,-

Neural-symbolic Learning and Reasoning
1 466,-

Practical Aspects of Declarative Languages
584,-

Theory and Practice of Natural Computing
611,-













