Тринитротолуол. Метка хаоса как образ мышления (Аудиокнига)

Автор: Uri от 17-03-2023, 16:56, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Тринитротолуол. Метка хаоса как образ мышления (Аудиокнига)Название: Тринитротолуол. Метка хаоса как образ мышления
Автор: Вишневский Сергей
Жанр: Фантастика
Издательство: Аудиокнига своими руками
Год: 2023
Тип: аудиокнига
Читает: Кай Фрост
Язык: Русский
Время звучания: 04:56:33
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 272.58 Mb

Клан Д.А.Н.О.Н. канул в лету? Все ушли в реал и свершения великой троицы закончены? К сожалению - да, но! Остался неучтенный элемент... Элемент без логики. Элемент без страха и упрека. Тринитротолуол. Триник."Триник, скотина!" Примечания автора: Предновогодний рассказ для поднятия настроения! Будет ли это роман? Сомневаюсь. Пока это просто новогодний проект, для поднятия настроения!
 

Хранящий память. Инквизитор (Аудиокнига)

Автор: Uri от 17-03-2023, 16:51, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Хранящий память. Инквизитор (Аудиокнига)Название: Хранящий память. Инквизитор
Автор: Кир Лирик
Цикл/серия: Хранящий память
Номер книги: 1
Жанр: Фэнтези
Издательство: ЛитРес
Год: 2023
Тип: аудиокнига
Читает: Уделов Сергей
Язык: Русский
Время звучания: 10:52:34
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 597.72 Mb

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

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Автор: literator от 17-03-2023, 16:48, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Introduction to Dependent Types with Idris: Encoding Program Proofs in TypesНазвание: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Автор: Boro Sitnikovski
Издательство: Apress
Год: 2023
Страниц: 128
Язык: английский
Формат: pdf
Размер: 10.2 MB

Idris is a programming language designed to encourage Type-Driven Development. Dependent types are a concept that allows developers to write proof-carrying code. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties. Idris is a general-purpose functional1 programming language that supports dependent types. The features of Idris are influenced by Haskell, another general-purpose functional programming language. Thus, Idris shares many features with Haskell, especially in the part of syntax and types, where Idris has a more advanced type system. There are several other programming languages that support dependent types; however, I chose Idris for its readable syntax.
 

Uncharted: A Rediscovered History of Voyages to the Americas Before Columbus

Автор: Indulis79 от 17-03-2023, 16:46, Коментариев: 0

Категория: КНИГИ » ИСТОРИЯ


Название: Uncharted: A Rediscovered History of Voyages to the Americas Before Columbus
Автор: Tim Wallace-Murphy, James Martin
Издательство: New Page Books
ISBN: ‎1637480113
Год: 2023
Формат: PDF
Страниц: 228
Размер: 20,8 МБ
Язык: Английский

An exploration of the history, mythology, and evidence of those who traveled to pre-Columbian America. Native groups have lived in the Americas for more than 10,000 years, but the voyages of Columbus surely did not bring the first visitors. Uncharted covers a range of cultures who seemingly visited the Americas long before Columbus, including Egyptians, Greeks, Celts, Vikings, as well as various people from Asia; and one large Chinese group who likely settled in the Americas in 100 BC.

 

Кран автомобильный Tatra T815 AD 28 (Ripper Works 019)

Автор: freees771 от 17-03-2023, 16:28, Коментариев: 0

Категория: ЖУРНАЛЫ » МОДЕЛИЗМ


Название: Tatra T815 AD 28
Издательство: Ripper Works
Формат: rar (pdf/jpg), В4/А4
Масштаб: 1x32
Размер: 394 мб
Листов: 14 + 14 + 20 + 14
Язык: чешский
Журнал для любителей моделирования из картона.
Распечатай, вырежи и склей.
Бумажнокартонная модель-копия современного чешского автомобильного крана.
Четыре варианта журнала. Три окраса. Два формата для печати.
Перевод инструкции по сборке на русский язык.
 

Рулеты Баноффи и Клубноффи

Автор: Chipa от 17-03-2023, 16:17, Коментариев: 0

Категория: КНИГИ » КУЛИНАРИЯ


Название: Рулеты Баноффи и Клубноффи
Автор: Ольга Богатова
Издательство: Интернет-издание
Год: 2023
Формат: PDF
Страниц: 15
Размер: 43 Mb
Язык: Русский

Простые в приготовлении рулеты Баноффи с бананом и карамелью и Клубноффи с клубникой. Любимые начинки всех сладкоежек, мягкие, нежные, быстрые в приготовлении рулеты теперь доступны каждому!

 

Право волка (Аудиокнига)

Автор: Uri от 17-03-2023, 16:17, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Право волка (Аудиокнига)Название: Право волка
Автор: Морриган Лана
Цикл/серия: Любовь на века
Номер книги: 1
Жанр: Эротическое фэнтези
Издательство: ЛитРес
Год: 2023
Тип: аудиокнига
Читает: Май Алиия
Язык: Русский
Время звучания: 09:09:55
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 503.99 Mb

Лилия Аксенова – студентка финансового факультета. У нее есть парень и любимое хобби, но жизнь переворачивается с ног на голову, когда однокурсница подвозит до дома. Новая подруга и ее семья окружены ореолом таинственности.
 

Я тебя забираю (Аудиокнига)

Автор: Uri от 17-03-2023, 16:16, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Я тебя забираю (Аудиокнига)Название: Я тебя забираю
Автор: Морриган Лана
Цикл/серия: Любовь на века
Номер книги: 9
Жанр: Эротическое фэнтези
Издательство: ИДДК
Год: 2023
Тип: аудиокнига
Читает: Татьяна Борисова Татьяна
Язык: Русский
Время звучания: 06:50:49
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 377.23 Mb

«Я тебя забираю» – фантастический роман Ланы Морриган, жанр городское фэнтези, эротическое фэнтези.
– Девятнадцать лет назад, оборотень, мы заключили сделку. Жизнь твоей матери в обмен на долг. А сегодня я пришел забрать то, что принадлежит мне по праву – твою дочь.
 

Наследие древних. Начало (Аудиокнига)

Автор: Uri от 17-03-2023, 16:16, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Наследие древних. Начало (Аудиокнига)Название: Наследие древних. Начало
Автор: Найдёнов Дмитрий
Цикл/серия: Наследие древних
Номер книги: 1
Жанр: Фантастика
Издательство: ЛитРес
Год: 2023
Тип: аудиокнига
Читает: Сидоров Александр
Язык: Русский
Время звучания: 06:51:42
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 378.45 Mb

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

Корона для попаданки (Аудиокнига)

Автор: Uri от 17-03-2023, 16:16, Коментариев: 0

Категория: АУДИОКНИГИ » БЕЛЛЕТРИСТИКА

Корона для попаданки (Аудиокнига)Название: Корона для попаданки
Автор: Гале Анна
Жанр: Фэнтези
Издательство: ЛитРес
Год: 2023
Тип: аудиокнига
Читает: Сахаровская Юлианна
Язык: Русский
Время звучания: 06:21:40
Формат: MP3
Битрейт аудио: 128 кбит/c
Размер: 355.88 Mb

В ссоре с дочерью-студенткой и ее бойфрендом Ираида Михайловна заявила, что могла бы успешно управлять не только дочерью и фирмой, но и целым государством. Несколько неосторожных слов – и Ираида Михайловна меняется телами с девушкой-демиургом Ири из другого мира.