Название: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017
Автор: Ofer Strichman and Rachel Tzoref-Brill
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 10 Мб
Язык: английский / English

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.
The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Название: Empirical Research for Software Security: Foundations and Experience
Автор: Lotfi ben Othmane, Martin Gilje Jaatun
Издательство: CRC Press
ISBN: 1498776418
Год: 2018
Страниц: 323
Язык: английский
Формат: pdf
Размер: 19.2 MB

Developing secure software requires the integration of numerous methods and tools into the development process, and software design is based on shared expert knowledge, claims, and opinions. Empirical methods, including data analytics, allow extracting knowledge and insights from the data that organizations collect from their processes and tools, and from the opinions of the experts who practice these processes and methods. This book introduces the reader to the fundamentals of empirical research methods, and demonstrates how these methods can be used to hone a secure software development lifecycle based on empirical data and published best practices.

Название: Домашние заготовки
Автор: Авт.-сост. Л. Смирнова
Издательство: ACT, Харвест
Год: 2006
Серия: 50 самых лучших рецептов
Формат: pdf
Страниц: 64
Размер: 4,7 Mb
Язык: Русский

В книге описано множество способов консервирования, маринования фруктов и ягод, приготовления варенья, джемов, компотов и соков.

Название: Секреты и архивы
Издательство: ООО Бауэр Медиа
Год издания: 2018
Номер: №1
Страниц: 19
Формат: pdf
Язык: русский
Размер: 35 Мб

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

Автор: Петр Блэк
Название: Тайны Эльфигории
Серия или цикл: Саннариас
Издательство: Творческая группа «СамИздат»
Озвучивает: zzJoker
Год издания аудио книги: 2018
Жанр: фентези
Аудио: MP3, 192 Кбит/с
Продолжительность: 05:48:42
Язык: русский
Размер: 487 Mб

Полагаете, что в мире меча и магии, нет места обычным смертным? Нет? Спешу вас разубедить… Это не так!!!

Название: Самые вкусные блюда из рыбы
Издательство: АСТ
Год: 2010
Серия: Быстро, вкусно, просто
ISBN: 978-5-17-069076-3
Формат: fb2
Страниц: 135
Размер: 1,1 Mb
Язык: Русский

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

Автор: Владимир Стрельников
Название: Земля лишних. Опасные Тропы. Рядовой Срочной Службы
Серия или цикл: Мир «Земли лишних», Простые оружные парни
Издательство: ИДДК
Озвучивает: Доронин Максим
Год издания аудио книги: 2018
Жанр: фантастика
Аудио: MP3, 58 Кбит/с
Продолжительность: 09:30:14
Язык: русский
Размер: 240 Mб

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

Автор: Владимир Стрельников
Название: Земля лишних. Простые оружные парни
Серия или цикл: Мир «Земли лишних», Простые оружные парни
Издательство: ИДДК
Озвучивает: Доронин Максим
Год издания аудио книги: 2018
Жанр: фантастика
Аудио: MP3, 60 Кбит/с
Продолжительность: 09:21:13
Язык: русский
Размер: 246 Mб

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

Название: Домашние заготовки
Автор: Любовь Смирнова
Издательство: АСТ, Харвест
Год: 2011
Серия: Быстро, вкусно, просто
ISBN: 978-985-16-0187-1
Формат: fb2
Страниц: 59
Размер: 1,1 Mb
Язык: Русский

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

Название: Fisheye
Год / месяц: 2018 Janvier-Fevrier / январь-февраль
Номер: 28
Формат: pdf
Размер: 111,8 Мб
Язык: французский

Fisheye est un bimestriel qui decrypte la societe a travers la photographie avec des rubriques politique, economie, societe, culture, tendance... et s’interesse aux ecritures photographiques d’une generation qui aborde la photographie en toute liberte.