Название: Организация системы Интел 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) и машин потоков данных. Кроме того, здесь исследуются проблемы оптимизации архитектуры вычислительных систем.
Для специалистов в области вычислительной техники и программирования. Может быть полезна студентам старших курсов соответствующих специальностей вузов.

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

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

Название: Serious Games, Interaction and Simulation: 6th International Conference, SGAMES 2016
Автор: Carlos Vaz de Carvalho and Paula Escudeiro
Издательство: Springer
Год: 2016
Формат: PDF , EPUB
Размер: 13,5 Мб
Язык: английский / English

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Serious Games, Interaction and Simulation, SGAMES 2016, held in Porto, Portugal, in June 2016.

The 19 revised full papers presented together with 2 keynote papers and an editorial introduction were carefully reviewed and selected from all the submissions. The papers cover areas like cognition, psychology, technology-enhanced education, evaluation and assessment, multimedia and information technology and feature new scientific approaches and results from experiments and real-life applications.

Название: Ruby For Kids For Dummies
Автор: Christopher Haupt
Издательство: For Dummies
Год: 2016
Страниц: 352
Формат: EPUB
Размер: 10 Mb
Язык: English

The fun way to introduce coding with Ruby to kids
If you don't have the chance to take coding classes at school or in camp—or if you just want to learn on your own—Ruby For Kids gears you up to expand your technology skills and learn this popular programming language. Written in a way that's easy to follow—and keeping the super tech-heavy stuff to a minimum—it quickly and easily shows you how to use Ruby to create web and mobile applications with no experience required.

Название: Progress in Cryptology – AFRICACRYPT 2014
Автор: David Pointcheval and Damien Vergnaud
Издательство: Springer
Год: 2014
Формат: PDF
Размер: 13,6 Мб
Язык: английский / English

This book constitutes the refereed proceedings of the 7th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICA CRYPT 2014, held in Marrakesh, Morocco in May 2014. The 26 papers presented together with 1 invited talk were carefully reviewed and selected from 83 submissions. The aim of Africa crypt 2014 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of cryptography and its applications as follows: Public-Key Cryptography, Hash Functions, Secret-Key Cryptanalysis, Number Theory, Hardware Implementation, Protocols and Lattice-based Cryptography.