Tools and Algorithms for the Construction and Analysis of Systems. 26th International Conference, TACAS 2020. Part I

Автор: literator от 11-05-2020, 19:54, Коментариев: 0

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

Tools and Algorithms for the Construction and Analysis of Systems. 26th International Conference, TACAS 2020. Part IНазвание: Tools and Algorithms for the Construction and Analysis of Systems. 26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings, Part I
Автор: Armin Biere, David Parker
Издательство: Springer
Серия: Lecture Notes in Computer Science
Год: 2020
Страниц: 515
Язык: английский
Формат: pdf (true)
Размер: 16.3 MB

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
 

Опрокинутый мир

Автор: Max148 от 11-05-2020, 19:47, Коментариев: 0

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


Название: Опрокинутый мир
Автор: Леонид Ивашов
Издательство: ИД Аргументы Недели
Год: 2019
Формат: PDF/RTF
Страниц: 272
Размер: 10.2 Мб
Язык: русский

Происхождение и смысл существования человеческой цивилизации – одна из главных тайн мироздания. Согласно древнему Тибетскому манускрипту, сейчас проходит свой путь пятая цивилизация, четыре предыдущих погибли. Размышляя о сущности человека, как части многосложного мира, автор говорит, что для объективного понимания причинно-следственных связей исторических процессов необходимо создать единую базу научных, религиозных и эзотерических знаний. Несомненно, древние цивилизации обладали такой базой знаний, позволявшей им внедрять технологии, неизвестные ныне… А что если часть материалов, полученных Я. Блюмкиным от тибетских лам, попала в руки нацистов? В таком случае гипотезы о тайном оружии древних цивилизаций, Шамбале, Новой Швабии и бегстве Гитлера подтверждаются. В книге представлены секретные материалы архивов ОГПУ-НКВД, КГБ, НСДАП, общества «Аненербе», главного командования вермахта.
 

Победитель. Серая сталь

Автор: tatanavip от 11-05-2020, 19:43, Коментариев: 0

Категория: КНИГИ » ФАНТАСТИКА И ФЭНТЕЗИ


Название: Победитель. Серая сталь
Автор: Андрей Земляной
Издательство: Самиздат
Год: 2020
Формат: fb2, rtf
Размер: 10 Мб
Качество: Хорошее
Язык: Русский

Этот мир очень похож на наш. Но в нём не было Романовых на престоле, Россия не участвовала в Первой Мировой и вообще история пошла по немного другому пути. Совсем чуть-чуть.
 

Сезон у дачи №8 2020

Автор: Sirena от 11-05-2020, 19:39, Коментариев: 0

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

Название: Сезон у дачи
Издательство: Арбуз
Год / месяц: 2020 / апрель
Страниц: 68
Формат: PDF
Размер файла: 31,2 МБ
Язык: русский

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

Meine Strick-Welt - Socken in Scandi Style MW010 2020

Автор: Lexi от 11-05-2020, 19:07, Коментариев: 0

Категория: ЖУРНАЛЫ » ВЯЗАНИЕ И ШИТЬЕ

Название: Meine Strick-Welt - Socken in Scandi Style
Издательство: OZ-Verlags-GmbH
Год / месяц: 2020
Номер: MW010
Формат: jpg / pdf
Размер: 31.4 MB / 31.9 MB
Язык: Немецкий

Специальный выпуск журнала Meine Strick-Welt - Socken in Scandi Style представляет коллекцию проектов для рукодельниц. Журнал посвящённый вязанию спицами носков. Инструкции и схемы прилагаются.
 

Snow, Glass, Apples

Автор: harun54 от 11-05-2020, 19:04, Коментариев: 0

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

Название: Snow, Glass, Apples
Автор: Neil Gaiman
Издательство: Headline
Год: 2019
Формат: EPUB
Размер: 85 Мб
Язык: английский / English

A not-so-evil queen is terrified of her monstrous stepdaughter and determined to repel this creature and save her kingdom from a world where happy endings aren't so happily ever after. From the Hugo, Bram Stoker, Locus, World Fantasy, Nebula Award-winning and Sunday Times-bestselling writer Neil Gaiman (American Gods) comes this graphic novel adaptation by Colleen Doran (Troll Bridge).
 

IP Subnetting For Dummies: 7 Steps To Understand IP Subnetting In Simple Terms, Bonus Subnetting Calculator

