Theoretical and Practical Aspects of SPIN Model Checking, Dennis Dams; Robert Gerth; Stefan Leue; Mieke Mass

Автор: J?rgen Fuhrmann; Mario Ohlberger; Christian Rohde
Название: Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects
ISBN: 3319056832 ISBN-13(EAN): 9783319056838
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles.

Автор: J?rgen Fuhrmann; Mario Ohlberger; Christian Rohde
Название: Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects
ISBN: 331938287X ISBN-13(EAN): 9783319382876
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles.

Название: Theoretical aspects of spatial-temporal modeling
ISBN: 4431553355 ISBN-13(EAN): 9784431553359
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The final chapter concludes with an overview of analysis for probabilistic spatial percolation methods that are relevant in the modeling of graphical networks and connectivity applications in sensor networks, which also incorporate stochastic geometry features.

Автор: van Eekelen
Название: Foundational and Practical Aspects of Resource Analysis
ISBN: 3319465589 ISBN-13(EAN): 9783319465586
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.