Litgu.ru - Литературный Гуру

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

Название: 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.

Название: C++ For Concurrency And Parallel Programming
Автор: Maxwell Reed
Издательство: Reedsy
Серия: Cloud & Serverless Architectures Simplified
Год: November 27, 2024
Страниц: 91
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

C++ for Concurrency and Parallel Programming is your essential guide to mastering the techniques of concurrent and parallel programming in C++. Whether you're a seasoned developer or just getting started, this book offers clear, practical instruction on how to harness the power of C++ to write efficient, high-performance applications. Concurrency allows programs to handle multiple tasks at once, enhancing both speed and responsiveness. Parallel programming takes this concept further, enabling tasks to be executed simultaneously. In this book, you'll learn how to take full advantage of C++ features like threads, mutexes, and atomic operations to build apps that can scale and run efficiently in today’s multi-core world. With real-world examples, step-by-step explanations, and best practices, this book arms you with the knowledge to write powerful, concurrent programs. Whether you’re tackling a real-time system or optimizing your existing code, you’ll find the tools you need to make your applications more responsive and efficient.

Название: Найкращі казки світу
Составители: Світлана Крупчан, Лариса Цілик
Серия:«Найкращі казки»
Издатель: Видавництво РМ
Год: 2022
Формат: pdf
К-во стр.: 208
Размер: 20,45 Мб
Язык: українська

У світі так багато казок! – Найкращі з них, переказані відомими письменниками, читай у цій книжці.
Тут ти зустрінешся з принцами і принцесами, з добрими і лихими чарівниками, з гномами і велетнями, з тваринами, які розмовляють...
Кожна казка - цікава, захоплива і трохи повчальна, адже Добро завжди перемагає Зло, а справжні герої знаходять щастя.

Название: Pro Cloud Native Java EE Apps: DevOps with MicroProfile, Jakarta EE 11 APIs, and Kubernetes, 2nd Edition
Автор: Luqman Saeed, Ghazy Abdallah
Издательство: Apress
Год: 2025
Страниц: 645
Язык: английский
Формат: pdf (true), epub (true)
Размер: 10.1 MB

Learn how to build and deploy Java-based cloud native apps with Jakarta EE with the MicroProfile framework and Kubernetes. This revamped Second Edition reflects the latest updates in Jakarta EE 11, including enhanced support for creating web APIs with Jakarta REST, concurrency management with Jakarta Concurrency, and data persistence with Jakarta Persistence, while incorporating key changes introduced by MicroProfile 7.0. After a quick overview of Jakarta EE and MicroProfile, Pro Cloud Native Java EE Apps starts you on your way by walking you through a cloud-native Jakarta EE-based application case study that will be forged piece-by-piece over the course of the book. Next, you'll interject dependencies and data persistence capabilities as microservices to go with the case study app that you are building. Then, you will dive into migrating a monolith to become a production-ready cloud-native app. Finally, you will look ahead to the future of Jakarta EE with a NEW chapter on Artificial Intelligence and large language models (LLMs), exploring potential use cases for how AI-integration can enhance Jakarta EE capabilities. This revised new edition ensures you are equipped with the most current tools and techniques to develop forward-looking, cloud-native apps.

Название: Генезис. Искусственный интеллект, надежда и душа человечества
Автор(ы): Киссинджер Г., Манди К., Шмидт Э.
Издательство: Питер
Год: 2025
Страниц: 256
Формат: fb2, pdf
Размер: 13 Мб
Язык: русский

В своей последней книге покойный Генри Киссинджер объединяет усилия с двумя ведущими IT-инженерами и предпринимателями Крейгом Манди и Эриком Шмидтом, чтобы провести «глубокое исследование» эпохальных вызовов и возможностей, связанных с революцией в области искусственного – интеллекта: прорыв, который значительно расширяет возможности людей во всех сферах жизни, а также поднимает насущные вопросы о будущем человечества.

Название: Серия "Место преступления" в 5 книгах
Автор(ы): разные
Издательство: Москва
Год: 2015-2017
Страниц: 1000+
Формат: FB2
Размер: 10 Мб
Язык: русский

Серия «Место преступления»: Это лучшие скандинавские авторы детективного романа! Это лихо закрученные сюжеты, запутанные преступления, нагнетаемое с каждой страницей напряжение! Это самые страшные, опасные и коварные преступники! Это акцент на оперативной работе и обычных буднях оперативников! Это полицейский процедурал в стиле сериалов «Закон и порядок», «Мост», «C.S.I.: Место преступления» и «Прослушка» Открыв книги серии «Место преступления», вы не сможете спать по ночам, пока не перелистнете последнюю страницу!

Название: Допинг. Запрещенные страницы
Автор(ы): Григорий Родченков
Издательство: Медуза
Год: 2025
Формат: fb2, rtf
Размер: 11 Мб
Язык: русский

Эта книга одновременно и автофикшен, и производственный роман, и детективное расследование. Именно Григорий Родченков рассказал всему миру о государственной программе по подмене проб мочи российских спортсменов во время зимних Олимпийских игр 2014 года, на которых россияне завоевали рекордное количество золотых медалей.

Название: Серия "Экономика для русских" в 3 книгах
Автор(ы): разные
Издательство: Москва
Год: 2015-2016
Страниц: 1000+
Формат: FB2
Размер: 10 Мб
Язык: русский

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

Название: The Australian Women's Weekly - Diabetes
Год: 2025
Редактор: Jane Huxley (CEO)
Издательство: Are Media Books
Cтраниц: 86
Формат: pdf
Размер: 47,19 Мб
Язык: English

The Australian Women's Weekly. The Everyday Cookbook collection - Diabetes: Healthy recipes for every meal
You can trust The Australian Women’s Weekly. Every month, Australia’s favourite magazine delivers hard-hitting news, gorgeous features, advice, inspirational stories and the best triple-tested recipes. It’s the ultimate magazine, giving you time to relax and helps you fill your home with the latest in inspiring ideas. With covers ranging from Nicole Kidman to Prince George and the inspirational Turia Pitt, there is something for everyone.