Назад Вперед

Стійкій олов’яний солдатик

Автор: Tetyanka_ от 11-07-2024, 23:42, Коментариев: 0

Категория: КНИГИ » ДЕТСКИЕ КНИГИ

Название: Стійкій олов’яний солдатик
Автор: Ганс Христіан Андерсен
Изд-во: Київ: ПП «Павлім»
Год: 2001
К-во стр: 16
Формат: pdf
Размер: 3,27 Мб
Язык: Українська

Казки Г.Х. Андерсена відкривають нам чарівний світ, у якому добро завжди перемагає зло. Ця книга перенесе вас туди, де живуть підступні королі та прекрасні танцівниці, а звичайні іграшки сумують та кохають, як живі люди. Повчальна історія про непохитного олов'яного солдатика наголошує важливість долати труднощі, залишатися вірним своїм переконанням і віддавати заради них все, іноді навіть життя.
 

Florieren! - Juli/August 2024

Автор: sama_sha от 11-07-2024, 21:54, Коментариев: 0

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

Название: Florieren!
Издательство: Verlag
Год: 2024
Номер: Juli/August
Размер: 35 Мб
Формат: PDF
Страниц: 116
Язык: Немецкий

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

Ponto Cruz Safari infantil - Julho 2024

Автор: sama_sha от 11-07-2024, 21:12, Коментариев: 0

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

Название: Ponto Cruz Safari infantil
Издательство: MEGA Artesanato
Год: 2024
Номер: Julho
Размер: 24 Мб
Формат: PDF
Страниц: 26
Язык: Португальский

Журнал по вышивке крестиком. В издании представлено 25 проектов животных сафари. Все схемы просты и доступны в исполнении.
 

SQL Survival Guide: Database basics for beginners: Learn SQL from Scratch and Save Time and Effort

Автор: literator от 11-07-2024, 20:47, Коментариев: 0

Категория: КНИГИ » ОС И БД

Название: SQL Survival Guide: Database basics for beginners: Learn SQL from Scratch and Save Time and Effort
Автор: Sergio Garrido Barrientos
Издательство: Independently published
Серия: Database books: design and SQL for beginners and dummies
Год: 2024
Страниц: 153
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Envision yourself seamlessly executing queries, analyzing data, and making informed decisions. "SQL Survival Guide" is more than a book—it’s a workshop in print form. Each exercise and example is a stepping stone to proficiency, designed to build your knowledge incrementally. Sergio Garrido, a Project Manager in IT at a leading public sector engineering company, has meticulously crafted over 100 exercises and examples to ensure a comprehensive understanding of SQL. His approach is not just to teach but to empower you with a skill set that will stand the test of time. Have you ever felt that querying a database was like searching for a needle in a haystack? Surely you have heard everyone say that SQL is no longer used or that its use is becoming less widespread... Do not belive that! The reality is very different. The SQL language continues to be one of the most used in the world of application development. Today we find ourselves surrounded by information and the ability to exploit and analyze all this amount of data is becoming a highly required skill in companies. This is an eminently practical book, I have avoided long and cumbersome explanations or parameters that are not usually used. You will see how in each chapter there are examples and exercises that will help you understand each of the orders or commands that SQL has. The goal is that in a very short time you can become proficient with SQL. Depending on the database manufacturer we will have some differences when using the SQL language. In this book we try to use a standard that adapts to most cases. The world of databases is fascinating and offers many benefits to both developers and anyone involved in creating applications.
 

Приусадебное хозяйство № 7, 2024 (с приложениями)

Автор: Gencik_52 от 11-07-2024, 20:41, Коментариев: 0

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


Название: Приусадебное хозяйство
Издательство: ООО "Приусадебное хозяйство"
Год: 2024
Номер: 7 (июль)
Страниц: 100 + 16 +16
Формат: pdf(ClearScan)/djvu
Качество: хорошее (600 dpi)
Размер: 96.3 Мб; 5.3 Мб (rar + 3 %)
Язык: русский
"Приусадебное хозяйство" — уникальная энциклопедия знаний для всех, кто имеет землю — будь то шесть дачных соток, крестьянская усадьба или фермерское хозяйство.
Журнал освещает богатейший практический опыт садоводов, огородников, владельцев домашней живности. Его отличительные черты — достоверность информации и поиск нового.
В архиве присутствуют приложения к журналу "Цветы в саду и дома" (темы номера – Розовые ковры и каскады) и "Дачная кухня: к столу и впрок" (тема номера – Печем-запекаем, гостей угощаем).

 

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Автор: literator от 11-07-2024, 19:53, Коментариев: 0

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

