Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Andr? Platzer Название: Logical Foundations of Cyber-Physical Systems ISBN: 3319635875 ISBN-13(EAN): 9783319635873 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cyberphysical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Sergei Artemov; Anil Nerode Название: Logical Foundations of Computer Science ISBN: 3642357210 ISBN-13(EAN): 9783642357213 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics;
Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock Название: Formal Methods: Foundations and Applications ISBN: 3642104517 ISBN-13(EAN): 9783642104510 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
Автор: Ajith Abraham; Aboul-Ella Hassanien; Andr? Ponce d Название: Foundations of Computational Intelligence ISBN: 3642101674 ISBN-13(EAN): 9783642101670 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computational tools or solutions based on intelligent systems are being used effectively in data mining applications. This book, one of a series on the foundations of Computational Intelligence, is focused on applications of techniques for data mining.
Автор: Ajith Abraham; Aboul-Ella Hassanien; Patrick Siarr Название: Foundations of Computational Intelligence Volume 3 ISBN: 3642101658 ISBN-13(EAN): 9783642101656 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The wide use of global optimization applications has gained the attention of practitioners and researchers from numerous scientific fields. This book, one of a series on the foundations of Computational Intelligence, is focused on global optimization.
Автор: Jan Rauch; Zbigniew W. Ras; Petr Berka; Tapio Elom Название: Foundations of Intelligent Systems ISBN: 3642041248 ISBN-13(EAN): 9783642041242 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andreas Herzig; Emiliano Lorini Название: The Cognitive Foundations of Group Attitudes and Social Interaction ISBN: 3319345516 ISBN-13(EAN): 9783319345512 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy).- Chapter 2 "Healing social sciences' psycho-phobia - Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome).- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse).- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse).- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ).- Chapter 6 "On the attitude of trust - a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King's College, London).- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politйcnica de Madrid; TSU Razmadze Mathematical Institute, Georgia).- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald).- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna).- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities".- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence).
Автор: Anil Nerode; Yu.V. Matiyasevich Название: Logical Foundations of Computer Science ISBN: 3540581405 ISBN-13(EAN): 9783540581406 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
Автор: Antoni Ligeza Название: Logical Foundations for Rule-Based Systems ISBN: 3642067093 ISBN-13(EAN): 9783642067099 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