Автор: literator от 11-05-2020, 19:01, Коментариев: 0

Категория: КНИГИ » СЕТЕВЫЕ ТЕХНОЛОГИИ

IP Subnetting For Dummies: 7 Steps To Understand IP Subnetting In Simple Terms, Bonus Subnetting CalculatorНазвание: IP Subnetting For Dummies: 7 Steps To Understand IP Subnetting In Simple Terms, Bonus Subnetting Calculator
Автор: Mike Blackbot
Издательство: Amazon.com Services LLC
Год: 2019
Язык: английский
Формат: pdf, azw3, epub
Размер: 10.1 MB

Are you ready to learn a quick subnetting? Are you ready to learn how to create & and play with ip subnets and its maths? Regardless of how little experience you may have, if you are a knowledge-seeking person and want to learn about subnetting, follow us as you are at the right place to learn. This is your ultimate guideline to gaining the knowledge to pass all networking exams like CCNA, HCNA, CompTIA A+, and achieve success in your university subject. There are millions of other networking guides, tutorials and research papers out there but most of them are unclear, complicated and wordy.
 

Grow Food at Home: Simple Methods for Small Spaces

Автор: harun54 от 11-05-2020, 18:57, Коментариев: 0

Категория: КНИГИ » ОГОРОД, САД, ХОЗЯЙСТВО

Название: Grow Food at Home: Simple Methods for Small Spaces
Автор: John Tullock
Издательство: Countryman Press
Год: 2020
Формат: EPUB
Размер: 37 Мб
Язык: английский / English

Grow food for freshness. Grow food organically. Grow food to connect with nature. Whatever the goal, you don’t need a lot of space to enjoy the benefits of homegrown veggies, herbs, and fruits. In Grow Food at Home, gardening expert John Tullock shows readers just how easy it is to enjoy “farm”-fresh produce grown right on the windowsill, the porch, or in a tiny backyard. Covering artificial lighting, hydroponics, vertical gardening, straw-bale planters, and more, the book offers even the most confined apartment dwellers plenty of options to get growing. Tullock shares all the tips and tricks readers need to make small-space gardening a success, with information on starting seeds, transplanting, succession planting, “crop” rotation, and other procedures—all tailored to the small-space garden—plus recipes to make the most of the harvest.
 

Hero Maker: 12 Weeks to Superhero Fit

Автор: harun54 от 11-05-2020, 18:55, Коментариев: 1

Категория: КНИГИ » САМООБОРОНА И СПОРТ

Название: Hero Maker: 12 Weeks to Superhero Fit
Автор: Duffy Gaver
Издательство: St. Martin's Griffin
Год: 2020
Формат: EPUB
Размер: 225 Мб
Язык: английский / English

Former Marine sniper and ex-navy Seal, Duffy Gaver is the unsung hero of Hollywood. As a master trainer to the stars, he has transformed the bodies of actors such as Chris Hemsworth, Chris Pratt, Scarlett Johanson, Brad Pitt and many others. He is a Hero-Maker. He gets the most out of his clients by making them rethink their lives. For Duffy, the fitness industry sells a myth: it's all about the latest and greatest fads. Back in 1965, Larry Scott won the first Mr. Olympia. There was no Nike. No thermogenic products. No supplement industry. How did he do it then? With his will, his discipline, his desire. The things that big businesses can't manufacture. The first four minute mile, the first iron man triathlon, and the first world's strongest man all took place before 99% of today's companies even existed. What does this prove? None of this stuff is necessary.
 

Дастархан - вкусные рецепты

Автор: SCART56 от 11-05-2020, 18:51, Коментариев: 0

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


Название: Дастархан - вкусные рецепты (2020)
Автор(ы): Есеноманова Асель Алиаскаровна
Издательство: АСТ
Год: 2020
Страниц: 210
Формат: PDF
Размер: 69 Мб
Язык: русский

В книге «Дастархан — вкусные рецепты» Асель Алиаскаровна, автор популярных кулинарных блогов на YouTube (870 тысяч подписчиков) и в Instagram (263 тысячи подписчиков), собрала лучшие рецепты, передающиеся из поколения в поколение в больших восточных семьях.
В кулинарной книге Асель вы найдете рецепты традиционных блюд, которые испокон веков выставляются на дастарханах и собирают к трапезе всю семью, — хошанов, бешбармака, басмы, бугламы, ганфана и многих других.