Vtome.ru - электронная библиотека

  • Добавил: Gerza
  • Дата: Сегодня, 03:35
  • Комментариев: 0

Название: Air & Space Forces 2025-03-04
Издательство: Air Force Association
Страниц: 56
Язык: English
Формат: True PDF
Размер: 18 MB

Air & Space Forces Magazine is the monthly journal of the Air & Space Forces Association and among the world’s foremost publications on defense, aerospace, and airpower.
  • Добавил: Gerza
  • Дата: Сегодня, 03:25
  • Комментариев: 0

Название: Soldier 2025-04
Издательство: Crown
Страниц: 76
Язык: English
Формат: True PDF
Размер: 11 MB

Soldier Magazine - official monthly publication of the British Army, is produced by an in-house team and published by the Ministry of Defence. It strives to offer an effective means of communication aimed primarily at junior ranks but also of interest to all ranks of the British Army, cadets and the wider military community, including veterans and members of the public with an interest in military.
  • Добавил: literator
  • Дата: Сегодня, 01:58
  • Комментариев: 0
Название: Доказательство корректности программ
Автор: К. Рустан, М. Лейно
Издательство: ДМК Пресс
Год: 2024
Страниц: 532
Язык: русский
Формат: pdf
Размер: 12.8 MB

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Книга предполагает наличие у читателя базовых знаний программ и программирования. Стиль этого программирования (функциональный, императивный) и конкретный используемый язык не так важны, но будет полезно, если используемые читателями языки программирования поддерживают концепцию типов.
  • Добавил: literator
  • Дата: Сегодня, 01:32
  • Комментариев: 0
Название: Java File Handling Step by Step: A Practical Guide with Examples
Автор: William E. Clark
Издательство: Nobtrex L.L.C.
Год: 2025
Страниц: 227
Язык: английский
Формат: epub (true)
Размер: 10.1 MB

This book provides a comprehensive and detailed guide to managing file operations in Java, offering clear explanations and practical examples to help both beginners and experienced developers enhance their programming skills. The content is meticulously organized to introduce fundamental concepts and progressively build towards more complex applications, ensuring that readers develop a solid understanding of file handling techniques and best practices in Java. The organization of the material follows a logical progression, starting with the basics of file handling and Java I/O, progressing into the use of streams for reading and writing data, and expanding into file and directory management, file paths, and metadata operations. Each chapter is crafted with precision, incorporating step-by-step examples and code demonstrations that illustrate the effective application of concepts, alongside detailed discussions on error handling and practical file-related applications.
  • Добавил: magnum
  • Дата: Сегодня, 01:25
  • Комментариев: 0
Artists Back to Basics - Issue 2 2025Название: Artist's Back to Basics
Год / месяц: 2025
Номер: Vol.15 No.2
Страниц: 70
Формат: PDF
Размер: 55,8 MB
Язык: English

For budding artists looking to discover new techniques and easy step by step hints and ideas. Product reviews and painting ideas suits all skill levels Artists.
Artists Back to Basics - ведущий австралийский журнал для художников любого уровня подготовки. Читатели журнала учатся живописи и созданию рисунка непосредственно от других художников через пошаговое обучение и воспроизведение всего творческого процесса. Журнал представляет читателям самые разнообразные возможности творчества, обучает основам художественного мастерства, представляет различные техники живописи и рисования.
  • Добавил: tatanavip
  • Дата: Сегодня, 01:04
  • Комментариев: 0

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

У судьбы определённо есть чувство юмора. Вчера я был успешным ресторатором всея Москвы, а сегодня замороженный палтус обнулил мою карьеру и лишил меня жизни.
Но, как оказалось, не окончательно. Я переродился в теле начинающего повара. Внезапно, повара с зачатками ментальной магии!
Да-да, магии в новом мире хватает с лихвой. А ещё кругом аристократы, демоны, оборотни и аномалии.
  • Добавил: magnum
  • Дата: Сегодня, 00:54
  • Комментариев: 0
Fotomania - Marco 2025Название: Fotomania
Издательство: EdiCase
Год / месяц: Marсo 2025
Страниц: 36
Формат: True PDF
Размер: 25,6 MB
Язык: Portuguese

Fotomania — выпуск, наполненный фотографиями очень горячих девушек, некоторых обнажённых и топлесс. Fotomania - популярный журнал в сфере фотоискусства и обработки изображений для интересующихся любителей, профессиональных фотомастеров и всех, кто считает фотоискусство существенной частью своей жизни. Внутри любого ежемесячного издания вы увидите советы по использованию освещения, советы профессионалов из фотопавильонов, протоколы испытаний, отзывы об оборудовании и многое другое!
  • Добавил: Dimas
  • Дата: Сегодня, 00:53
  • Комментариев: 0

Название: Техника и Вооружение 2025-04
Издательство: РОО "Техинформ"
Формат: True PDF
Страниц: 52
Размер: 22 Mb
Язык: Русский

Военно-технический, научно-популярный журнал «Техника и вооружение», освещает вопросы научно-технического прогресса в Вооруженных Силах, публикует материалы о развитии современного оружия, подготовке специалистов различных профилей в войсках и военно-учебных заведениях, инженерной психологии, технической подготовке, эксплуатации боевой техники, планирование и функционирование войскового ремонтного производства, материалы о развитии техники и вооружения армий ведущих стран мира.
  • Добавил: Dimas
  • Дата: Сегодня, 00:51
  • Комментариев: 0

Название: Техника и Вооружение 2025-03
Издательство: РОО "Техинформ"
Формат: True PDF
Страниц: 52
Размер: 24 Mb
Язык: Русский

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