Название: Programming Languages and Systems
Автор: Hongseok Yang
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 26,5 Мб
Язык: английский / English

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.

Название: 2D to VR with Unity5 and Google Cardboard
Автор: Roberto Dillon
Издательство: CRC
Год: 2017
Страниц: 272
Формат: PDF, EPUB, AZW3
Размер: 28 Mb
Язык: English

The book provides an up-to-date introduction to the latest version of Unity and its workflow by guiding readers through various prototypes. These range from 2D to 3D game concepts for PC and mobile, will allow readers to get acquainted with several important concepts and allow them to become competent Unity developers able to learn at their own pace.

Название: AnyLogic за три дня. Практическое пособие по имитационному моделированию
Автор: Григорьев И.
Издательство: Интернет-издание
Год: 2016
Страниц: 202
Формат: pdf
Размер: 10 mb
Качество: отличное

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

Название: LLVM: инфраструктура для разработки компиляторов
Автор: Аулер Р., Лопес Б.
Издательство: ДМК Пресс
Год: 2015
Страниц: 344
Формат: pdf
Размер: 27 mb

LLVM (Low Level Virtual Machine, низкоуровневая виртуальная машина)– новейший фреймворк для разработки компиляторов. Благодаря простоте расширения и организации в виде множества библиотек, LLVM легко поддается освоению даже начинающими программистами, вопреки устоявшемуся мнению о сложности разработки компиляторов.
Эта книга адресована энтузиастам, студентам, изучающим информационные технологии, и разработчикам компиляторов, интересующимся фреймворком LLVM. И для начинающих, и для опытных специалистов эта книга послужит практическим введением в LLVM, не содержащим сложных сценариев. Если вас интересует данная технология, тогда эта книга определенно для вас.

Название: Engineering Information Security
Автор: Stuart Jacobs
Издательство: Wiley
Год: 2015
Формат: PDF
Размер: 15,9 Мб
Язык: английский / English

Engineering Information Security covers all aspects of information security using a systematic engineering approach and focuses on the viewpoint of how to control access to information.

Includes a discussion about protecting storage of private keys, SCADA, Cloud, Sensor, and Ad Hoc networks
Covers internal operations security processes of monitors, review exceptions, and plan remediation
Over 15 new sections
Instructor resources such as lecture slides, assignments, quizzes, and a set of questions organized as a final exam
If you are an instructor and adopted this book for your course, please email ieeeproposals@wiley.com to get access to the additional instructor materials for this book.

Название: Learning Blender: A Hands-On Guide to Creating 3D Animated Characters, 2nd Edition
Автор: Oliver Villar
Издательство: Addison-Wesley Professional
Год: 2017
Страниц: 368
Формат: PDF, EPUB, AZW3
Размер: 26 Mb
Язык: English

Master the Newest Blender Techniques for Creating Amazing 3D Characters: From Design and Modeling to Video Compositing

Название: Learn Java GUI Applications: A JFC Swing Tutorial
Автор: Philip Conrod, Lou Tylee
Издательство: Kidware Software
Год: 2017
Страниц: 1470
Формат: PDF, EPUB, AZW3
Размер: 38 Mb
Язык: English

LEARN JAVA GUI APPLICATIONS is a self-study and/or instructor led tutorial teaching the basics of building a Java application with a swing graphic user interface (GUI).

Название: Сборник заданий по практикуму на ЭВМ
Автор: В.Н.Касьянов, В.К.Сабельфельд
Издательство: Москва "Наука"
Год: 1986
Формат: pdf
Страниц: 272
Размер: 8,84 Мб
Язык: русский

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

Название: Электронный оракул. Компьютерные модели и решение социальных проблем
Автор: Донелла Медоуз, Дженнифер Робинсон
Издательство: М.: Бином. ЛЗ
Год: 2013
Страниц: 527
ISBN: 978-5-9963-2122-3
Формат: PDF
Размер: 55.7 Мб
Язык: русский

Несмотря на грандиозные достижения технологий, повсеместное распространение компьютеров, видеоигр и компьютерных моделей, содержание этой книги, впервые изданной в 1985 г., совершенно не утратило актуальности и имеет значимость сегодня ничуть не меньше, чем во времена первого издания.

Название: Mobile Computing Deployment and Management
Автор: Robert J. Bartz
Издательство: Sybex
Год: 2015
Формат: EPUB
Размер: 36,7 Мб
Язык: английский / English

Mobile Computing Deployment and Management: Real World Skills for CompTIA Mobility+ Certification and Beyond is the ultimate reference for mobile computing. Certified Wireless Network Expert Robert J. Bartz guides IT and networking professionals through the fundamental and advanced concepts of mobile computing, providing the information and instruction necessary to get up to speed on current technology and best practices. The book maps to the CompTIA Mobility+ (MB0-001) exam, making it an ideal resource for those seeking this rewarding certification.