Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Transactions on Computational Science XXXIII

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Introduction to Logic Circuits & Logic Design with Verilog

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Introduction to Logic Circuits & Logic Design with VHDL

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers