Programming Languages: Build, Prove, and Compare

Автор: literator от 9-02-2023, 09:39, Коментариев: 0

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

Programming Languages: Build, Prove, and CompareНазвание: Programming Languages: Build, Prove, and Compare
Автор: Norman Ramsey
Издательство: Cambridge University Press
Год: 2023
Страниц: 800
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. The ideas, descriptive techniques, and examples are conveyed by means of bridge languages. A bridge language models a real programming language, but it is small enough to describe formally and to learn in a week or two, yet big enough to write interesting programs in. The bridge languages in this book model Algol, Scheme, ML, CLU, and Smalltalk, and they are related to many modern descendants, including C, C++, OCaml, Haskell, Java, jаvascript, Python, Ruby, and Rust.
 

Our Favorite Breakfast & Brunch Recipes with Photo Cover

Автор: Indulis79 от 9-02-2023, 09:36, Коментариев: 0

Категория: КНИГИ » КУЛИНАРИЯ


Название: Our Favorite Breakfast & Brunch Recipes with Photo Cover
Автор: Gooseberry Patch
Издательство: Gooseberry Patch
Год: 2012
Формат: EPUB
Страниц: 132
Размер: 1,1 МБ
Язык: Английский

With over 60 delicious recipes and as many time-saving tips, the Our Favorite Breakfast & Brunch Recipes cookbook features a convenient purse-perfect size that's perfect for taking along on the go. You'll love recipes like homestyle potato pancakes and easy sticky buns. Relax & enjoy! Durable softcover cookbook, 128 pages.
 

Annuals, Perennials, and Bulbs: 377 Flower Varieties for a Vibrant Garden

Автор: Indulis79 от 9-02-2023, 09:21, Коментариев: 0

Категория: КНИГИ » ОГОРОД, САД, ХОЗЯЙСТВО


Название: Annuals, Perennials, and Bulbs: 377 Flower Varieties for a Vibrant Garden
Автор: Editors of Creative Homeowner
Издательство: Design Originals
ISBN: 1580118151
Год: 2018
Формат: EPUB
Страниц: 224
Размер: 131,4 МБ
Язык: Английский

A stunning flower garden that blooms throughout the seasons depends on the artful combination of annuals, perennials, and bulbs! This lavishly illustrated book shows how to grow plants from the "great garden triumvirate" and provides foolproof design techniques for any garden or landscape. An extensive section on using color in the garden provides guidance for the tricky process of plant placement and selection.
 

RHK Magazine - Issue 75, December 2015

Автор: pragmatic от 9-02-2023, 09:20, Коментариев: 0

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

Название: RHK Magazine - Issue 75, December 2015
Издательство: RHKempire
Год издания: 2015
Страниц: 48
Язык: Английский
Формат: PDF
Размер: 28.4 Мб

Добро пожаловать в совершенно новый журнал RHK, официальный дом "The Red-Hot Kittens: The Sexiest Women In The World"! Журнал RHK знакомит вас с новым уровнем сексуальности с удивительной линейкой котят этого выпуска. Мы предлагаем эксклюзивные, совершенно новые фотографии и функции в каждом номере журнала. Демонстрация горячих моделей. Великолепные эротические фотосеты красивых девушек со всего света.
 

Learning Modern C++ for Finance (Fourth Early Release)

Автор: literator от 9-02-2023, 09:18, Коментариев: 0

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

Learning Modern C++ for Finance (Fourth Early Release)Название: Learning Modern C++ for Finance: Foundations for Quantitative Programming (Fourth Early Release)
Автор: Daniel Hanson
Издательство: O’Reilly Media, Inc.
Год: 2023-02-08
Страниц: 204
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.18 MB

A lot of financial modeling has gravitated toward Python, R, and VBA, but many developers hit a wall with these languages when it comes to performance. This practical book demonstrates why C++ is still one of the dominant production-quality languages for financial applications and systems. Many programmers believe that C++ is too difficult to learn. Author Daniel Hanson demonstrates that this is no longer the case. Financial programmers coming from Python or another interpreted language will discover how to leverage C++ abstractions that enable safer and quicker implementation of financial models. You'll also explore how popular open source libraries provide additional weapons for attacking mathematical problems. C++ programmers unfamiliar with financial applications will also benefit from this handy guide.
 

Я стану Императором. Книга VII

Автор: tatanavip от 9-02-2023, 09:06, Коментариев: 0

Категория: КНИГИ » ФАНТАСТИКА И ФЭНТЕЗИ


Название: Я стану Императором. Книга VII
Автор: Юрий Винокуров
Издательство: Самиздат
Год: 2023
Формат: fb2, rtf
Размер: 11 Мб
Качество: Хорошее
Язык: Русский

