Hardware Design and Petri Nets, Alex Yakovlev; Luis Gomes; Luciano Lavagno

Автор: Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency XI
ISBN: 3662534002 ISBN-13(EAN): 9783662534007
Издательство: Springer
Рейтинг:
Цена: 10761.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Автор: Filipe de Carvalho Moutinho; Lu?s Filipe Santos Go
Название: Distributed Embedded Controller Development with Petri Nets
ISBN: 3319208217 ISBN-13(EAN): 9783319208213
Издательство: Springer
Рейтинг:
Цена: 9141.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Introduction.- Related work.- Development of distributed embedded controllers.- Application Example.- Conclusions and future work.

Автор: Wolfgang Reisig
Название: Understanding Petri Nets
ISBN: 3662523078 ISBN-13(EAN): 9783662523070
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.

Автор: Petri M?ntysaari
Название: EU Electricity Trade Law
ISBN: 3319368397 ISBN-13(EAN): 9783319368399
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book aims to describe the mechanisms of the internal wholesale electricity market in terms of the legal tools and practices used by electricity producers, the most important market participants.

Автор: Gian Luca Foresti; Petri M?h?nen; Carlo S. Regazzo
Название: Multimedia Video-Based Surveillance Systems
ISBN: 1461369436 ISBN-13(EAN): 9781461369431
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Multimedia surveillance systems is an emerging field that includes signal and image processing, communications, and computer vision.

Автор: Vassilios Petridis; Athanasios Kehagias
Название: Predictive Modular Neural Networks
ISBN: 1461375401 ISBN-13(EAN): 9781461375401
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The subject of this book is predictive modular neural networks and their ap- plication to time series problems: classification, prediction and identification.

Автор: Petri M?ntysaari
Название: EU Electricity Trade Law
ISBN: 3319165127 ISBN-13(EAN): 9783319165127
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book aims to describe the mechanisms of the internal wholesale electricity market in terms of the legal tools and practices used by electricity producers, the most important market participants.