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 = 10 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 10 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 10 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 10 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 10 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 10 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 10 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 10 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 Mainzer & Peter Michael Schuster 
PROOF AND COMPUTATION [EPUB ebook] 
Digitization in Mathematics, Computer Science and Philosophy

Support
Cover of Klaus Mainzer & Peter Michael Schuster: PROOF AND COMPUTATION (ePUB)

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

€72.99
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● Pages 300 ● ISBN 9789813270954 ● File size 14.3 MB ● Editor Klaus Mainzer & Peter Michael Schuster ● Publisher World Scientific Publishing Company ● City Singapore ● Country SG ● Published 2018 ● Downloadable 24 months ● Currency EUR ● ID 6370025 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Klaus MainzerPeter SchusterHelmut SchwichtenbergPeter Michael SchusterSchwichtenberg Helmut SchwichtenbergMainzer Klaus MainzerSchuster Peter Michael Schuster

49,981 Ebooks in this category

Cover of Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm
Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm
Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …
EPUB
Adobe DRM
€59.28
Cover of Brian Osserman: Concise Introduction to Algebraic Varieties
Brian Osserman: Concise Introduction to Algebraic Varieties
Designed for a one-term introductory course on algebraic varieties over an algebraically closed field, this book prepares students to continue either with a course on schemes and cohomology, or to le …
EPUB
Adobe DRM
€131.21
Cover of Vladimir Ivanovitch (M. I. Kalashnikov Izhevsk State Technical University, Izhevsk, Russia) Kodolov & Mikhail A. (Udmurt State University, Izhevsk, Russia) Korepanov: Applied Mathematical Models and Experimental Approaches in Chemical Science
Vladimir Ivanovitch (M. I. Kalashnikov Izhevsk State Technical University, Izhevsk, Russia) Kodolov & Mikhail A. (Udmurt State University, Izhevsk, Russia) Korepanov: Applied Mathematical Models and Experimental Approaches in Chemical Science
This new book focuses on nanomaterial development as well as investigations of combustion and explosion processes. It presents valuable information on the modeling of processes and on quantum chemica …
EPUB
Adobe DRM
€141.58
Cover of Simeon Berman: Sojourns And Extremes of Stochastic Processes
Simeon Berman: Sojourns And Extremes of Stochastic Processes
Sojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme v …
EPUB
Adobe DRM
€79.75
Cover of Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment
Taolue Chen & Yu Zhou: Software Adaptation in an Open Environment
The book is about a very active research field in software engineering. In modern society, the fact of the world”s high reliance on software requires the system”s robustness, i.e., continual availa …
EPUB
Adobe DRM
€55.08
Cover of Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB
Angel R. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez & Wendy L. (U.S. Bureau of Labor Statistics, Washington, DC, USA) Martinez: Exploratory Data Analysis with MATLAB
Praise for the Second Edition: ‘The authors present an intuitive and easy-to-read book. … accompanied by many examples, proposed exercises, good references, and comprehensive appendices that initiate …
EPUB
Adobe DRM
€59.16
Cover of Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations
Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations
Elementary Differential Equations, Second Edition  is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …
EPUB
Adobe DRM
€56.70
Cover of B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference
B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference
Statistical inference carries great significance in model building from both the theoretical and the applications points of view. Its applications to engineering and economic systems, financial econo …
EPUB
Adobe DRM
€79.58
Cover of Giri: Introduction to Probability and Statistics
Giri: Introduction to Probability and Statistics
Beginning with the historical background of probability theory, this thoroughly revised text examines all important aspects of mathematical probability – including random variables, probability distr …
EPUB
Adobe DRM
€79.78
Cover of Charles L. (Mader Consulting Company, Honolulu, Hawaii, USA) Mader: Numerical Modeling of Water Waves
Charles L. (Mader Consulting Company, Honolulu, Hawaii, USA) Mader: Numerical Modeling of Water Waves
Numerical Modeling of Water Waves, Second Edition covers all aspects of this subject, from the basic fluid dynamics and the simplest models to the latest and most complex, including the first-ever de …
EPUB
Adobe DRM
€296.19
Next page >>>