Xiaolan Xie – författare
Visar alla böcker från författaren Xiaolan Xie. Handla med fri frakt och snabb leverans.
12 produkter
Synthesis and Control of Discrete Event Systems
Av Benoît Caillaud, Philippe Darondeau m. fl.
Inbunden, 2002
1096 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Formal Methods in Manufacturing
Av Javier Campos, Carla Seatzu m. fl.
Häftad, 2017
1331 kr
Lägg i varukorg
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important …
Formal Methods in Manufacturing
Av Xiaolan Xie, Carla Seatzu m. fl.
E-bok, 2018
1576 kr
Lägg i varukorg
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important …
Synthesis and Control of Discrete Event Systems
Av Benoît Caillaud, Philippe Darondeau m. fl.
Häftad, 2010
1096 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Formal Methods in Manufacturing
Av Javier Campos, Carla Seatzu m. fl.
Inbunden, 2014
3427 kr
Lägg i varukorg
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important …
Synthesis and Control of Discrete Event Systems
Av Xiaolan Xie, Luciano Lavagno m. fl.
E-bok, 2013
1459 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Computer Supported Cooperative Work and Social Computing
13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers
Av Yuqing Sun, Tun Lu m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2018, held in Guilin, China, in August 2018. The 33 revised full papers presented along with the 13 short papers were carefully reviewed and selected …
Computer Supported Cooperative Work and Social Computing
13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers
Av Hongfei Fan, Liping Gao m. fl.
E-bok, 2018
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2018, held in Guilin, China, in August 2018. The 33 revised full papers presented along with the 13 short papers were carefully reviewed and selected …
Data Science
5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
Av Rui Mao, Hongzhi Wang m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
This two volume set (CCIS 1058 and 1059) constitutes the refereed proceedings of the 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019 held in Guilin, China, in September 2019. The 104 revised full papers presented in these two volumes were …
Data Science
5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part II
Av Zeguang Lu, Xiaolan Xie m. fl.
E-bok, 2019
713 kr
Lägg i varukorg
This two volume set (CCIS 1058 and 1059) constitutes the refereed proceedings of the 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019 held in Guilin, China, in September 2019. The 104 revised full papers presented in these two volumes were …
Wireless Sensor Networks
15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers
Av Li Cui, Xiaolan Xie
Häftad, 2021
904 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th China Conference on Wireless Sensor Networks, CWSN 2021 held in Guilin, China, in October 2021.The 19 papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on theory and technology on …
Wireless Sensor Networks
15th China Conference, CWSN 2021, Guilin, China, October 22–25, 2021, Revised Selected Papers
Av Xiaolan Xie, Li Cui
E-bok, 2021
1175 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th China Conference on Wireless Sensor Networks, CWSN 2021 held in Guilin, China, in October 2021. The 19 papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on theory and technology …
