Автор: Mikhail V. Batsyn; Valery A. Kalyagin; Panos M. Pa Название: Models, Algorithms and Technologies for Network Analysis ISBN: 3319343521 ISBN-13(EAN): 9783319343525 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume compiles the major results of conference participants from the "Third International Conference in Network Analysis" held at the Higher School of Economics, Nizhny Novgorod in May 2013, with the aim to initiate further joint research among different groups.
Автор: Christel Baier; Cesare Tinelli Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662466805 ISBN-13(EAN): 9783662466803 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.
Автор: Erika Abraham; Klaus Havelund Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 364254861X ISBN-13(EAN): 9783642548611 Издательство: Springer Рейтинг: Цена: 11180.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.
Автор: Christos Zaroliagis; Grammati Pantziou; Spyros Kon Название: Algorithms, Probability, Networks, and Games ISBN: 3319240234 ISBN-13(EAN): 9783319240237 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is a reflection of his main research activities in the fields of algorithms, probability, networks, and games, and contains a biographical sketch as well as essays and research contributions from close collaborators and former PhD students.
Автор: Nikhil Bansal; Irene Finocchi Название: Algorithms - ESA 2015 ISBN: 3662483491 ISBN-13(EAN): 9783662483497 Издательство: Springer Рейтинг: Цена: 15653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.
Автор: ?zg?r Erg?l Название: Guide to Programming and Algorithms Using R ISBN: 1447162048 ISBN-13(EAN): 9781447162049 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This easy-to-follow book provides a student-friendly introduction to programming and algorithms, using an active learning style in which deeper understanding is gained from evaluating, questioning and discussing the material, practiced with hands-on exercises.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Описание: Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations.- Programming language integration and verification tools.- Hardware supports.- Distributed TM systems.- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.
Автор: Paola Flocchini; Jie Gao; Evangelos Kranakis; Frie Название: Algorithms for Sensor Systems ISBN: 3642453457 ISBN-13(EAN): 9783642453458 Издательство: Springer Рейтинг: Цена: 7547.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 9th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2013, held in Sophia Antipolis, France, in September 2013. They deal with sensor network algorithms, wireless networks and distributed robotics algorithms;
Автор: Arlindo L. Oliveira Название: Grammatical Inference: Algorithms and Applications ISBN: 3540410112 ISBN-13(EAN): 9783540410119 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers address topics like machine learning; automata; theoretical computer science; computational linguistics; pattern recognition; artificial neural networks; natural language acquisition; computational biology; information retrieval; text processing; and adaptive intelligent agents.
Автор: Mikhail V. Batsyn; Valery A. Kalyagin; Panos M. Pa Название: Models, Algorithms and Technologies for Network Analysis ISBN: 3319097571 ISBN-13(EAN): 9783319097572 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume compiles the major results of conference participants from the "Third International Conference in Network Analysis" held at the Higher School of Economics, Nizhny Novgorod in May 2013, with the aim to initiate further joint research among different groups.
Автор: Tiziana Margaria; Wang Yi Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3540418652 ISBN-13(EAN): 9783540418658 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
