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 = 13 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 13 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 13 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 13 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 13 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 13 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 13 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 13 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

Author: Christel Baier

Support
Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.




7 Ebooks by Christel Baier

Cover of Christel Baier & Joost-Pieter Katoen: Principles of Model Checking
Christel Baier & Joost-Pieter Katoen: Principles of Model Checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical e …
PDF
English
DRM
€283.79
Cover of Christel Baier & Mark van den Brand: SOFSEM 2017: Theory and Practice of Computer Science
Christel Baier & Mark van den Brand: SOFSEM 2017: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 20 …
EPUB
English
DRM
€57.99
Cover of Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures
Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in …
EPUB
English
DRM
€3.83
Cover of Christel Baier & Luis Caires: Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier & Luis Caires: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in Jun …
EPUB
English
DRM
€58.02
Cover of Christel Baier & Boudewijn R. Haverkort: Validation of Stochastic Systems
Christel Baier & Boudewijn R. Haverkort: Validation of Stochastic Systems
…
PDF
English
DRM
€58.02
Cover of Christel Baier & Holger Hermanns: CONCUR 2006 - Concurrency Theory
Christel Baier & Holger Hermanns: CONCUR 2006 – Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27-30, 2006. The purpose of the CONCUR conference series is to b …
PDF
English
DRM
€115.29
Cover of Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2 …
PDF
English
DRM
€57.89