ERROR

Kami ingin memohon maaf - walaupun kami melakukan yang terbaik: Ralat berlaku
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 = 19 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 19 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 19 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 19 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

K. Rustan M. Leino & Alexandra Silva 
Computer Aided Verification [EPUB ebook] 
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

الدعم
غلاف K. Rustan M. Leino & Alexandra Silva: Computer Aided Verification (ePUB)

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.

€3.85
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل EPUB ● ISBN 9783030816858 ● محرر K. Rustan M. Leino & Alexandra Silva ● الناشر Springer International Publishing ● نشرت 2021 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 8290437 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

K. Rustan M. LeinoAlexandra Silva

16٬941 كتب إلكترونية في هذه الفئة

غلاف Gavin Powell: Database Modeling Step by Step
Gavin Powell: Database Modeling Step by Step
With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …
EPUB
Adobe DRM
€70.76
غلاف Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering
Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering
Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …
EPUB
Adobe DRM
€15.46
غلاف 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
غلاف Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process
Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process
There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …
EPUB
Adobe DRM
€55.32
غلاف Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization
This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …
EPUB
Adobe DRM
€25.42
غلاف Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL
Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL
SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …
EPUB
Adobe DRM
€64.34
غلاف 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
غلاف Jimmy Russell: 101 Amazing Atari 2600 Facts
Jimmy Russell: 101 Amazing Atari 2600 Facts
In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …
EPUB
Adobe DRM
€3.85
غلاف Charles W. Kann: Creating Components
Charles W. Kann: Creating Components
Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …
EPUB
Adobe DRM
€122.37
غلاف Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce
The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …
EPUB
Adobe DRM
€168.70
الصفحة التالية >>>