Название: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Автор: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Издательство: Springer
Серия: Computer Science Foundations and Applied Logic
Год: 2024
Страниц: 708
Язык: английский
Формат: pdf (true), epub
Размер: 64.7 MB

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. The C programming language continues to be used in foundational software such as device drivers, networking software, operating systems, and controllers, and such software is of growing importance as computers are used in more and more products and cyber-physical systems. C is an attractive programming language for such systems because it provides low-level access to machine capabilities, explicit storage allocation, and pointer arithmetic. However, these same features make it difficult to use C safely and reliably. Programming safely and reliably in language such as C benefits greatly from tool support, which can record a programmer’s decisions and check that they are carried out consistently and without running into any semantic problems.
 

Лекарственные и пищевые растения Колымы

Автор: сансаныч от 11-07-2024, 19:53, Коментариев: 0

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

Название: Лекарственные и пищевые растения Колымы
Автор: Частухина С.А.
Издательство: Магаданская областная типография
Год: 1995
Формат: pdf
Страниц: 195
Размер: 12,5 Мб
Язык: русский

Какие из растений Магаданской области целебны? От каких болезней эти растения излечивают? Как приготовить лекарства из растений? Какие блюда можно сделать из магаданских трав? На эти вопросы отвечает данная книга.
 

Мода (Алма-Ата) №1 1985

Автор: sama_sha от 11-07-2024, 19:37, Коментариев: 0

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

Название: Мода (Алма-Ата)
Издательство: Республиканский Дом Моделей Казахстана
Год: 1985
Номер: 1
Размер: 90 Мб
Формат: PDF
Страниц: 30
Язык: Русский/ Казахский

Раритетный журнал по шитью с выкройками.
 

Ольстер: время остановилось?

Автор: сансаныч от 11-07-2024, 19:29, Коментариев: 0

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

Название: Ольстер: время остановилось?
Автор: Чепоров Э.А.
Издательство: Политиздат
Год: 1984
Формат: pdf
Страниц: 179
Размер: 11,8 Мб
Язык: русский

Взрыв. Летят на мостовую оконные рамы, сыпятся кирпичи, поднимается к небу столб пламени. И новые человеческие жертвы. Это эпизод, давно ставшим обычным для жизни Ольстера (Северной Ирландии). Очевидец многих событии ольстерской драмы политический обозреватель АПН Э.А. Чепоров рассказывает в своих документально-художественных очерках об ее истоках и причинах, о терроре экстремистских группировок, пытках в полицейских застенках, о том, как британская армия на практике осуществляет «умиротворение» Ольстера. В книге приводятся многочисленные факты и свидетельства, опровергающие попытки «большой» лондонской прессы извратить события в Северной Ирландии.
 

Хазяїн. Дім, сад, город № 25-26 2024

Автор: Tetyanka_ от 11-07-2024, 19:29, Коментариев: 0

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

Хазяїн. Дім, сад, город № 25-26 2024Название: газета «Хазяїн. Дім, сад, город»
Номер/дата выпуска: № 25 (1497) 26 червня ua – 26 (149) 3 июля ru, 2024
Изд-во:ТОВ «ВД "Хазяїн"»
Страниц: по 32 (без рекламы)
Формат: pdf
Размер: 77,04 Мб
Язык: українська, русский

«Хазяїн. Дім, сад, город» - всеукраїнська газета-енциклопедія корисних порад, яка поповнюється сотнями рекомендацій від читачів і професіоналів, - це справжня настільна книга для вмілого господарювання! В постійних рубриках видання можна прочитати про:
«СІМЕЙНА СТРАВА» * «ПІД КРИШЕЧКУ» * «КУМА ЗНАЄ ВСЕ» (риба) * «СКАРБНИЧКА» * «ПОРАДИ ДО ЧАСУ» * «З МІСЯЦЯ В МІСЯЦЬ» * «ГОРОД» (огірки; морква) * «ЗАХИСТ» * «КВІТНИК» (петунії, сурфінії) * «ЯГІДНИК»: бузина * «ТОМАТНИЙ КЛУБ» * «ЛАНДШАФТНИЙ ДИЗАЙН» * «ПРЯНІ ТА ЛІКАРСЬКІ» (ліпія) * «ЯК БУТИ» * «ВИНОГРАДНИК» * «ЖИВИЙ КУТОЧОК»: арована * «РУКОДІЛЬНИЦЯ»: подушки "бохо" *
 
Назад Вперед