New Frontiers in Quantitative Methods in Informatics, Balsamo

Автор: Bernardo
Название: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
ISBN: 3319340956 ISBN-13(EAN): 9783319340951
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

Автор: Agha
Название: Quantitative Evaluation of Systems
ISBN: 3319434241 ISBN-13(EAN): 9783319434247
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. Markov decision processes and Markovian analysis;

Автор: Liu
Название: Software Performance and Scalability - A Quantitative Approach
ISBN: 0470462531 ISBN-13(EAN): 9780470462539
Издательство: Wiley
Рейтинг:
Цена: 102380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gives the reader the ability to set up a proper test environment and conduct software performance and scalability tests. Uses many examples showing software performance problems and applicable solutions. Contains a number of case studies to assist the reader with comprehending all aspects of software performance and scalability.

Автор: Witold Pedrycz; Giancarlo Succi; Alberto Sillitti
Название: Computational Intelligence and Quantitative Software Engineering
ISBN: 3319259628 ISBN-13(EAN): 9783319259628
Издательство: Springer
Рейтинг:
Цена: 130610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and opens up a novel and promising avenue of a comprehensive analysis and advanced design of software artifacts.

Автор: Alessandro Antonucci; Laurence Cholvy; Odile Papin
Название: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ISBN: 3319615807 ISBN-13(EAN): 9783319615806
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017.

Автор: Nathalie Bertrand; Luca Bortolussi
Название: Quantitative Evaluation of Systems
ISBN: 3319663348 ISBN-13(EAN): 9783319663340
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling;

Автор: Gethin Norman; William Sanders
Название: Quantitative Evaluation of Systems
ISBN: 3319106953 ISBN-13(EAN): 9783319106953
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. models and tools; applications, theory and tools;

Автор: S?bastien Destercke; Thierry Denoeux
Название: Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ISBN: 3319208063 ISBN-13(EAN): 9783319208060
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiegne, France, in July 2015.

Автор: Javier Campos; Boudewijn R. Haverkort
Название: Quantitative Evaluation of Systems
ISBN: 3319222635 ISBN-13(EAN): 9783319222639
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.

Автор: Asok Ray; Vir V. Phoha; Shashi Phoha
Название: Quantitative Measure for Discrete Event Supervisory Control
ISBN: 1441918515 ISBN-13(EAN): 9781441918512
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems.

Автор: Kaustubh Joshi; Markus Siegle; Mari?lle Stoelinga;
Название: Quantitative Evaluation of Systems
ISBN: 3642401953 ISBN-13(EAN): 9783642401954
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

Автор: Kern-Isberner Gabriele, Ognjanovic Zoran
Название: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th European Conference, Ecsqaru 2019, Belgrade, Serbia, September 18-20, 2019, P
ISBN: 3030297640 ISBN-13(EAN): 9783030297640
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Невозможна поставка.
Описание: This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.

The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections named: Argumentation; Belief Functions; Conditional, Default and Analogical Reasoning; Learning and Decision Making; Precise and Imprecise Probabilities; and Uncertain Reasoning for Applications.