Итак, противостояние Антона Ноунейма и Хаоса вступает в свою финальную стадию.
Сможет ли Антон навести порядок во Вселенной и исполнить свою детскую мечту - стать Императором Человечества… или кого-нибудь еще?
 

Relativistic Quantum Invariance

Автор: literator от 9-02-2023, 08:30, Коментариев: 0

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

Relativistic Quantum InvarianceНазвание: Relativistic Quantum Invariance
Автор: Chueng-Ryong Ji
Издательство: Springer
Серия: Lecture Notes in Physics
Год: 2023
Страниц: 252
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

This book describes the invariant nature of the relativistic quantum field theories utilizing the idea of interpolating the instant form dynamics and the light-front dynamics. While the light-front dynamics (LFD) based on the light-front time was proposed by Dirac in 1949, there has not yet been a salient review on the connection between the LFD and the instant form dynamics (IFD) based on the ordinary time. By reviewing the connection between LFD and IFD using the idea of interpolating the two different forms of the relativistic dynamics, one can learn the distinguished features of each form and how one may utilize those distinguished features in solving the complicated relativistic quantum field theoretic problems more effectively. With the ongoing 12-GeV Jefferson Lab experiments, the internal structures of the nucleon and nuclei are vigorously investigated in particular using the physical observables defined in the LFD rather than in the IFD. This book offers a clear demonstration on why and how the LFD is more advantageous than the IFD for the study of hadron physics, illustrating the differences and similarities between these two distinguished forms of the dynamics.
 

Теория процессов

Автор: gusnat от 9-02-2023, 08:24, Коментариев: 0

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

Теория процессов
Название: Теория процессов
Автор: Миронов А.М.
Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем
Год: 2008
Страниц: 346
Формат: djvu
Размер: 12,8 Мб
Язык: Русский

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

Цена свободы и гармонии. Несколько штрихов к портрету греческой цивилизации

Автор: Igor1977 от 9-02-2023, 07:49, Коментариев: 0

Категория: КНИГИ » ИСТОРИЯ


Название: Цена свободы и гармонии. Несколько штрихов к портрету греческой цивилизации
Автор: Андреев Ю.В.
Издательство: СПб.: Алтейя
Год: 1997
Формат: pdf
Страниц: 432
Размер: 44 mb
Язык: русский

Вниманию читателей предлагается книга известного петербургского историка Юрия Викторовича Андреева (1937- 1998). На общем фоне истории стран древнего мира греческая цивилизация, наиболее полно воплотившая в себе все самые характерные черты древнеевропейского типа, воспринимается как ярко выраженное исключение из правил, даже как своего рода чудо, абсолютно уникальный феномен. Книга посвящена этому феномену, который впервые в отечественной научной литературе рассматривается с позиции этнопсихологии. Внимание читателя сконцентрировано на том, что принято называть менталитетом древних греков, т.е. на особенностях их психического склада, мировосприятия, отношения к жизни и смерти, эстетических вкусов и склонностей, их жизненных идеалов и форм поведения. Книга основана на разнообразных источниках — исторических, археологических, художественных и адресована как специалистам, так и широкому кругу читателей, интересующихся историей древних цивилизаций. В основу книги положен курс лекций, прочитанных автором на историческом факультете СПб Государственного университета в 1994-1995 гг.
 

Генуезька спадщина на теренах України: етнодержавознавчий вимір

Автор: GYGLEBOOKS от 9-02-2023, 07:21, Коментариев: 0

Категория: КНИГИ » ИСТОРИЯ


Название: Генуезька спадщина на теренах України: етнодержавознавчий вимір
Автор: Гавриленко О.А., Сівальньов О.М., Цибулькін В.В.
Издательство: Точка
Год: 2017
Формат: pdf
Страниц: 260
Размер: 137.5 Мб
Язык: украинский

Книга присвячена одній з маловідомих сторінок спільної історії Лігурії (на сьогодні – це однойменна адміністративна складова Італійської Республіки) та Північного Причорномор’я, на теренах якого виникла сучасна Україна. На основі широкого кола джерел (передусім, документальних і археологічних) подано аналіз міжнародних відносин у Північному Причорномор'ї. Визначено особливості становлення, розвитку та занепаду генуезьких колоній у цьому регіоні. У додатку подано низку документів, зразок і контент яких актуальні й досі (передусім, у царинах дипломатії, державотворення, боротьби з корупцією, адміністрування й менеджменту, ведення міського господарства тощо). Серед них - вперше перекладений українською мовою Статут генуезьких колоній на Чорному морі 1449 р.