Название: Считающие чертежи (номограммы)
Автор: М. В. Пентковский
Издательство: Государственное издательство физико-математической литературы
Год: 1959
Формат: pdf
Страниц: 158
Размер: 10,49 Мб
Язык: русский

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

Название: Секреты здоровья
Издательство: Кардос
Год / месяц: 2025 / Июль
Номер: 13
Формат: PDF
Размер: 50 Mb
Страниц: 32
Язык: русский

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

Название: Дача
Издательство: Кардос
Год / месяц: 2025 / Июль
Номер: 13
Формат: PDF
Размер: 33 Мб
Страниц: 24
Язык: русский

Если у вас есть дача или деревенский дом с палисадником, а может быть, вы увлечены благоустройством цветника у подъезда, выращиваете растения на балконе или просто мечтаете когда-нибудь обзавестись своей землей – в любом случае «ДАЧА» примет вас с распростертыми объятиями. Каждый год мы с вами летом растим плоды и цветы, радуемся и оцениваем собранный осенью урожай, мечтаем о новых сортах и диковинках зимой. А весна в нашем «ДАЧном» клубе начинается раньше всех – ведь в январе мы уже готовимся к выращиванию рассады.

Название: Невыдуманные истории
Издательство: Пресс Курьер
Год / месяц: 2025 / Июль
Номер: 27
Формат: PDF
Размер: 23 Мб
Страниц: 33
Язык: русский

Журнал «Невыдуманные истории» – необычное в жизни обычных людей. Невероятные случаи из жизни, мистика, встречи с призраками, домовыми, лешими, ангелы-хранители, жизнь после смерти, чудесные исцеления, встречи с НЛО и многое другое. Удивительны и разнообразны людские судьбы! Пережитые трагедии, романтические встречи, семейные драмы, чудесные исцеления... Рассказы об этом ждут вас на страницах этого журнала. Все опубликованное здесь – реальные случаи из жизни обычных людей.

Название: Невыдуманные истории
Издательство: Пресс Курьер
Год / месяц: 2025 / Июнь
Номер: 26
Формат: PDF
Размер: 24 Мб
Страниц: 34
Язык: русский

Журнал «Невыдуманные истории» – необычное в жизни обычных людей. Невероятные случаи из жизни, мистика, встречи с призраками, домовыми, лешими, ангелы-хранители, жизнь после смерти, чудесные исцеления, встречи с НЛО и многое другое. Удивительны и разнообразны людские судьбы! Пережитые трагедии, романтические встречи, семейные драмы, чудесные исцеления... Рассказы об этом ждут вас на страницах этого журнала. Все опубликованное здесь – реальные случаи из жизни обычных людей.

Название: Питомник и частный сад
Издательство: Гавриш
Год / месяц выпуска: 2025/ май-июнь
Номер: 3 (93)
Страниц: 64
Формат: pdf
Размер: 17.9 Мб
Язык: русский
Журнал рассчитан на сотрудников питомников, фермеров, коллекционеров, озеленителей и садоводов-любителей. Отличается серьезным содержанием и доступной формой изложения материала, разнообразием тем и рубрик. В журнале отражены способы размножения растений, приёмы агротехники, приведены обзоры видов и сортов плодовых и декоративных культур, принципы планировки сада и выбора растений, вредители и болезни, средства защиты растений.

Название: Самые красивые места мира, в которые хочется отправиться прямо сейчас
Автор: А. Федосеева
Издательство: Эксмо
Год издания: 2022
Формат: PDF
Страниц: 250
Размер: 59 Мб
Язык: русский

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

Название: Лучшие кулинарные рецепты для постов, праздников и повседневные
Автор: Елена Молоховец
Издательство: Православное издательство "Сатисъ"
Год издания: 2002
Формат: PDF
Страниц: 128
Размер: 12 Мб
Язык: русский

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

Название: Археологические памятники ванвиздинской культуры бассейна Мезени
Автор: Мурыгин А.М.
Издательство: Екатеринбург: УрО РАН
Год: 2001
Формат: pdf/djvu
Страниц: 226
Размер: 14 mb
Язык: русский

Впервые обобщены археологические источники по ванвиздинской культуре раннего средневековья бассейна Мезени (вторая половина I тыс. н.э.). Детально представлены и проанализированы разнообразные материалы поселений, выделены хронологические группы памятников, выяснены особенности ванвиздинской культуры на Мезени. Выполнен спектральный анализ археологических предметов, связанных с металлургией и металлообработкой, определены костные остатки животных из раскопок. Введенные в научный оборот материалы имеют важное значение для проведения дальнейших исследований в области раннесредневековой проблематики Европейского Северо-Востока, используя новую обширную источниковую базу.
Книга адресована археологам, историкам, этнографам, а также студентам вузов.

Название: Session Types
Автор: Simon J. Gay, Vasco T. Vasconcelos
Издательство: Cambridge University Press
Год: 2025
Страниц: 247
Язык: английский
Формат: pdf
Размер: 10.1 MB

The topic of session types concerns the use of programming language type systems to specify and verify the communication behaviour of programs. Just as data types describe the structure of data and constrain the operations that can be performed on it, session types describe the structure of communication and constrain the communication operations that can be performed. A session type is a formal description of a communication protocol, made accessible to programming language tools such as typecheckers, compilers, IDEs and runtime monitors. Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers. Programming languages allow data structures to be codified as data types, and programming tools and environments use data types as the basis for analysis and verification. This could be at compile time, in languages such as Java, C, Scala and Haskell, or at run time, in languages such as Python. Session types are type-theoretic specifications of communication protocols, so that protocol implementations can be verified by compile-time type checking in a programming language.