wang jiacun (49 Ergebnisse)

Zustand: New. In.

Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Neuware - This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 808 | Sprache: Englisch | Produktart: Bücher.

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

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book presents selected research papers on current developments in the field of soft computing and signal processing from the International Conference on Soft Computing and Signal Processing (ICSCSP 2018). It includes papers on current topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, discussing various aspects of these topics, like technological, product implementation, contemporary research as well as application issues.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Sixth International Conference on Soft Computing and Signal Processing (ICSCSP 2023). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fourth International Conference on Soft Computing and Signal Processing (ICSCSP 2021). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Second International Conference on Soft Computing and Signal Processing (ICSCSP 2019). The respective contributions address topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning, and discuss various aspects of these topics, e.g. technological considerations, product implementation, and application issues.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a collection of best selected research papers presented at Second International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2022), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 16-17, 2022. The book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a collection of best selected research papers presented at Second International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2022), held in School of Engineering, Malla Reddy University, Hyderabad, India, during December 16-17, 2022. The book covers recent research in intelligent systems, intelligent business systems, soft computing, swarm intelligence, artificial intelligence and neural networks, data mining and data warehousing, cloud computing, distributed computing, big data analytics, Internet of things (IoT), machine learning, speech processing, sustainable high-performance systems, VLSI and embedded systems, image and video processing and signal processing and communication.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing and Signal Processing (ICSCSP 2022). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Third International Conference on Soft Computing and Signal Processing (ICSCSP 2020). The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation and application issues.