ERROR

We are sorry - although we did our best: an error occurred
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 = 2 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 2 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 2 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 2 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

Thomas Neele & Anton Wijs 
Model Checking Software [EPUB ebook] 
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

поддержка
Обложка Thomas Neele & Anton Wijs: Model Checking Software (ePUB)

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

€57.99
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783031661495 ● редактор Thomas Neele & Anton Wijs ● издатель Springer Nature Switzerland ● опубликованный 2024 ● Загружаемые 3 раз ● валюта EUR ● Код товара 9999264 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

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

Thomas NeeleAnton Wijs

19 094 Электронные книги в этой категории

Обложка Evgeni Perelroyzen: Digital Integrated Circuits
Evgeni Perelroyzen: Digital Integrated Circuits
A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …
EPUB
Adobe DRM
€155.20
Обложка Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics
Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics
The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …
EPUB
Adobe DRM
€75.49
Обложка Jae Joon Han & Seungju Han: MPEG-V
Jae Joon Han & Seungju Han: MPEG-V
This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …
EPUB
Adobe DRM
€121.72
Обложка S.B. Furber: VLSI Risc Architecture and Organization
S.B. Furber: VLSI Risc Architecture and Organization
With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …
EPUB
Adobe DRM
€322.99
Обложка Sujoy (KIIT– Deemed University, India) Datta & Pushpendu (University of Nottingham, Ningbo, China) Kar: Interoperability in IoT for Smart Systems
Sujoy (KIIT– Deemed University, India) Datta & Pushpendu (University of Nottingham, Ningbo, China) Kar: Interoperability in IoT for Smart Systems
Interoperability in Io T for Smart Systems discusses the different facets of interoperability issues among the Io T devices and their solutions, the scalability issues in an Io T network, and provide …
EPUB
Adobe DRM
€64.59
Обложка Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering
Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering
EPUB
Adobe DRM
€290.24
Обложка Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering
Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering
Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …
EPUB
Adobe DRM
€230.49
Обложка Denise Brehaut: GMDSS
Denise Brehaut: GMDSS
The Global Maritime Distress and Safety System (GMDSS) — the maritime equivalent to the emergency services number — provides a fast and efficient way of calling for assistance at sea, whatever the si …
EPUB
Adobe DRM
€25.51
Обложка Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers
Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers
Microcontrollers exist in a wide variety of models with varying structures and numerous application opportunities. Despite this diversity, it is possible to find consistencies in the architecture of …
EPUB
Adobe DRM
€64.49
Обложка Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis
Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis
Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it t …
EPUB
Adobe DRM
€64.11
Следущая страница >>>