Название: Методы программирования на Бейсике (с упражнениями)
Автор: Ив Кергаль
Издательство: Мир
Год: 1991
Формат: pdf
Страниц: 287
Размер: 11 Mb
Язык: русский



Книга французского специалиста по современному программированию, дающая описание методов программирования на Бейсике. Этот язык широко распространен, и его изучение предусмотрено школьной программой. Методика изложения материала современна и эффективна. В книге приводятся 120 упражнений, часть из которых сопровождается комментариями и ответами. Для всех изучающих методы программирования.

Название: Нелинейное программирование. Единый подход
Автор: Уиллард И. Зангвилл
Издательство: Советское радио
Год: 1973
Формат: pdf
Страниц: 312
Размер: 45 Mb
Язык: русский



Излагаются вопросы нелинейного программирования. Даются многочисленные постановки практических задач, рассматриваются геометрическое и квадратичное программирование, оптимальное управление, вогнутость и выпуклость, теория Куна - Таккера. Книга предназначена для специалистов, занимающихся применением нелинейного программирования для решения практических задач.

Название: Лучшие программы для вашего планшета на Android. Используем свой планшетник на 100%
Автор: Ульянов А.В., Трубников А.П., Прокди Р.Г.
Издательство: Наука и Техника
Год: 2014
Страниц: 320
ISBN: 978-5-94387-948-7
Формат: PDF
Размер: 52 Мб
Язык: русский

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

Название: Архитектура и программирование микро-ЭВМ, книга 2
Автор: Уокерли Дж.
Издательство: М.: Мир
Год: 1984
Страниц: 341
Формат: pdf и djvu
Качество: хорошее
Размер файла: 12.91 MB
Язык: русский

Труд американского ученого посвящен общим принципам построения и программирования ЭВМ и их реализации при создании микро-ЭВМ разного типа. В русском переводе выпускается в 2-х книгах. В книге 2 подробно описаны принципы организации, способы адресации, наборы команд, используемые в микро-ЭВМ, созданных на базе широко известные семейств микропроцессоров PDP-11, Z800G, TMS9900, 8086 и др. Приводятся примеры программ.
Для специалистов, связанных с разработкой и применением микропроцессорных систем, а также аспирантов и студентов соответствующих специальностей вузов.

Название: Организация системы Интел 432
Автор: Органик Э.
Издательство: М.: Мир
Год: 1987
Страниц: 446
Формат: pdf и djvu
Качество: хорошее
Размер файла: 14.94 MB
Язык: русский

В книге американского специалиста рассматривается новая вычислительная система Интел 4 32, построенная на базе 32-разрядного микропроцессора и представляющая собой выдающееся достижение микроэлектроники и вычислительной техники. Имея малые габариты, она обладает высокой производительностью и широкими функциональными возможностями современных больших ЭВМ. Приводится реализация структур языка Ада в системе Интел 432.
Для специалистов, работающих в области вычислительной техники.

Название: Вычисление элементарных функций на ЭВМ
Авторы: Благовещенский Ю.В., Теслер Г.С.
Издательство: «Техшка»
Год: 1977
Страниц: 208
Формат: pdf и djvu
Качество: хорошее
Размер файла: 10.87 MB
Язык: русский

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

Название: Model-Based Testing Essentials
Автор: Anne Kramer, Bruno Legeard
Издательство: Wiley
Год: 2016
Страниц: 304
Формат: PDF
Размер: 10 Mb
Язык: English

Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level
Provides a practical and comprehensive introduction to the key aspects of model-based testing as taught in the ISTQB Model-Based Tester—Foundation Level Certification Syllabus

Название: Type-driven Development with Idris
Автор: Edwin Brady
Издательство: Manning Publications
Год: 2017
Страниц: 480
Формат: True PDF, EPUB
Размер: 12 Mb
Язык: English

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.

Название: Язык Ада в проектировании систем
Автор: Бар Р.
Издательство: Мир
Год: 1988
ISBN:
Страниц: 320
Формат: pdf и djvu
Качество: хорошее
Размер файла: 12.25 MB
Язык: русский

В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию.
Для разработчиков автоматизированных систем управления, системных и прикладных программистов» а также студентов соответствующих специальностей вузов.

Название: Архитектура современных ЭВМ, Книга 2
Автор: Майерс Г.
Издательство: —М.: Мир
Год: 1985
Страниц: 312
Формат: pdf и djvu
Качество: хорошее
Размер файла: 10.34 MB
Язык: русский

Монография известного американского специалиста в области вычислительной техники посвящена анализу фундаментальных проблем архитектуры современных вычислительных машин; описывается ряд достижений на пути преодоления этих проблем. Книга 2 содержит критический анализ достоинств и недостатков архитектуры ряда современных вычислительных систем нетрадиционной архитектуры (SWARD, iAPX 432), машин базы данных (RAP, CASSM, DBC) и машин потоков данных. Кроме того, здесь исследуются проблемы оптимизации архитектуры вычислительных систем.
Для специалистов в области вычислительной техники и программирования. Может быть полезна студентам старших курсов соответствующих специальностей вузов.