Название: Logic and Language Models for Computer Science, 3rd Edition
Автор: Dana Richards, Henry Hamburger
Издательство: World Scientific Publishing
Год: 2017
Страниц: 468
Формат: PDF, EPUB, AZW3
Размер: 22 Mb
Язык: English

This text presents the formal concepts underlying Computer Science.
It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.

Название: Flugzeug
Издательство: Flugzeug Publikations GmbH
Год: 1992
Формат: PDF
Страниц 48
Размер: 36 Mb
Язык: German

авиационный журнал

Название: The Art of Capacity Planning: Scaling Web Resources in the Cloud, 2nd Edition
Автор: Arun Kejariwal, John Allspaw
Издательство: O'Reilly Media
Год: 2017
Страниц: 200
Формат: PDF, EPUB, AZW3
Размер: 26 Mb
Язык: English

In their early days, Twitter, Flickr, Etsy, and many other companies experienced sudden spikes in activity that took their web services down in minutes. Today, determining how much capacity you need for handling traffic surges is still a common frustration of operations engineers and software developers. This hands-on guide provides the knowledge and tools you need to measure, deploy, and manage your web application infrastructure before you experience explosive growth.

Название: Flugzeug
Издательство: Flugzeug Publikations GmbH
Год: 1992
Формат: PDF
Страниц 49
Размер: 36 Mb
Язык: German

авиационный журнал

Название: Новые профессии магнита
Автор: Мнеян М.Г.
Издательство: Просвещение
Год издания: 1985
Количество страниц: 150
Язык: русский
Формат: DjVu
Размер: 3,67 Мб

В книге в популярной и доступной учащимся VIII-X классов средней школы форме рассказано о природе магнитных явлений, об интересных возможностях, связанных с практическим использованием магнитов и магнитных материалов в современной науке и технике. Описываются способы получения сильных и сверхсильных полей.

Название: Учусь читать и понимать. Рабочая тетрадь №1
Автор: Кишиневская М.
Язык: русский
Издательство: Издательские решения
Год: 2017
Страниц: 60
Формат: rtf
Размер: 10,1 Мб

Пособие для учащихся, испытывающих трудности овладения смысловой стороной чтения. Созданная изначально для детей с умственной отсталостью, рабочая тетрадь может быть использована и в работе со школьниками с сохранным интеллектом. Для индивидуальных и подгрупповых логопедических занятий.

Название: Flugzeug
Издательство: Flugzeug Publikations GmbH
Год: 1992
Формат: PDF
Страниц 49
Размер: 34 Mb
Язык: German

авиационный журнал

Название: Старший дошкольник и младший школьник: психодиагностика и коррекция развития
Автор: Гамезо М.В., Герасимова В.С., Орлова Л.М.
Издательство: Институт практической психологии», Воронеж НПО «МОДЭК
Жанр: Психология
Год издания: 1998
Страниц: 112
ISBN: 5-89112-048-8
Язык: Русский
Формат: DOC
Качество: хорошее
Размер: 14 Мб

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

Название: Australian Stitches
Издательство: Woodlands Publishing Pty Ltd
Год издания: 2017
Номер: Vol.26 №1
Страниц: 68
Формат: pdf
Язык: английский
Размер: 54 Мб

Модный журнал из Австралии для людей, которые шьют! В каждом выпуске авторы предлагают современные, невероятно красивые и удобные модели одежды, которые смотрится очень стильно и вызывает восхищение

Название: Ориентир №9 (сентябрь 2017)
Издательство: «Ориентир»
Страниц: 69
Формат: pdf
Качество: хорошее
Размер файла: 10,59 MB
Язык: русский

«Ориентир» – теоретический и научно-практический журнал Министерства обороны Российской Федерации, является единственным специализированным изданием, непосредственно сориентированным на информационное обеспечение воспитательной работы в войсках. Журнал освещает весь спектр проблем, связанных с повседневной жизнью Вооруженных Сил РФ. «Ориентир» имеет самый высокий тираж среди журнальных изданий силовых структур.