|
 |
|
 |
|
|
 |
|  |
|
 Название: Formal Verification of Just-In-Time Compilation
Автор: Aurèle Barrière
Издательство: ACM Books
Год: 2025
Страниц: 176
Язык: английский
Формат: epub (true)
Размер: 10.1 MB
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the jаvascript programs they execute. However, the techniques used in Just-in-Time compilers can be particularly complex. This complexity can be a source of bugs and vulnerabilities. How can you make sure that your Just-in-Time compiler is bug-free? For traditional ahead-of-time compilers, many techniques have been developed to prevent compilation bugs. One such technique is formally verified compilation, where the compiler itself comes with proof that the semantics of the compiled program correspond to the semantics of the source program. But Just-in-Time compilers are more recent, less understood, and have been the target of far fewer verification efforts. | |
Разместил: Ingvar16 14-03-2025, 05:33 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: 50 оттенков управления. Кнутом и пряником
Автор: Алексей Старков
Издательство: Издательские решения
Год: 2025
Страниц: 177
Язык: русский
Формат: pdf, rtf, fb2. epub
Размер: 10.89 MB
Вы умеете ладить с коллективом? Понимаете, как корректно вести себя в рабочей среде? А если Ваша деятельность непосредственно связана с управлением? Как налаживать рабочие отношения одновременно с бизнес-процессами? Как стать умелым менеджером? Какого стиля управления придерживаться и как мотивировать? В ходе увлекательной беседы автор — практик строительства с опытом работы свыше 15 лет поделится навыками, которые Вы примените в своей жизни. Для менеджеров и студентов вузов. | |
Разместил: Ingvar16 14-03-2025, 04:52 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Искусство резьбы в ArtCAM: Путь к творческому самовыражению
Автор: Дьякон Джон Святой
Издательство: Автор
Год: 2025
Язык: русский
Формат: pdf, rtf, fb2. epub
Размер: 10.7 MB
В этой книге мы погружаемся в мир художественной резьбы с использованием программы ArtCAM, исследуя ключевые аспекты проектирования и обработки 2D и 3D элементов. Читатели познакомятся с основами работы в ArtCAM, узнают, как создать уникальные и выразительные изделия, используя как традиционные, так и современные композитные материалы. Мы подробно разберем процесс от замысла до завершенного изделия, включая советы по выбору материалов, созданию инструментальных путей и финишной отделке. Эта книга предназначена как для начинающих, так и для опытных мастеров, стремящихся расширить свои навыки и внедрить инновации в свои творческие проекты. Откройте для себя новые горизонты дизайна, вдохновляйтесь создаваемыми вами произведениями искусства и несите красоту в повседневную жизнь. ArtCAM – это мощный инструмент, созданный для разработчиков, дизайнеров и мастеров, работающих в сфере обработки материалов, таких как дерево, акрил, металл и другие. Программное обеспечение сочетает в себе функции для создания и редактирования 2D- и 3D-дизайнов и предоставляет возможности для генерации инструментальных путей, которые затем используются фрезерными станками, такими как Savinsname. Один из самых полезных аспектов ArtCAM – это возможность создания 3D-моделей. Вы можете начинать с 2D-дизайна и легко преобразовывать его в 3D, используя инструменты моделирования программы. | |
Разместил: Ingvar16 14-03-2025, 03:50 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Ніч, коли згасли зорі (Книга 1)
Автор: Нін Ґорман, Марі Альгіньйо
Серия: «Ніч, коли згасли зорі»
Изд-во: ТАК
Год: 2024
К-во стр.: 480
Формат:pdf
Размер: 71,38 Мб
Язык: українська
Що темніший хаос, то красивішою буде зоря…
Мати Фінна у в’язниці, а він думає, що вже не зможе виборсатися із самісінького дна. Йому здається, що заблукав і залишився сам. Юнак намагається знайти шлях серед випадкових знайомств, але від цього відчуває лише спустошення. Він навчився не мати надій, намагався терпіти щодення й змиритися з чорною буденністю. Проте життя інколи набуває й несподіваних поворотів. Йому хочеться знайти свій шлях, якщо такий взагалі існує, та чомусь збивається з нього. Фінн намагається відволіктися й розчинитися в обіймах дівчат, аж поки не знаходить світло, що сяє провідною зорею.
Адже в деяких людях світла стільки, що темрява відступає. | |
Разместил: TTT22 14-03-2025, 02:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Введение в мир ЧПУ: искусство и наука програмирования
Автор: Дьякон Джон Святой
Издательство: Автор
Год: 2025
Страниц: 111
Язык: русский
Формат: pdf, rtf, fb2. epub
Размер: 10.1 MB
Книга "Введение в мир ЧПУ: Искусство и Наука Программирования" представляет собой полное руководство для начинающих и опытных специалистов в области числового программного управления. В ней подробно рассмотрены основы работы с ЧПУ-станками, написание программ на G-коде, использование расширенных функций и оптимизация производственных процессов. Читатели смогут погрузиться в захватывающий мир автоматизации, узнать о новейших технологиях и тенденциях Индустрии 4.0. Книга содержит практические советы, примеры кода и рекомендации по безопасности, а также основные пути к развитию и совершенствованию навыков в этой быстро меняющейся сфере. Этот ресурс станет надежным помощником для инженеров, разработчиков и всех, кто стремится к высоким достижениям в области ЧПУ-технологий. С каждым годом спрос на технологии ЧПУ только растет, и неотъемлемой частью этого процесса является доступность платформ, таких как Arduino, которые дают возможность многим пользователям воплотить свои мечты в реальность. | |
Разместил: Ingvar16 14-03-2025, 02:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Elliptic Curve Cryptography for Developers (Final Release)
Автор: Michael Rosing
Издательство: Manning Publications
Год: 2025
Страниц: 352
Язык: английский
Формат: epub
Размер: 10.1 MB
Make your public key protocols smaller and more secure with this accessible guide to Elliptic Curve Cryptography. Elliptic Curve Cryptography for Developers introduces the mathematics of elliptic curves—a powerful alternative to the prime number-based RSA encryption standard. You’ll learn to deliver zero-knowledge proofs and aggregated multi-signatures that are not even possible with RSA mathematics. All you need is the basics of calculus you learned in high school. The book gradually introduces the concepts and subroutines you’ll need to master with diagrams, flow charts, and accessible language. Each chapter builds on what you’ve already learned, with step-by-step guidance until you’re ready to write embedded systems code with advanced mathematical algorithms. The Elliptic Curve Cryptography (ECC) protocol secures everything from credit card transactions to the blockchain. With a little C code, high school calculus, and the techniques in this book, you can implement ECC cryptographic protocols that are smaller and more secure than the RSA-based systems in common use today. Readers need to understand basic calculus. Examples in C. | |
Разместил: Ingvar16 13-03-2025, 23:04 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Mini Embroidery
Автор: Kawabata Anna
Издательство: 河南科学技术出版社
Год: 2017
Размер: 40 Мб
Формат: PDF
Страниц: 102
Язык: Chinese
Книга по вышивке гладью. Это стильное руководство для современных рукодельниц, полное ярких небольших проектов. И новичков в вышивании, и опытных мастериц восхитят оригинальные рисунки и яркие сочетания цветов. Простые пошаговые инструкции и шаблоны позволяют сразу приступить к делу. При помощи всего лишь нескольких простых швов, доступных материалов и пары идей вы можете вышить практически все что угодно.
| |
Разместил: sun 13-03-2025, 22:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Оригинальные куклы. Изготовление своими руками
Автор: А. Зайцева
Издательство: Эксмо
Год: 2011
Размер: 17 Мб
Формат: PDF
Страниц: 66
Язык: Русский
Сделать авторскую куклу своими руками теперь легко и просто: пошаговые техники, приведенные в новой книге Анны Зайцевой, члена Международной ассоциации «Союз дизайнеров», помогут вам быстро освоить этот новый вид рукоделия. Запаситесь фантазией и подручными материалами – и начинайте творить! В книге представлены самые популярные техники изготовления кукол: куклы на жестком и полужестком каркасе, куклы мягкие, шитые, вязаные, из помпонов. Каждая кукла может стать не только интересным экземпляром в вашей коллекции, но и отличным подарком!
| |
Разместил: sun 13-03-2025, 21:08 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Гибкий ум. Как видеть вещи иначе и думать нестандартно
Автор: Эстанислао Бахрах
Издательство: Манн, Иванов и Фербер
Год: 2017
Страниц: 210
Язык: Русский
Формат: rtf, fb2
Размер: 10,1 Mb
Нейропсихолог Эстанислао Бахрах рассказывает о том, как формировался наш мозг и что необходимо предпринять, чтобы переключить его на творческое мышление. | |
Разместил: gol8425 13-03-2025, 20:43 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Я хочу больше идей. Более 100 техник и упражнений для развития творческого мышления
Автор: Стив Роулинг
Издательство: Манн, Иванов и Фербер
Год: 2018
Страниц: 260, 151 ил.
Язык: Русский
Формат: pdf, doc
Размер: 10,3 Mb
Находить новые идеи, чтобы улучшить рабочий проект или выгодно отличиться от конкурентов, развивать и применять свои творческие способности вам поможет Стив Роулинг, бывший журналист BBC, продюсер и коуч. Благодаря уникальному подходу «два в одном» вы сможете учиться в удобном для себя формате. | |
Разместил: gol8425 13-03-2025, 20:37 | Комментарии: 1 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
