Название: 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.

Название: Система лабораторных работ по программированию на диалекте Turbo Pascal. Динамические структуры данных
Автор: Швецкий М.В.
Издательство: СПб, РГПУ
Год: 1997
Страниц: 151
Формат: pdf и djvu
Качество: среднее
Размер файла: 13.49 MB
Язык: русский

Предложенная работа представляет собой учебное пособие для студентов вузов, изучающих программирование динамических структур данных. Обучение реализации динамических структур данных ведется на базе императивного языка программирования Pascal (диалект TURBO Pascal).

Название: Post-Quantum Cryptography
Автор: Daniel J. Bernstein and Johannes Buchmann
Издательство: Springer
Год: 2009
Формат: PDF, EPUB
Размер: 5,7 Мб
Язык: английский / English

Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems.