Computer Science - Theory and Applications, Edward Hirsch; Sergei O. Kuznetsov; Jean-?ric Pin;

Автор: Farid M. Ablaev; Ernst Mayr
Название: Computer Science -- Theory and Applications
ISBN: 3642131816 ISBN-13(EAN): 9783642131813
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010.

Автор: Garg
Название: Introduction to Lattice Theory with Computer Science Applications
ISBN: 1118914376 ISBN-13(EAN): 9781118914373
Издательство: Wiley
Рейтинг:
Цена: 12664.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory.

Автор: Pascal Weil
Название: Computer Science – Theory and Applications
ISBN: 3319587463 ISBN-13(EAN): 9783319587462
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. combinatorics in computer science; applications of logic to computer science, e.g.

Автор: Andrei A. Bulatov; Arseny M. Shur
Название: Computer Science - Theory and Applications
ISBN: 3642385354 ISBN-13(EAN): 9783642385353
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on: algorithms; logic and proof complexity;

Автор: Filiol Г‰ric
Название: Computer Viruses: from theory to applications
ISBN: 2287239391 ISBN-13(EAN): 9782287239397
Издательство: Springer
Рейтинг:
Цена: 7680.00 р.
Наличие на складе: Поставка под заказ.

Описание: This book deals with computer viruses envisaged from three different points of view, namely the theoretical fundamentals of computer virology, algorithmic and practical aspects of viruses and their potential applications to various areas. The theoretical formalization by means of Turing machines, self-reproducing automata and recursive functions enable a precise and exhaustive description of the different types of malware. It follows that the main stakes of computer defense and antiviral fighting are easily highlighted. Detailed analysis of the source code for representative members of each virus/worm family allows the reader to grasp the basic algorithmic aspects involved in self-reproducing codes. The C programming language has been systematically used for a better understanding of the considered codes.

Автор: Lev D. Beklemishev; Daniil V. Musatov
Название: Computer Science -- Theory and Applications
ISBN: 3319202960 ISBN-13(EAN): 9783319202969
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions.

Автор: Alexander S. Kulikov; Gerhard J. Woeginger
Название: Computer Science – Theory and Applications
ISBN: 3319341707 ISBN-13(EAN): 9783319341705
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;