Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

Systems Programming in Unix/Linux

Transactions on Petri Nets and Other Models of Concurrency XIII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

The Hardware Trojan War Attacks, Myths, and Defenses

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Handbook of Model Checking

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings