Xinyu Feng & Markus Muller-Olm 
Dependable Software Engineering. Theories, Tools, and Applications [EPUB ebook] 
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

поддержка
Обложка Xinyu Feng & Markus Muller-Olm: Dependable Software Engineering. Theories, Tools, and Applications (ePUB)

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.

€57.94
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783319999333 ● редактор Xinyu Feng & Markus Muller-Olm ● издатель Springer International Publishing ● опубликованный 2018 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6788652 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Xinyu FengMarkus Muller-OlmZijiang Yang

16 941 Электронные книги в этой категории

Обложка Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security
Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee — An Intel Company, Santa Clara California, USA) Ransome: Core Software Security
‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …
EPUB
Adobe DRM
€57.60
Обложка Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop
Rohan Chopra & Sohom Ghosh: The Natural Language Processing Workshop
Make NLP easy by building chatbots and models, and executing various NLP tasks to gain data-driven insights from raw text data Key Features
  • Get familiar with key natural language processing …
EPUB
Adobe DRM
€33.30
Обложка Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform
Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform
This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …
EPUB
Adobe DRM
€25.37
Обложка Alan Clements: Computer Architecture with Python and ARM
Alan Clements: Computer Architecture with Python and ARM
<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …
EPUB
Adobe DRM
€30.74
Обложка Dan Aldred: Coding with the micro
Dan Aldred: Coding with the micro
A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit — Create Cool Programming Projects …
EPUB
Adobe DRM
€23.08
Обложка Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence
Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence
Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …
EPUB
Adobe DRM
€73.16
Обложка Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming
Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming
Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …
EPUB
Adobe DRM
€148.00
Обложка Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …
EPUB
Adobe DRM
€168.70
Обложка Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop
Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop
A beginner»s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features
  • Explore data …
EPUB
Adobe DRM
€29.62
Обложка Howard Anderson & Bruce Hellingsworth: Higher National Computing
Howard Anderson & Bruce Hellingsworth: Higher National Computing
Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …
EPUB
Adobe DRM
€61.44
Следущая страница >>>