Graph-Theoretic Concepts in Computer Science, Ludek Kucera

Автор: Juraj Hromkovi?; Manfred Nagl; Bernhard Westfechte
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540241329 ISBN-13(EAN): 9783540241324
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Dennis Dams; Robert Gerth; Stefan Leue; Mieke Mass
Название: Theoretical and Practical Aspects of SPIN Model Checking
ISBN: 3540664998 ISBN-13(EAN): 9783540664994
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Pei Wang; Ben Goertzel
Название: Theoretical Foundations of Artificial General Intelligence
ISBN: 946239055X ISBN-13(EAN): 9789462390553
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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