Vtome.ru - электронная библиотека

  • Добавил: harun54
  • Дата: 12-01-2018, 22:12
  • Комментариев: 0
Название: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017
Автор: Ofer Strichman and Rachel Tzoref-Brill
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 10 Мб
Язык: английский / English

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.
The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
  • Добавил: literator
  • Дата: 12-01-2018, 22:08
  • Комментариев: 0
Empirical Research for Software Security : Foundations and ExperienceНазвание: Empirical Research for Software Security: Foundations and Experience
Автор: Lotfi ben Othmane, Martin Gilje Jaatun
Издательство: CRC Press
ISBN: 1498776418
Год: 2018
Страниц: 323
Язык: английский
Формат: pdf
Размер: 19.2 MB

Developing secure software requires the integration of numerous methods and tools into the development process, and software design is based on shared expert knowledge, claims, and opinions. Empirical methods, including data analytics, allow extracting knowledge and insights from the data that organizations collect from their processes and tools, and from the opinions of the experts who practice these processes and methods. This book introduces the reader to the fundamentals of empirical research methods, and demonstrates how these methods can be used to hone a secure software development lifecycle based on empirical data and published best practices.
  • Добавил: yuriy44
  • Дата: 12-01-2018, 21:21
  • Комментариев: 0
Алексей Крючков. Сборник из 2 книгНазвание: Алексей Крючков. Сборник из 2 книг
Автор: Алексей Крючков
Издательство: SelfPub
Год: 2018
Страниц: 54, ил.
Язык: Русский
Формат: rtf, pdf
Размер: 12,5 Mb

В первой книге на примерах описывается как создавать приложения для популярного браузера Google Chrome. Читатель сам по ходу чтения сможет создать четыре простых приложения и запустить их в браузере.
  • Добавил: yuriy44
  • Дата: 12-01-2018, 21:13
  • Комментариев: 0
Java Code. Сборник исходниковНазвание: Java Code. Сборник исходников
Автор: Алексей Крючков
Издательство: SelfPub
Год: 2018
Страниц: 31
Язык: Русский
Формат: rtf, pdf
Размер: 10,1 Mb

Сборник самых разных java-исходников для начинающих разработчиков, пишущих под android или создающих десктопные java-приложения. Сборник ориентирован именно на начинающих программистов, которые уже кое-что знают и умеют разбираться в чужом коде.
  • Добавил: daromir
  • Дата: 12-01-2018, 19:36
  • Комментариев: 0

Автор: Neil Matthew, Richard Stones
Название: Beginning Linux Programming
Издательство: Wrox
Год: 2004
ISBN: 0764544977
Серия: Programmer to Programmer
Язык: English
Формат: pdf
Размер: 11,5 mb
Страниц: 888

If you have some programming experience and are ready to venture into Linux programming, this updated edition of the bestselling entry-level book takes you there.
  • Добавил: daromir
  • Дата: 12-01-2018, 12:44
  • Комментариев: 0

Автор: Jose M. Garrido
Название: Introduction to Computational Modeling Using C and Open-Source Tools
Издательство: Chapman and Hall/CRC
Год: 2013
ISBN: 9781482216783
Серия: Chapman & Hall/CRC Computational Science (Book 20)
Язык: English
Формат: pdf
Размер: 10 mb
Страниц: 461

Introduction to Computational Modeling Using C and Open-Source Tools presents the fundamental principles of computational models from a computer science perspective.
  • Добавил: rrr120
  • Дата: 12-01-2018, 11:06
  • Комментариев: 0

Название: Программирование на платформе Microsoft.NET Framework
Автор: Рихтер Д
Издательство: Русская редакция
Год: 2003
Формат: pdf
Страниц: 512
Размер: 18 Mb
Язык: Русский

В книге подробно описано внутреннее устройство и функционирование общеязыковой исполняющей среды (CLR) Microsoft .NET Framework. Подробно изложена развитая система типов .NET Framework и разъясняются способы управления типами исполняющей средой.

Название: React.js для начинающих
Автор: Пацианский М.
Издательство: Интернет-издание
Год: 2016
Страниц: 90
Формат: pdf
Размер: 10 mb
Качество: хорошее

React.js — это открытая javascript-библиотека для создания пользовательских интерфейсов. В данном курсе разбираются основы React.js.
После прочтения курса, вы научитесь:
- Создавать компоненты, учитывая propTypes
- Грамотно использовать props и state компонента
- Работать с формой
- Работать с react dev tools
- Рефакторить и быть лучше ;)
  • Добавил: harun54
  • Дата: 11-01-2018, 19:12
  • Комментариев: 0
Название: Serious Games: Third Joint International Conference, JCSG 2017
Автор: Mariano Alca?iz and Stefan G?be
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 34 Мб
Язык: английский / English

This book constitutes the proceedings of the Third Joint International Conference on Serious Games, JCSG 2017, held in Valencia, Spain, in November 2017. This conference bundles the activities of the 8th International Conference on Serious Games Development and Applications, SGDA 2017, and the 7th Conference on Serious Games, GameDays 2017.
  • Добавил: harun54
  • Дата: 11-01-2018, 19:06
  • Комментариев: 0
Название: Next Generation Computer Animation Techniques: Third International Workshop, AniNex 2017
Автор: Jian Chang and Jian Jun Zhang
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 37 Мб
Язык: английский / English

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Next Generation Computer Animation Techniques, AniNex 2017, held in Bournemouth, UK, in June 2017. The workshop was held in conjunction with the 11th International Conference on E-Learning and Games, Edutainment 2017.