Описание: 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.
Автор: Cornelis Joost van Rijsbergen; Fabio Crestani; Mou Название: Information Retrieval: Uncertainty and Logics ISBN: 0792383028 ISBN-13(EAN): 9780792383024 Издательство: Springer Рейтинг: Цена: 34799.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains a collection of papers proposing, developing and implementing logical Information Retrieval models. This book is useful as a text for a graduate-level course on Information Retrieval or Database Systems, and as a reference for researchers and practitioners in industry.
Автор: 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.
Автор: Jan Chomicki; Gunter Saake Название: Logics for Databases and Information Systems ISBN: 1461375827 ISBN-13(EAN): 9781461375821 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Название: Logics in Computer Science ISBN: 9491216945 ISBN-13(EAN): 9789491216947 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar Название: Theorem Proving in Higher Order Logics ISBN: 3540710655 ISBN-13(EAN): 9783540710653 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Автор: Johan van Benthem; Gerhard Heinzmann; Manuel Rebus Название: The Age of Alternative Logics ISBN: 9048124859 ISBN-13(EAN): 9789048124855 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from scholars on the trends and possible developments for research.
Автор: Andreas Kapsner Название: Logics and Falsifications ISBN: 3319052055 ISBN-13(EAN): 9783319052052 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.
Автор: Jean-Pierre Jouannaud Название: Constraints in Computational Logics ISBN: 354058403X ISBN-13(EAN): 9783540584032 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the 1st International Conference on Constraints in Computational Logics, held in Munich in September 1994. Topics discussed include symbolic, set and numerical constraints, combined calculi, multi-paradigm programming and working systems.
Автор: Farinas Luis Del Cerro; Ulrich Furbach Название: Logics in Artificial Intelligence ISBN: 3540651411 ISBN-13(EAN): 9783540651413 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
