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

Klaus Havelund & Jan Peleska 
Formal Methods [EPUB ebook] 
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

الدعم
غلاف Klaus Havelund & Jan Peleska: Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

€102.21
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل EPUB ● ISBN 9783319955827 ● محرر Klaus Havelund & Jan Peleska ● الناشر Springer International Publishing ● نشرت 2018 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6647466 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

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

Klaus HavelundJan PeleskaBill RoscoeErik de Vink

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

غلاف 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
غلاف C. Ravindranath Pandian: Software Metrics
C. Ravindranath Pandian: Software Metrics
<P> The modern field of software metrics emerged from the computer modeling and ‘statistical thinking’ services of the 1980s. As the field evolved, metrics programs were integrated with project …
EPUB
Adobe DRM
€128.05
غلاف Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy
Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy
The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …
EPUB
Adobe DRM
€64.49
غلاف Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles
Ana Alice Baptista & Mariana Curado Malta: Developing Metadata Application Profiles
EPUB
Adobe DRM
€218.55
غلاف Wayne Murphy: C++ Cookbook
Wayne Murphy: C++ Cookbook
C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …
EPUB
Adobe DRM
€25.34
غلاف Timur Yaroshenko: Design Patterns in .NET
Timur Yaroshenko: Design Patterns in .NET
A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …
EPUB
Adobe DRM
€25.49
غلاف Pam Lahoud & Pedro Lopes: Learn T-SQL Querying
Pam Lahoud & Pedro Lopes: Learn T-SQL Querying
Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features
  • Discover T-SQL functionalities and services that help you interact with …
EPUB
Adobe DRM
€46.12
غلاف Donald K. Burleson: Oracle Internals
Donald K. Burleson: Oracle Internals
If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …
EPUB
Adobe DRM
€134.96
غلاف 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
غلاف 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
الصفحة التالية >>>