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

Ủng hộ
Bìa của 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
phương thức thanh toán
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783319542928 ● Biên tập viên Sergiy Bogomolov & Matthieu Martel ● Nhà xuất bản Springer International Publishing ● Được phát hành 2017 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6210469 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Sergiy BogomolovMatthieu MartelPavithra Prabhakar

74.462 Ebooks trong thể loại này

Bìa của 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
Bìa của 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
Bìa của 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
Bìa của Tarun Agarwal: Apex Legends Ultimate Guide
Tarun Agarwal: Apex Legends Ultimate Guide
EPUB
Adobe DRM
€0.95
Bìa của 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
Bìa của 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
Bìa của 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
Bìa của 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
Bìa của 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
Bìa của 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
Trang tiếp theo >>>