Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Автор: Hans Kleine B?ning; Xishun Zhao Название: Theory and Applications of Satisfiability Testing – SAT 2008 ISBN: 3540797181 ISBN-13(EAN): 9783540797180 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications.
Автор: Thomas W. Cusick Название: Cryptographic Boolean Functions and Applications, ISBN: 0123748909 ISBN-13(EAN): 9780123748904 Издательство: Elsevier Science Рейтинг: Цена: 8083.00 р. Наличие на складе: Поставка под заказ.
Описание: Boolean functions are the building blocks of symmetric cryptographic systems. This book shows how Boolean functions are used in cryptography. It helps in the successful design or implementation of cryptographic algorithms or protocols using Boolean functions.
Автор: Kumar Название: Business Process Management ISBN: 1138181854 ISBN-13(EAN): 9781138181854 Издательство: Taylor&Francis Рейтинг: Цена: 9645.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces students to business process management, an approach that aims to align the organization's business processes with the demands of the marketplace. Processes serve as a coordination mechanism, and the aim of business process management is to improve the organization’s effectiveness and efficiency in adapting to change, and maintaining competitive advantage. In Business Process Management, Kumar argues for the value of looking at businesses as a collection of processes that cut across departments, and for breaking down functional silos. The book provides an overview of the basic concepts in this field before moving on to more advanced topics such as process verification, flexible processes, process security and evaluation, resource assignment, and social networks. One chapter of the book is also devoted to process analytics. The book concludes with an examination of the future directions of the discipline. Blending a strong grounding in current research with a focus on concepts and tools, Business Process Management is an accessible textbook full of practical examples and cases that will appeal to upper level students.
Автор: Kanellopoulos Название: Intelligent Multimedia Technologies For Networking Applications ISBN: 1466628332 ISBN-13(EAN): 9781466628335 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 27720.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As ubiquitous multimedia applications benefit from the rapid development of intelligent multimedia technologies, there is an inherent need to present frameworks, techniques and tools that adopt these technologies to a range of networking applications.<br><br><em>Intelligent Multimedia Technologies for Networking Applications: Techniques and Tools</em> promotes the discussion of specific solutions for improving the quality of multimedia experience while investigating issues arising from the deployment of techniques for adaptive video streaming. This reference source provides relevant theoretical frameworks and leading empirical research findings and is suitable for practitioners and researchers in the area of multimedia technology.
Автор: Oscar Castillo; Patricia Melin Название: Type-2 Fuzzy Logic: Theory and Applications ISBN: 3540762833 ISBN-13(EAN): 9783540762836 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Describes methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. This work focuses on the use of type-2 fuzzy logic and traditional SC techniques to solve pattern recognition problems in realworld applications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
