Algebraic Approaches to Program Semantics, Ernest G. Manes; Michael A. Arbib
Автор: Edsger W. Dijkstra; Carel S. Scholten Название: Predicate Calculus and Program Semantics ISBN: 1461279240 ISBN-13(EAN): 9781461279242 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.
Автор: Punam K. Saha; Ujjwal Maulik; Subhadip Basu Название: Advanced Computational Approaches to Biomedical Engineering ISBN: 3662514559 ISBN-13(EAN): 9783662514559 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book surveys computational advances which applied to biomedical engineering have resulted in the development of new implants and prosthetics, new imaging technologies and new tools and techniques for detection, prevention and treatment of disease.
Автор: Henri Prade; Gilles Richard Название: Computational Approaches to Analogical Reasoning: Current Trends ISBN: 3662523647 ISBN-13(EAN): 9783662523643 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Then, different formal frameworks for handling analogies are presented, dealing with case-based reasoning, heuristic-driven theory projection, commonsense reasoning about incomplete rule bases, logical proportions induced by similarity and dissimilarity indicators, and analogical proportions in lattice structures.
Автор: James L. Rash; Christopher A. Rouff; Walter Truszk Название: Formal Approaches to Agent-Based Systems ISBN: 3540427163 ISBN-13(EAN): 9783540427162 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents` mental states, synthesizing agents initially and modelling.
Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz Название: Formal Approaches to Agent-Based Systems ISBN: 3540406654 ISBN-13(EAN): 9783540406655 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations.
Автор: Hideyuki Nakashima; Chengqi Zhang Название: Approaches to Intelligent Agents ISBN: 3540668233 ISBN-13(EAN): 9783540668237 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Christine Froidevaux; Juerg Kohlas Название: Symbolic and Quantitative Approaches to Reasoning and Uncertainty ISBN: 3540601120 ISBN-13(EAN): 9783540601128 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. A variety of nonclassical formalisms, both symbolic and numerical, are addressed in this volume.
Автор: Janusz Sobecki; Veera Boonjing; Suphamit Chittayas Название: Advanced Approaches to Intelligent Information and Database Systems ISBN: 3319382373 ISBN-13(EAN): 9783319382371 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is organized in four parts devoted to intelligent systems models and methods, intelligent systems advanced applications, database systems methods and applications and multimedia systems methods and applications.
Автор: Oscar Castillo; Patricia Melin; Witold Pedrycz; Ja Название: Recent Advances on Hybrid Approaches for Designing Intelligent Systems ISBN: 3319382748 ISBN-13(EAN): 9783319382746 Издательство: Springer Рейтинг: Цена: 28732.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes recent advances on hybrid intelligent systems using soft computing techniques for diverse areas of application, such as intelligent control and robotics, pattern recognition, time series prediction and optimization complex problems.
Описание: This 2-volume work represents the proceedings of the First European Workshop on Fault Diagnostics, Reliability and Re- lated Knowledge-Based Approaches held in the Island of Rho- des, Greece (August 3l-September 3, 1986). This Workshop was organized in the framework of a joint research project spon- sored by the Commission of the European Communi ties under the Stimulation Action Programme. The principal aim of the Workshop was to bring together people working on the numeric and symbolic (knowledge-based) treatment of reliability and fault diagnosis problems, in order to promote the interaction and exhange of ideas, expe- riences and results in this area. The workshop was a real success, with SS papers presen- ted and 70 participants. A second Workshop of the same na- ture has been decided to be held in Manchester (UMIST), - gland, in April 1987. . The two volumes contain sufficient amount of informa- tion which reflects very well the state-of-the-art of the field, and shows the current tendency towards knowledge-ba- sed (expert systems) and fault-tolerant approaches. Volume 1 contains the contributions on fault diagnostics and reliability issues (numeric treatment), and Vo-lume 2 the contributions on knowledge based and fault-tolerant techni- ques. We are grateful to the Commission of the European Com- munities for having sponsored the Workshop, and to all au- thors for their high quality contributions and presenta- tions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
