
Performance Evaluation and Benchmarking
584,-

Performance Evaluation and Benchmarking
611,-

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

Computer Analysis of Images and Patterns
791,-

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
674,-

Verification and Evaluation of Computer and Communication Systems
611,-

Verification and Evaluation of Computer and Communication Systems
674,-

Human-Computer Interaction
854,-

Human-Computer Interaction
854,-

Performance Evaluation and Benchmarking
584,-

Performance Evaluation and Benchmarking
611,-

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

Computer Analysis of Images and Patterns
791,-

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
674,-

Verification and Evaluation of Computer and Communication Systems
611,-

Verification and Evaluation of Computer and Communication Systems
674,-

Human-Computer Interaction
854,-

Human-Computer Interaction
854,-