Random Numbers and Computers

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings