THE SATISFIABILITY PROBLEM & BOOLEAN FUNCTIONS TDM, FRANCO
Автор: Mendelson, Elliot, Название: Schaum`s outline of Boolean algebra and switching circuits ISBN: 0070414602 ISBN-13(EAN): 9780070414600 Издательство: McGraw-Hill Рейтинг: Цена: 986 р. Наличие на складе: Есть (4 шт.) Описание: Schaum`s Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills.
Автор: Steven Givant; Paul Halmos Название: Introduction to Boolean Algebras ISBN: 0387402934 ISBN-13(EAN): 9780387402932 Издательство: Springer Рейтинг: Цена: 6574 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Suitable for advanced undergraduates and beginning graduate students, this book treats Boolean algebras, develops some ideas, and provides insights. It includes explanation of the relationship between Boolean rings and Boolean algebras. It features chapters on topology and on continuous functions.
Автор: Thomas W. Cusick Название: Cryptographic Boolean Functions and Applications, ISBN: 0123748909 ISBN-13(EAN): 9780123748904 Издательство: Elsevier Science Рейтинг: Цена: 8757 р. Наличие на складе: Нет в наличии.
Описание: 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.
Автор: Paterson Название: Boolean Function Complexity ISBN: 0521408261 ISBN-13(EAN): 9780521408264 Издательство: Cambridge Academ Рейтинг: Цена: 6347 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Boolean function complexity has seen exciting advances in the last few years. It is a long established area of discrete mathematics which uses combinatorial and occasionally algebraic methods.
Автор: Ofer Strichman; Stefan Szeider Название: Theory and Applications of Satisfiability Testing - SAT 2010 ISBN: 3642141854 ISBN-13(EAN): 9783642141850 Издательство: Springer Рейтинг: Цена: 13774 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Автор: Oliver Kullmann Название: Theory and Applications of Satisfiability Testing - SAT 2009 ISBN: 3642027768 ISBN-13(EAN): 9783642027765 Издательство: Springer Рейтинг: Цена: 15305 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 12th International Conference SAT 2009 Swansea UK June 30 July 3 2009 Proceedings. .
Автор: Hans Kleine B?ning; Xishun Zhao Название: Theory and Applications of Satisfiability Testing – SAT 2008 ISBN: 3540797181 ISBN-13(EAN): 9783540797180 Издательство: Springer Рейтинг: Цена: 10713 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru