Xiaolan xie (30 Ergebnisse)

Zustand: New. In.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the13th CCF Conference on Computer Supported Cooperative Work and Social Computing,ChineseCSCW 2018, held in Guilin, China, in August2018.The 33 revised full papers presented along with the 13 short papers were carefully reviewed andselected from 150 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems, social computing, data analysis and machine learning for CSCW and social computing.…

Paperback. Zustand: Brand New. 608 pages. 9.25x6.10x1.42 inches. In Stock.

Zustand: New.

Zustand: New. In.

Paperback. Zustand: Brand New. 712 pages. 9.25x6.10x2.01 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 carefully reviewed and selected from 395 submissions. The papers cover a wide range of topics related to basic theory and techniques for data science including data mining; data base; net work; security; machine learning; bioinformatics; natural language processing; software engineering; graphic images; system; education; application.…

Taschenbuch. Zustand: Neu. Computer Supported Cooperative Work and Social Computing | 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018, Revised Selected Papers | Yuqing Sun (u. a.) | Taschenbuch | xv | Englisch | 2019 | Springer | EAN 9789811330438 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Data Science | 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20-23, 2019, Proceedings, Part II | Rui Mao (u. a.) | Taschenbuch | xxv | Englisch | 2019 | Springer | EAN 9789811501203 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 network; application on internet of things; security and privacy protection on internet of things; fog computing and wireless computing.…

Zustand: New. pp. 728.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Gebunden. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.…

Taschenbuch. Zustand: Neu. Wireless Sensor Networks | 15th China Conference, CWSN 2021, Guilin, China, October 22-25, 2021, Revised Selected Papers | Li Cui (u. a.) | Taschenbuch | xiv | Englisch | 2022 | Springer | EAN 9789811681738 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware.…

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | 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 Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The­ ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac­ tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man­ ufacturing systems, or the implementation of protocols in software or in hard­ ware.…

Paperback. Zustand: Brand New. 238 pages. 9.00x6.00x0.55 inches. In Stock.

Zustand: New. Informs the reader of the developments and trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. Editor(s): Caillaud, Benoit; Darondeau, Philippe; Lavagno, Luciano; Xie, Xiaolan. Num Pages: 220 pages, biography. BIC Classification: GPFC; T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 514. . 2002. Hardback. . . . . Books ship from the US and Ireland.…

Paperback. Zustand: Brand New. 698 pages. 10.00x7.00x1.50 inches. In Stock.

Gebunden. Zustand: New. Javier Campos, Ph.D is professor of computer science at the University of Zaragoza, Spain. He has supervised the completion of 100 master theses and three Ph.D theses. He has also been co-chair of the IEEE IES Technical Sub-Committee on .

Hardcover. Zustand: Brand New. 900 pages. 10.28x7.09x1.77 inches. In Stock.

Buch. Zustand: Neu. Neuware - 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 formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration.Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.…