

Coordination Models and Languages
584,-

Coordination Models and Languages
1 214,-

Coordination Models and Languages
791,-

Practical Aspects of Declarative Languages
584,-

Coordination Models and Languages
584,-

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation
584,-

Functional and Constraint Logic Programming
584,-

High-Performance Modelling and Simulation for Big Data Applications
584,-

Formal Aspects of Component Software
476,-

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

Coordination Models and Languages
584,-

Coordination Models and Languages
1 214,-

Coordination Models and Languages
791,-

Practical Aspects of Declarative Languages
584,-

Coordination Models and Languages
584,-

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation
584,-

Functional and Constraint Logic Programming
584,-

High-Performance Modelling and Simulation for Big Data Applications
584,-

Formal Aspects of Component Software
476,-

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













