ERROR

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

Erich Gradel & Wolfgang Thomas 
Automata, Logics, and Infinite Games [PDF ebook] 
A Guide to Current Research

Wsparcie
Pokrywa Erich Gradel & Wolfgang Thomas: Automata, Logics, and Infinite Games (PDF)

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

€76.78
Metody Płatności
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● ISBN 9783540363873 ● Redaktor Erich Gradel & Wolfgang Thomas ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2003 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6317278 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Erich GradelWolfgang ThomasThomas Wilke

16 795 Ebooki w tej kategorii

Pokrywa Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks
Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks
This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …
EPUB
Adobe DRM
€153.76
Pokrywa Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media
Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media
This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …
EPUB
Adobe DRM
€61.61
Pokrywa Sharon Yull: BTEC National for IT Practitioners: Business units
Sharon Yull: BTEC National for IT Practitioners: Business units
BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications. This book caters for one of the most popular pathwa …
EPUB
Adobe DRM
€59.17
Pokrywa Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …
EPUB
Adobe DRM
€48.89
Pokrywa Gilbert Held: Wireless Mesh Networks
Gilbert Held: Wireless Mesh Networks
Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the concep …
EPUB
Adobe DRM
€70.89
Pokrywa Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications
Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications
EPUB
Adobe DRM
€257.99
Pokrywa Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition
Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition
EPUB
Adobe DRM
€276.47
Pokrywa T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science
T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science
This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …
EPUB
Adobe DRM
€59.04
Pokrywa Joanna Kulesza: International Internet Law
Joanna Kulesza: International Internet Law
This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …
EPUB
Adobe DRM
€49.08
Pokrywa Kuldeep Singh: Exploring the Metaverse
Kuldeep Singh: Exploring the Metaverse
The metaverse has been a topic of conversation for a long time, but it still remains loosely defined. Some see it as a game in the virtual world, while others see it as a more connected version of th …
EPUB
Adobe DRM
€25.22
Następna strona >>>