Livros de Xiaolan Xie - BookPine

Computer Supported Cooperative Work and Social Computing: 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers ... Computer and Information Science Book 917)

Computer Supported Cooperative Work and Social Computing: 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers ... Computer and Information Science Book 917)

Yuqing Sun

Formal Methods in Manufacturing

Formal Methods in Manufacturing

Javier Campos

Synthesis and Control of Discrete Event Systems

Synthesis and Control of Discrete Event Systems

Benoxeet Caillaud

Deadlock Resolution in Computer-Integrated Systems

Deadlock Resolution in Computer-Integrated Systems

Mengchu Zhou

Petri Nets: A Tool for Design and Management of Manufacturing Systems

Petri Nets: A Tool for Design and Management of Manufacturing Systems

Jean-Marie Proth