|
 |
|
 |
|
|
 |
|  |
|
 Название: Formal Verification of Control System Software
Автор: Pierre-Loïc Garoche
Издательство: Princeton University Press
Год: 2019
Страниц: 231
Язык: английский
Формат: pdf (true)
Размер: 11.37 MB
An essential introduction to the analysis and verification of control system software. The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loic Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. | |
Разместил: Ingvar16 15-09-2019, 18:15 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Artificial Intelligence: Data Analytics and Robot Learning in Practice and Theory
Автор: John Cobar
Издательство: Independently published
Год: 2019
Страниц: 71
Язык: английский
Формат: epub, azw3, rtf, pdf (conv)
Размер: 10.1 MB
If you've been following the news, you probably know that Artificial Intelligence is taking over. Self-driving trucks, face recognition, machines, and automatic cashiers are being the replacement for regular human beings. If you want to learn more about Artificial Intelligence (AI), where it comes from, how some of it works, and what the future might look like, this book is for you. Don't wait and get your hands on this futuristic informational gem. | |
Разместил: Ingvar16 15-09-2019, 14:15 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Learning React: Functional Web Development with React and Redux (Rev. 2)
Автор: Alex Banks, Eve Porcello
Издательство: O'Reilly Media
Год: 2018-02-09
Страниц: 350
Язык: английский
Формат: epub, pdf (conv)
Размер: 13.1 MB
Если вы хотите научиться создавать эффективные пользовательские интерфейсы с помощью React, то эта книга для Вас. Авторы Алекс Бэнкс и Ева Порселло показывают, как создавать пользовательские интерфейсы с этой небольшой библиотекой jаvascript, которая может ловко отображать изменения данных на крупных веб-сайтах, управляемых данными, без перезагрузки страницы. Попутно вы узнаете, как работать с функциональным программированием и новейшими функциями ECMAScript. | |
Разместил: Ingvar16 15-09-2019, 10:29 | Комментарии: 1 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Foundations of Libvirt Development: How to Set Up and Maintain a Virtual Machine Environment with Python
Автор: W. David Ashley
Издательство: Apress
Год: 2019
Страниц: 416
Язык: английский
Формат: pdf (true), epub
Размер: 10.2 MB
Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment.
You`ll start by reviewing virtualization in general and then move on to libvirt-specific concepts using Python, including virtualized operating systems and networks, connections, storage pools, and event and error handling. This work concludes with a comprehensive look at the XML schema definitions for domains, networks, devices, network filtering, storage, node devices, and more. | |
Разместил: Ingvar16 14-09-2019, 19:47 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Эффективная работа: Java 2
Автор: Бишоп Дж.
Издательство: Питер
Год: 2002
ISBN: 5-318-00741-4
Формат: pdf
Страниц: 592
Размер: 73,7 Mb
Язык: Русский
Программирование, создание графического пользовательского интерфейса, организация обработки событий, реализация сетевых функций, а также одновременное использование в программе нескольких подпроцессов.
Автор предлагает подборку протестированных примеров, в которых рассматриваются пути решения реальных задач. Благодаря детальному описанию алгоритма легко понять код каждой программы. Весьма полезными для читателей окажутся рисунки, на которых демонстрируются результаты выполнения программ. Каждую главу завершает перечень вопросов и задач, которые позволят проверить и закрепить полученные знания. Книга предназначена для начинающих программистов. | |
Разместил: oksanavalera 14-09-2019, 15:30 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Программирование на C++. Трюки и эффекты
Автор: Чиртик А.А.
Издательство: Питер
Год: 2010
Страниц: 352
ISBN: 978-5-49807-102-2
Формат: PDF
Размер: 13 Мб
Язык: русский
Серия: Трюки и эффекты
Данная книга о программировании на С++ не имеет аналогов. В ней описаны оригинальные приемы создания программ и использования системных ресурсов. Применена самая эффективная методика обучения — на живых примерах, которые можно сразу же использовать при создании собственных приложений. | |
Разместил: MIHAIL62 14-09-2019, 13:38 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Exam Ref 70-480. Programming in HTML5 with jаvascript and CSS3
Автор: Rick Delorme
Издательство: Microsoft Press
Жанр: программирование
Год издания: 2014
Страниц: 353
ISBN: 978-0-7356-7663-3
Язык: Английский
Формат: PDF
Качество: хорошее
Размер: 73 Мб
Подготовьтесь к экзамену Microsoft 70-480 и помогите продемонстрировать свое реальное мастерство программирования с помощью HTML5, jаvascript и CSS3. Разработанный для опытных разработчиков, готовых повысить свой статус, Exam Ref фокусируется на критической мысли и принятии решений, необходимых для успеха на уровне специалиста Microsoft. | |
Разместил: energy555 14-09-2019, 09:59 | Комментарии: 1 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Network Science
Автор: Albert-Laszlo Barabasi
Издательство: Cambridge University Press
Год: 2016
Страниц: 912
Язык: английский
Формат: True PDF
Размер: 95.1 MB
Networks are everywhere, from the internet, to social networks, and the genetic networks that determine our biological existence. Illustrated throughout in full colour, this pioneering textbook, spanning a wide range of topics from physics to computer science, engineering, economics and the social sciences, introduces network science to an interdisciplinary audience. From the origins of the six degrees of separation to explaining why networks are robust to random failures, the author explores how viruses like Ebola and H1N1 spread, and why it is that our friends have more friends than we do. Using numerous real-world examples, this innovatively designed text includes clear delineation between undergraduate and graduate level material. The mathematical formulas and derivations are included within Advanced Topics sections, enabling use at a range of levels. Extensive online resources, including films and software for network analysis, make this a multifaceted companion for anyone with an interest in network science. | |
Разместил: Ingvar16 13-09-2019, 21:12 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Python for Bioinformatics, Second Edition
Автор: Sebastian Bassi
Издательство: CRC Press
Год: 2018
Формат: PDF
Страниц: 451
Размер: 10.94 МБ
Язык: English
In today's data driven biology, programming knowledge is essential in turning ideas into testable hypothesis. Based on the author’s extensive experience, Python for Bioinformatics, Second Edition helps biologists get to grips with the basics of software development. Requiring no prior knowledge of programming-related concepts, the book focuses on the easy-to-use, yet powerful, Python computer language. | |
Разместил: ak5812 13-09-2019, 20:46 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Checking Out with the Payment Request API: A Practical Introduction to the HTML5 Payment Request API using Real-world Examples
Автор: Alex Libby
Издательство: Apress
Год: 2019
Формат: True PDF/ePub
Страниц: 249
Размер: 10 Mb
Язык: English
Quickly create consistent checkouts for use within websites, using the power of the HTML5 Payment Request API. This project-oriented book simplifies the process of creating and manipulating checkouts with the Payment Request API in browsers for websites or online applications, using little more than a text editor or free software.
One of the key concerns of any e-commerce company is ensuring customers complete the checkout process successfully, and for them to return. Unfortunately, many checkouts still suffer from a high level of drop-out. The Payment Request API is an open standard being developed by browser vendors to simplify payments for users with a quick and seamless autofill process enabling a broader set of online payment providers to participate in the market. The API is designed to be easy to implement across all supported browsers, and work with any payment type or service provider. | |
Разместил: bomboane 13-09-2019, 15:36 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
