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