
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
584,-

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

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

Constructive Side-Channel Analysis and Secure Design
584,-

Formal Aspects of Component Software
611,-

Image Analysis and Processing - ICIAP 2015
584,-

Image Analysis and Processing - ICIAP 2015
584,-

Logic, Language, and Security
674,-

Processing and Analysis of Biomedical Information
584,-

Modelling Foundations and Applications
584,-

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
584,-

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

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

Constructive Side-Channel Analysis and Secure Design
584,-

Formal Aspects of Component Software
611,-

Image Analysis and Processing - ICIAP 2015
584,-

Image Analysis and Processing - ICIAP 2015
584,-

Logic, Language, and Security
674,-

Processing and Analysis of Biomedical Information
584,-

Modelling Foundations and Applications
584,-