|
 |
|
 |
|
|
 |
|  |
|
 Название: FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Автор: John Fitzgerald and Constance Heitmeyer
Издательство: Springer
Год: 2016
Формат: PDF
Размер: 22 Мб
Язык: английский / English
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations. | |
Разместил: black 19-11-2017, 09:29 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
Название: Отъявленный программист. Лайфхакинг из первых рук
Автор: Савчук И.
Издательство: СПб.: Питер
Год: 2016
Страниц: 272
ISBN: 978-5-496-01806-7
Формат: PDF
Размер: 11 Мб
Язык: русский
Серия: Библиотека программиста
Находясь на переднем крае программирования, книга "Программист-прагматик. Путь от подмастерья к мастеру" абстрагируется от всевозрастающей специализации и технических тонкостей разработки программ на современном уровне, чтобы исследовать суть процесса - требования к работоспособной и поддерживаемой программе, приводящей пользователей в восторг. | |
Разместил: MIHAIL62 19-11-2017, 01:33 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: PHP 7 Zend Certification Study Guide: Ace the ZCE 2017-PHP Exam
Автор: Andrew Beak
Издательство: Apress
Год: 2017
Страниц: 294
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English
Improve your programming knowledge and become Zend Certified. This book closely follows the ZCE2017-PHP exam syllabus and adds important details that help candidates to prepare for the test. | |
Разместил: bhaer 18-11-2017, 19:08 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Автор: Tim Lindholm, Frank Yellin, Gilad Bracha
Название: The Java Virtual Machine Specification, Java SE 8 Edition
Издательство: Addison-Wesley Professional
Год: 2014
ISBN: 013390590X
Серия: Java (Addison-Wesley)
Язык: English
Формат: epub
Размер: 28,4 mb
Страниц: 600
This edition continues the tradition of specifying the abstract Java Virtual Machine, serving as documentation for a concrete implementation only as a blueprint documents a house. | |
Разместил: daromir 18-11-2017, 10:49 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Teamcenter. Начало работы
Автор: Тороп Д., Терликов В.
Издательство: ДМК Пресс
Год: 2011
Страниц: 274
ISBN: 978-5-94074-783-3
Формат: DJVU
Размер: 16.6 Мб
Язык: русский
Книга представляет собой учебное пособие для освоения базовых принципов работы с системой Teamcenter®. В книге приводится общее описание всех модулей, входящих в состав системы Teamcenter, подробно рассмотрены функциональные возможности базовых модулей, предназначенных для управления данными об изделии, которые применяются в повседневной работе пользователей вне зависимости от решаемых ими задач, включая работу с CAD-системами NX™ и Solid Edge® под управлением Teamcenter. | |
Разместил: MIHAIL62 18-11-2017, 05:46 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Пишем диск (Nero)
Автор: Ещенко Е.
Издательство: Самиздат
Год издания: 2013
Страниц: 25
Формат: PDF
Размер: 12,56 Мб
Качество: Отличное
Язык: Русский
В книге описывается, как работают программы и улиты известнейшей программы для записи дисков Nero. Прочитав эту книгу, Вы сможете записывать видео, создавать музыкальные диски, слайд-шоу, обложки к дискам и многое другое на профессиональном уровне. | |
Разместил: Evgenij 18-11-2017, 01:00 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Data Integration Life Cycle Management with SSIS: A Short Introduction by Example
Автор: Andy Leonard
Издательство: Apress
ISBN: 1484232755
Год: 2017
Страниц: 188
Язык: английский
Формат: True PDF
Размер: 10.1 MB
Build a custom BimlExpress framework that generates dozens of SQL Server Integration Services (SSIS) packages in minutes. Use this framework to execute related SSIS packages in a single command. You will learn to configure SSIS catalog projects, manage catalog deployments, and monitor SSIS catalog execution and history.
Data Integration Life Cycle Management with SSIS shows you how to bring DevOps benefits to SSIS integration projects. Practices in this book enable faster time to market, higher quality of code, and repeatable automation. Code will be created that is easier to support and maintain. The book teaches you how to more effectively manage SSIS in the enterprise environment by drawing on the art and science of modern DevOps practices. | |
Разместил: Ingvar16 17-11-2017, 22:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Fundamentals of Computer Vision
Автор: Wesley E. Snyder,? Hairong Qi
Издательство: Cambridge University Press
Год: 2017
Страниц: 390
Формат: True PDF
Размер: 37 Mb
Язык: English
Computer vision has widespread and growing application including robotics, autonomous vehicles, medical imaging and diagnosis, surveillance, video analysis, and even tracking for sports analysis. This book equips the reader with crucial mathematical and algorithmic tools to develop a thorough understanding of the underlying components of any complete computer vision system and to design such systems. | |
Разместил: bhaer 17-11-2017, 22:38 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Functional Data Structures in R: Advanced Statistical Programming in R
Автор: Thomas Mailund
Издательство: Apress
Год: 2017
Страниц: 256
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English
Get an introduction to functional data structures using R and write more effective code and gain performance for your programs. This book teaches you workarounds because data in functional languages is not mutable | |
Разместил: bhaer 17-11-2017, 22:25 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Lean Game Development: Apply Lean Frameworks to the Process of Game Development
Автор: Julia Naomi Rosenfield Boeira
Издательство: Apress
Год: 2017
Страниц: 159
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English
Apply lean frameworks and other concepts of software development to the process of your game development. Resistance to Agile methodologies in the gaming industry is most often due to frustrated attempts to use lean tools and frameworks. Lean Game Development teaches you how to apply frameworks and concepts successfully to benefit you and your team. You will see how to manage, develop and coexist in a lean game development environment. | |
Разместил: bhaer 17-11-2017, 22:19 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
