Closing the Gap Between Practice and Research in Industrial Engineering

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers

Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers

Low-Power Design and Power-Aware Verification

Dependable Multicore Architectures at Nanoscale

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Understanding Control Flow Concurrent Programming Using μC++

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

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Handbook of Model Checking