Graph-Theoretic Concepts in Computer Science, Juraj Hromkovi?; Manfred Nagl; Bernhard Westfechte

Автор: 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.

Автор: Ludek Kucera
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540003312 ISBN-13(EAN): 9783540003311
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Compiled from the proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science, this volume contains 36 revised full papers. They cover results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications.

Автор: 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.

Автор: 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.