Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Compilation for Secure Multi-party Computation, Stefan Katzenbeisser; Niklas B?scher


Варианты приобретения
Цена: 7685.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Stefan Katzenbeisser; Niklas B?scher
Название:  Compilation for Secure Multi-party Computation
ISBN: 9783319675213
Издательство: Springer
Классификация:




ISBN-10: 3319675214
Обложка/Формат: Paperback
Страницы: 92
Вес: 0.16 кг.
Дата издания: 27.11.2017
Серия: SpringerBriefs in Computer Science
Язык: English
Издание: 1st ed. 2017
Иллюстрации: 7 illustrations, color; 16 illustrations, black and white; viii, 92 p. 23 illus., 7 illus. in color.
Размер: 234 x 156 x 6
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 1. Motivation2. Related Work3. Introduction into MPC protocols3.1. Yaos Garbled Circuits protocol3.2. Goldreich-Wilkerson-Micali (GMW) protocol3.3. Requirements analysis4. A general framework to compile circuits for MPC4.1. Introduction into the model checker CBMC4.2. A new toolchain to compile circuits for MPC4.3. Adapter for MPC frameworks5. Compiling size-optimized circuits for MPC protocols with constant rounds5.1. Problem statement & optimization goal5.2. Extended compilation chain5.3. Boolean optimization methods5.4. Results6. Compiling depth-optimized circuits for round-based MPC protocols6.1. Problem statement & optimization goal6.2. Extended compilation chain6.3. High level optimization methods6.4. Low level optimization methods6.5. Results7. Compiling parallel circuits for MPC protocols7.1. Problem statement & optimization goal7.2. Extended compilation chain7.3. Fine-grained parallelization7.4. Coarse-grained parallelization7.5. Intra-party parallelization7.6. Results8. Appendix8.1. Examples in CBMC-GC


The Nature of Computation

Автор: Mertens Stephan, Moore Cristopher
Название: The Nature of Computation
ISBN: 0199233217 ISBN-13(EAN): 9780199233212
Издательство: Oxford Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount of time or memory, and what cannot be computed at all? How will quantum physics change the landscape of computation? This book gives a playful and accessible introduction to the deep ideas of theoretical computer science.

Secure Multi-Party Non-Repudiation Protocols and Applications

Автор: Jos? A. Onieva; Jianying Zhou
Название: Secure Multi-Party Non-Repudiation Protocols and Applications
ISBN: 1441945393 ISBN-13(EAN): 9781441945396
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume provides state-of-the-art in non-repudiation protocols and gives insight of its applicability to e-commerce applications. This professional book organizes the existing scant literature regarding non-repudiation protocols with multiple entities participation.

Computation and its Limits

Автор: Cockshott, Paul; Mackenzie, Lewis M.; Michaelson,
Название: Computation and its Limits
ISBN: 019872912X ISBN-13(EAN): 9780198729129
Издательство: Oxford Academ
Рейтинг:
Цена: 5622.00 р.
Наличие на складе: Поставка под заказ.

Описание: Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.

EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII

Автор: Michael Emmerich; Andr? Deutz; Oliver Sch?tze; Pie
Название: EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII
ISBN: 3319493248 ISBN-13(EAN): 9783319493244
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems.

Bio-inspired Computation in Unmanned Aerial Vehicles

Автор: Haibin Duan; Pei Li
Название: Bio-inspired Computation in Unmanned Aerial Vehicles
ISBN: 3642411959 ISBN-13(EAN): 9783642411953
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Giving readers a rounded understanding of control-related problems in UAVs and presenting the latest advances in bio-inspired computation, this volume links theory, algorithms, and implementation procedures. It tracks results with academically sound graphics.

Digit-Serial Computation

Автор: Richard Hartley; Keshab K. Parhi
Название: Digit-Serial Computation
ISBN: 1461359856 ISBN-13(EAN): 9781461359852
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: To this end, the digit-serial implementation style is proposed as an appropriate design methodology for cases where bit-serial systems cannot meet the sample rate requirements, and bit-parallel systems require excessive hardware.

Evolutionary Computation Techniques: A Comparative Perspective

Автор: Cuevas, Erik, Osuna, Valentin, Oliva, Diego
Название: Evolutionary Computation Techniques: A Comparative Perspective
ISBN: 3319511084 ISBN-13(EAN): 9783319511085
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book compares the performance of various evolutionary computation (EC) techniques when they are faced with complex optimization problems extracted from different engineering domains.

Engineering Computation of Structures: The Finite Element Method

Автор: Maria Augusta Neto; Ana Amaro; Luis Roseiro; Jos?
Название: Engineering Computation of Structures: The Finite Element Method
ISBN: 3319177095 ISBN-13(EAN): 9783319177090
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Engineering Computation of Structures: The Finite Element Method

Recent Advances in Swarm Intelligence and Evolutionary Computation

Автор: Xin-She Yang
Название: Recent Advances in Swarm Intelligence and Evolutionary Computation
ISBN: 3319138251 ISBN-13(EAN): 9783319138251
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recent Advances in Swarm Intelligence and Evolutionary Computation

Reversible Computation

Автор: Devitt
Название: Reversible Computation
ISBN: 3319405772 ISBN-13(EAN): 9783319405773
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi;

Logic, Language, Information, and Computation

Автор: V??n?nen
Название: Logic, Language, Information, and Computation
ISBN: 3662529203 ISBN-13(EAN): 9783662529201
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия