Designing Correct Circuits, Geraint Jones; Mary Sheeran

Автор: Roland Meyer; Andr? Platzer; Heike Wehrheim
Название: Correct System Design
ISBN: 3319235052 ISBN-13(EAN): 9783319235059
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog`s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.

Автор: Maria Bras-Amor?s; Tom H?holdt
Название: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
ISBN: 3642021808 ISBN-13(EAN): 9783642021800
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-18, held in Tarragona, Spain, in June 2009. Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes;

Автор: Peter Csaba ?lveczky
Название: Designing Reliable Distributed Systems
ISBN: 1447166868 ISBN-13(EAN): 9781447166863
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Поставка под заказ.

Описание: This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.