Litgu.ru - Литературный Гуру

Название: Дискретная математика. Сборник задач
Автор(ы): Гусева А.И., Киреев В.С., Тихомирова А.Н.
Издательство: М.: Курс: Инфра-М
Год: 2018
Страниц: 224
Формат: PDF
Размер: 33 Мб
Язык: русский

Данный сборник задач предназначен для углубленного изучения таких разделов дискретной математики, как теория множеств и бинарных отношений, математическая логика и логика предикатов, теория графов, элементы теории и практики кодирования, элементы теории автоматов. Сборник задач ориентирован на студентов, а также преподавателей среднего профессионального образования по направлениям подготовки «Компьютерные системы и комплексы» и «Прикладная информатика».

Название: Алгоритмы. Разработка и применение
Автор: Клейнберг Дж., Тардос Е.
Издательство: Питер
Год: 2016
Страниц: 800
ISBN: 978-5-496-01545-5
Формат: PDF
Размер: 11.3 Мб
Язык: русский

Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных.

Название: Советские детские приключения. Сборник (370 книг)
Автор: разные
Издательство: Детская литература
Год: 1928-1992
Страниц: 1000+
Формат: fb2, djvu, pdf
Размер: 905 Мб
Язык: русский

Сборник приключенческих детских книг, изданных в Советском Союзе. Этими книгами для многих начинался путь в мир литературы, который продолжается и по сей день. Каждый из нас посещал детскую библиотеку, читал эти замечательные книги, которые учили доброте, героизму, дружбе, любви к родине. Эта подборка не является совершенной, многие книги в ней не представлены и будет пополняться в будущем.

Название: Практикум по методам построения алгоритмов (2-е изд.)
Автор: Шень А.Х.
Издательство: М.: НОУ "Интуит"
Год: 2016
Страниц: 336
Формат: PDF
Размер: 28.2 Мб
Язык: русский

Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов.

Название: Программирование — это так просто, программирование — это так сложно
Автор(ы): Андреева Е.В.
Издательство: М.: МЦНМО
Год: 2015
Страниц: 185
Формат: PDF
Размер: 14 Мб
Язык: русский

Книга представляет собой практический курс для обучения программированию, основную часть которого составляет подборка около 200 задач. В ней делается попытка показать, как обучить программированию в школе за 16 уроков.

Название: Вяжем крючком
Издательство: Газетный мир
Год / месяц: 2023 / Июль
Номер: 7
Формат: PDF
Размер: 67.7 Mb
Страниц: 32
Язык: русский

Журнал по вязанию крючком для начинающих и опытных мастеров. В каждом выпуске журнала вы найдёте современные вязаные модели и аксессуары для текущего сезона для женщин и детей, подробные мастер-классы и новые узоры.

Название: Сабрина
Издательство: ИМ Медиа
Год / месяц: 2023 /Август
Номер: 8
Формат: PDF
Размер: 56.2 Mb
Страниц: 52
Язык: русский

"Сабрина" - популярный журнал по вязанию. На его страницах представлены разнообразные модели для женщин всех возрастов, имеющих разный опыт вязания. Здесь вы найдете множество идей, как выглядеть модно и эффектно без особых затрат.

Название: Просто вкусно и полезно! Спецвыпуск
Издательство: ИМ Медиа
Год / месяц: 2023 / Июнь
Номер: 3 "Квасим, солим, маринуем"
Формат: PDF
Размер: 46.6 Мб
Страниц: 52
Язык: русский

Журнал состоит из присланных читателями рецептов, предлагающих блюда для всей семьи. Продолжается овощной сезон, самое время для заготовок на зиму, которым всегда рады домочадцы и гости.

Название: Handbook of Formal Analysis and Verification in Cryptography
Автор: Sedat Akleylek, Besik Dundua
Издательство: CRC Press
Год: 2024
Страниц: 445
Язык: английский
Формат: pdf (true)
Размер: 11.8 MB

This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols. Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions. The handbook can be divided into three parts, the first two on formal analysis of cryptographic protocols, and the last one giving surveys of other areas (cryptographic Web applications and quantum programming algorithms). Graduate students, researchers, and engineers worldwide will find this an exciting read.

Название: ЇЖА. Домашні заготовки
Год/выпуск: № 3(15) 2023
Издательство: ТОВ "Вид-во «Кузя»"
Страниц: 36
Формат: PDF
Размер: 47.2 Мб
Язык: українська

Журнал "ЕДА. Домашние заготовки" - это сборник лучших рецептов на разные случаи: сезонные рецепты различных заготовок овощей и фруктов, меню для праздничного стола, для вегетарианцев или постное меню, полезные советы по приготовлению оригинальных блюд, а также интересный сканворд.