Information Retrieval: Uncertainty and Logics, Cornelis Joost van Rijsbergen; Fabio Crestani; Mou

Автор: Cornelis Joost van Rijsbergen; Fabio Crestani; Mou
Название: Information Retrieval: Uncertainty and Logics
ISBN: 1461375703 ISBN-13(EAN): 9781461375708
Издательство: Springer
Рейтинг:
Цена: 41925.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: P. K. McBride
Название: Career Award Information and Communication Technology: Foundation Level
ISBN: 0521532930 ISBN-13(EAN): 9780521532938
Издательство: Cambridge Academ
Рейтинг:
Цена: 2020.00 р.
Наличие на складе: Поставка под заказ.

Описание: Career Award in Information and Communication Technology: Foundation Level accompanies the Cambridge International Examinations (CIE) syllabus for the Career Award in Information and Communication Technology at Foundation Level. It closely matches the content of the syllabus, and has been endorsed by CIE for use with its examination. The author,an information technology specialist, writes in a lively, accessible style and uses a step-by-step approach to introduce students to the basic concepts and skills required.

Автор: Thornton, Patricia H.; Ocasio, William; Lounsbury,
Название: The Institutional Logics Perspective
ISBN: 0199601941 ISBN-13(EAN): 9780199601943
Издательство: Oxford Academ
Рейтинг:
Цена: 7522.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book analyzes, synthesizes, and further develops theoretical and methodological tools in the rising new school in institutional analysis, the institutional logics perspective, which offers opportunities to examine how individual and organizational actors are a product of multiple social locations in an inter-institutional system.

Автор: Jan Chomicki; Gunter Saake
Название: Logics for Databases and Information Systems
ISBN: 0792381297 ISBN-13(EAN): 9780792381297
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses various applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. This book is intended as a reference for researchers and practitioners in industry.

Автор: Jan Chomicki; Gunter Saake
Название: Logics for Databases and Information Systems
ISBN: 1461375827 ISBN-13(EAN): 9781461375821
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: GIORDANO, CRISTIANA
Название: Migrants in Translation: Caring and the Logics of Difference in Contemporary Italy
ISBN: 0520276663 ISBN-13(EAN): 9780520276666
Издательство: Wiley
Рейтинг:
Цена: 4752.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents an ethnographic reflection on foreign migration, mental health, and cultural translation in Italy. This book addresses the legal, therapeutic, and moral techniques of recognition and cultural translation that emerge in response to these social uncertainties.

Автор: Klaus Schneider; Jens Brandt
Название: Theorem Proving in Higher Order Logics
ISBN: 3540745904 ISBN-13(EAN): 9783540745907
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. This book presents 21 revised full papers together with 5 proof pearls and the abstracts of 3 invited papers that were reviewed and selected from 52 submissions.

Автор: Michal Krynicki; M. Mostowski; L.W. Szczerba
Название: Quantifiers: Logics, Models and Computation
ISBN: 0792334485 ISBN-13(EAN): 9780792334484
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science. This book has been prepared in parallel with "Quantifiers: Logics, Models and Computation, Volume Two". It is useful for logicians, mathematicians, philosophers, linguists and computer scientists.

Автор: E. Clarke; D. Kozen
Название: Logics of Programs
ISBN: 3540128964 ISBN-13(EAN): 9783540128960
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rohit Parikh
Название: Logics of Programs
ISBN: 3540156488 ISBN-13(EAN): 9783540156482
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Leonard Bolc; Piotr Borowik
Название: Many-Valued Logics 2
ISBN: 3642084176 ISBN-13(EAN): 9783642084171
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many-valued logics are becoming increasingly important in all areas of computer science. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory.

Автор: David Pearce; Heinrich Wansing
Название: Nonclassical Logics and Information Processing
ISBN: 3540557458 ISBN-13(EAN): 9783540557456
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.