
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability
476,-

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

PRIMA 2019
1 124,-

Foundations of Security, Protocols, and Equational Reasoning
584,-

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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
674,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
928,-

Model-Based Safety and Assessment
584,-

Critical Systems
584,-

Neural Information Processing
1 124,-

Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability
476,-

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

PRIMA 2019
1 124,-

Foundations of Security, Protocols, and Equational Reasoning
584,-

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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
674,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
928,-

Model-Based Safety and Assessment
584,-

Critical Systems
584,-

Neural Information Processing
1 124,-












