Graph-Theoretic Concepts in Computer Science, Ludek Kucera
Автор: Pei Wang; Ben Goertzel Название: Theoretical Foundations of Artificial General Intelligence ISBN: 946239055X ISBN-13(EAN): 9789462390553 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a collection of writings by active researchers in the field of Artificial General Intelligence, on topics of central importance in the field.
Автор: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Mass Название: Theoretical and Practical Aspects of SPIN Model Checking ISBN: 3540664998 ISBN-13(EAN): 9783540664994 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience.
Описание: 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.
Описание: 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.
Автор: Juraj Hromkovi?; Manfred Nagl; Bernhard Westfechte Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540241329 ISBN-13(EAN): 9783540241324 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
