Formal Methods for Software Engineering: Languages, Methods, Application Domains

Автор: alex66 от 25-06-2022, 19:59, Коментариев: 0

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


Название: Formal Methods for Software Engineering: Languages, Methods, Application Domains
Автор: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Издательство: Springer
Год: 2022
Страниц: 537
Размер: 10.3 МБ
Формат: PDF
Язык: English

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering.
 

Dishing up New Jersey : 150 recipes from the Garden State

Автор: koticvvik от 25-06-2022, 19:58, Коментариев: 0

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


Название: Dishing up New Jersey : 150 recipes from the Garden State
Автор: John Holl, Amy Roth, Augie Carton
Издательство: Storey Publishing, LLC
Год: 2016
Формат: epub
Страниц: 443
Для сайта: litgu.ru
Размер: 22,85 МБ
Язык: english

New Jersey native John Holl searched from Sussex County to Cape May to find the best recipes New Jersey has to offer, and the result is this rich and unique cookbook celebrating the foods, flavors, cultures, and traditions of the Garden State. These 150 recipes include dishes featuring New Jersey’s own produce — tomatoes, corn, cranberries, blueberries, apples — along with deep-fried boardwalk treats, late-night diner bites, and recipes contributed by casinos, bison and dairy farms, food trucks, old-school delis, famous bakeries, and more.
 

Advanced Optical and Wireless Communications Systems, Second Edition

Автор: alex66 от 25-06-2022, 19:43, Коментариев: 0

Категория: КНИГИ » СЕТЕВЫЕ ТЕХНОЛОГИИ


Название: Advanced Optical and Wireless Communications Systems, Second Edition
Автор: Ivan B. Djordjevic
Издательство: Springer
Год: 2022
Страниц: 794
Размер: 30.92 МБ
Формат: PDF
Язык: English

The new edition of this popular textbook keeps its structure, introducing the advanced topics of: (i) wireless communications, (ii) free-space optical (FSO) communications, (iii) indoor optical wireless (IR) communications, and (iv) fiber-optics communications, but thoroughly updates the content for new technologies and practical applications.
 

Fundamental Methods of Mathematical Economics, 3rd Edition

Автор: koticvvik от 25-06-2022, 19:40, Коментариев: 0

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


Название: Fundamental Methods of Mathematical Economics,3rd Edition
Автор: Chiang A.C.
Издательство: McGraw-Hill
Год: 1984
Формат: pdf
Страниц: 679
Для сайта: litgu.ru
Размер: 24,67 МБ
Язык: english

The best-selling, best known text in Mathematical Economics course, Chiang teaches the basic mathematical methods indispensable for understanding current economic literature. The book's patient explanations are written in an informal, non-intimidating style.
 

Идеально другие. Художники о шестидесятых

Автор: HERSON от 25-06-2022, 19:00, Коментариев: 0

Категория: КНИГИ » КУЛЬТУРА И ИСКУССТВО

Идеально другие. Художники о шестидесятыхНазвание: Идеально другие. Художники о шестидесятых
Автор: Вадим Алексеев
Язык: русский
Издательство: Новое литературное обозрение
Год: 2022
Страниц: 552
Формат: pdf
Размер: 59,8 Мб

Московские шестидесятые - интереснейший культурный феномен, начавшийся с Фестиваля молодежи и студентов (1957) и закончившийся Бульдозерной выставкой (1974). Освобождение от сталинской тирании привело к появлению блестящего поколения интеллигенции, часть которой жила своей, параллельной советскому обществу, жизнью. В книге Вадима Алексеева эпоха предстает глазами неофициальных художников, в подвалах которых искался новый художественный язык, восстанавливалась потерянная связь с Европой и забытым авангардом 1920-х, собирались поэты, мыслители, иностранцы.
 

Nautilus 90 North

Автор: Indulis79 от 25-06-2022, 18:19, Коментариев: 0

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


Название: Nautilus 90 North
Автор: William R. Anderson
Издательство: The World Publishing Company
Год: 1959
Формат: PDF
Страниц: 296
Размер: 33,3 МБ
Язык: Английский

The dramatic account of the first atomic submarine's voyage from the Pacific to the Atlantic beneath the Arctic ice Pole.
 

The Tuskegee Airmen: Black Heroes of World War II

Автор: Indulis79 от 25-06-2022, 17:49, Коментариев: 0

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


Название: The Tuskegee Airmen: Black Heroes of World War II
Автор: Jacqueline Harris
Издательство: Dillon Press
Год: 1996
Формат: PDF
Страниц: 152
Размер: 16,3 МБ
Язык: Английский

The Tuskegee Airmen tells the dramatic story of the pioneering African American aviators who battled prejudice at home to become fighter pilots during World War II. Focusing on the struggles and eventual glories of the 99th Fighter Squadron, the first African Americans to win their wings in what was then the Army Air Corps, it details their training near the famed Tuskegee Institute in Alabama, as well as their combat experiences in the North African and European theaters of war.

 

Model Railroad Scenery and Detailing

Автор: Indulis79 от 25-06-2022, 17:16, Коментариев: 0

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


Название: Model Railroad Scenery and Detailing
Автор: Albert A. Sorensen
Издательство: Tab Books
Год: 1990
Формат: PDF
Страниц: 380
Размер: 35,1 МБ
Язык: Английский

If you are a scale modeler, Model Railroad Scenery and Detailing is one book you cannot afford to be without. Equally useful to both beginning and advanced modelers. this time- and money -saving handbook covers everything you need to know about applying miniature scenic effects and details to model railroads. An active railroad modeler for more than 40 years, Albert Sorensen describes how to build and finish a voider variety of scenic options than any similar reference.

 

Бесшумное оружие спецагентов и разведчиков. Иллюстрированная энциклопедия

Автор: tatanavip от 25-06-2022, 16:47, Коментариев: 0

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


Название: Бесшумное оружие спецагентов и разведчиков. Иллюстрированная энциклопедия
Автор: Константин Лазарев
Издательство: Эксмо
Год: 2022
Формат: fb2, rtf
Размер: 41 Мб
Качество: Хорошее
Язык: Русский

ГРИФ «СЕКРЕТНО» СНЯТ!
КНИГА ОДОБРЕНА ВЕДУЩИМИ ПРОИЗВОДИТЕЛЯМИ СТРЕЛКОВОГО ОРУЖИЯ РОССИИ.
Впервые в открытом доступе – тактико-технические характеристики, личные впечатления от испытаний, а также качественные фотографии уникального специального оружия, которое вплоть до 2020 года хранилось под грифом «СЕКРЕТНО».
Сотни фотографий бесшумных пистолетов, автоматов, винтовок, с помощью которых российские специальные агенты, разведчики, подразделения специального назначения выполняют особо сложные и важные задачи по всему миру.
 

Amateur Photographer - 28 June 2022

Автор: Indulis79 от 25-06-2022, 16:42, Коментариев: 0

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


Название: Amateur Photographer
Год / месяц: 28 June 2022
Формат: PDF
Размер: 13,8 МБ
Язык: Английский
Количество страниц: 68

Amateur Photographer is the world’s oldest weekly photographic magazine, established in 1884. It is the respected authority for news and reviews, with detailed tests and investigations on the latest equipment. The weekly contents include interviews and columns from many of the world’s leading photographers and practical technique to inspire and enthuse the devoted readership, to whom taking photos is far more than just a hobby.