Sergiy Bogomolov & Matthieu Martel 
Numerical Software Verification [EPUB ebook] 
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Stöd
Omslag till Sergiy Bogomolov & Matthieu Martel: Numerical Software Verification (ePUB)

This book constitutes the refereed proceedings of the 9th International Workshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 – colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

€57.19
Betalningsmetoder
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera EPUB ● ISBN 9783319542928 ● Redaktör Sergiy Bogomolov & Matthieu Martel ● Utgivare Springer International Publishing ● Publicerad 2017 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6210469 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Sergiy BogomolovMatthieu MartelPavithra Prabhakar

74 462 E-böcker i denna kategori

Omslag till El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct
El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct
Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner”s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …
EPUB
Adobe DRM
€6.35
Omslag till Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide
The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …
EPUB
Adobe DRM
€25.47
Omslag till Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks
Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks
This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communi …
EPUB
Adobe DRM
€79.11
Omslag till Tarun Agarwal: Apex Legends Ultimate Guide
Tarun Agarwal: Apex Legends Ultimate Guide
EPUB
Adobe DRM
€0.95
Omslag till Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Jonathan Baier & Gigi Sayfan: The Complete Kubernetes Guide
Design, deploy, and manage large-scale containers using Kubernetes Key Features
  • Gain insight into the latest features of Kubernetes, including Prometheus and API aggregation
  • Discove …
EPUB
Adobe DRM
€39.89
Omslag till Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media
Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Interactive Media
This volume provides a comprehensive introduction to foundational topics in sound design for interactive media, such as gaming and virtual reality; compositional techniques; new interfaces; sound spa …
EPUB
Adobe DRM
€61.77
Omslag till Sasmita Mohanty & Sudhir K. Routray: Principles and Applications of Narrowband Internet of Things (NBIoT)
Sasmita Mohanty & Sudhir K. Routray: Principles and Applications of Narrowband Internet of Things (NBIoT)
The internet of things (Io T) has emerged as a trending technology that is continually being implemented into various practices within the field of engineering and science due to its versatility and …
EPUB
Adobe DRM
€275.25
Omslag till Pethuru Raj & Anupama C. Raman: The Internet of Things
Pethuru Raj & Anupama C. Raman: The Internet of Things
As more and more devices become interconnected through the Internet of Things (Io T), there is an even greater need for this book, which explains the technology, the internetworking, and applications …
EPUB
Adobe DRM
€57.78
Omslag till Alaa Hussein Al-Hamami & Ghossoon M. Waleed al-Saadoon: Handbook of Research on Threat Detection and Countermeasures in Network Security
Alaa Hussein Al-Hamami & Ghossoon M. Waleed al-Saadoon: Handbook of Research on Threat Detection and Countermeasures in Network Security
EPUB
Adobe DRM
€417.62
Omslag till Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security
Brij B. Gupta & Deepak Gupta: Handbook of Research on Multimedia Cyber Security
Because it makes the distribution and transmission of digital information much easier and more cost effective, multimedia has emerged as a top resource in the modern era. In spite of the opportunitie …
EPUB
Adobe DRM
€379.66
Nästa sida >>>