ERROR

Мы сожалеем - хотя мы сделали все возможное: произошла ошибка
Typedatabase
MessageYou have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near "AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categorie..." at line 5
QuerySELECT (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4name, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 000) AS cat1url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4url, (SELECT wod_count_products FROM categories WHERE categories_id = 000) AS cat1cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3cnt, (SELECT wod_count_products FROM categories WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4cnt

Alessandro Abate & Sylvie Boldo 
Numerical Software Verification [EPUB ebook] 
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Support
Cover of Alessandro Abate & Sylvie Boldo: Numerical Software Verification (ePUB)

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 – colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

€57.60
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783319635019 ● Editor Alessandro Abate & Sylvie Boldo ● Publisher Springer International Publishing ● Published 2017 ● Downloadable 3 times ● Currency EUR ● ID 6211190 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Alessandro AbateSylvie Boldo

16,941 Ebooks in this category

Cover of 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
Cover of 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
Cover of 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
Cover of 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
Cover of 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
Cover of Donald J. Reifer: Software Maintenance Success Recipes
Donald J. Reifer: Software Maintenance Success Recipes
Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …
EPUB
Adobe DRM
€102.94
Cover of Saad Motahhir: Smart Embedded Systems and Applications
Saad Motahhir: Smart Embedded Systems and Applications
This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …
EPUB
Adobe DRM
€147.65
Cover of 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
Cover of 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
Cover of 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
Next page >>>