In the year 1900 the German Mathematician David Hilbert gave a curious address in Paris, at the meeting of the 2nd International Congress of Mathematicians - he titled his address "Mathematical Problems." In it, he emphasized the importance of taking on challenging problems for maintaining the progress and development of mathematics. The problems numbered 1, 2, and 10 which concern mathematical logic and which gave birth to what is called the entscheidungsproblem or the decision problem were eventually solved though in the negative by Alonzo Church and Alan Turing in their famous Church-Turing thesis. The later Turing and Gumanski's attempts are criticized as inadequate or doubtful. So the decision problem is still unsolved in the positive. This book provides a positive solution using what the author calls the General Theory of Effectively Provable Function (GEP). Tremendous insights on computer development and evolution also come to light in this research. Obviously, this book is an audacious attempt to solve a problem that has lasted for more than a century and defied the best minds of logic's greatest era

The Foundations of Vacuum Coating Technology is a concise review of the developments that have led to the wide variety of applications of this technology. This book is a must have for materials scientists and engineers working with vacuum coating in the invention of new technologies or applications in all industries. With over 370 references, this is an excellent starting point for those who don't want to reinvent the wheel. In particular, the book is a valuable reference for those interested in researching proposed or existing patents. This unique book provides a starting point for more in-depth surveys of past and recent work in all aspects of vacuum coating. The author uses his extensive knowledge of the subject to draw comparisons and place the information into the proper context. This is particularly important for the patent literature where the terminology does not always match industry jargon. A section of acronyms for vacuum coating and glossary of terms at the end of the book are critical additions to the information every reader needs.

The book presents a comprehensive, yet concise analysis of groundwater occurrence, its development, technology involved in exploration, extraction, and its economical usage.The book makes use of minimum technical jargon, while explaining the basics of drilling, types of wells, their maintenance, development and testing, and selection of pumps. It discusses the causes for wells failing, methods of diagnosis and the pre-emptive and remedial measures, water transmission, composition, and purification. Unlike other natural resources, groundwater is replenished by rainfall. Nevertheless those who depend on groundwater either for industrial or agricultural sustenance should be responsive to certain factors that are significant to the long-term well-being of the water source. Important are: Whether the wells are being over-pumped, or under-pumped; the quantity and cost of water being drawn, whether there is sufficient water underground with optimum replenishment, and systems installed are compatible to the particular hydrological situation and similar such factors. The book attempts, in simplistic language, to link the gap between theory and practice; between the principles of groundwater as a natural science and its application technology. There are a number of pre-calculated tables that serve as a handy reference for Consultants, Drillers and Engineers who deal with groundwater on a day-to-day basis.

Compliance with the EU's Construction Products Directive is a reality for construction product manufacturers, as harmonised European Standards and European Technical Approval Guidelines come into full effect. Purchasers, specifiers and regulatory authorities expect to see products bearing the CE marking symbol and, in most European countries, marking is already compulsory. Many manufacturers are unclear about their obligations as regards this directive and need to be confident that they are receiving correct and unbiased advice about whether they need to obtain CE marking and if so, what they must do. This book offers a timely and thorough explanation of the directive and its application through harmonised European Standards and European Technical Approvals (ETAs). It leads the reader through the history and background of the CPD, explaining many of the fundamental principles and provisions, and then provides an in-depth explanation of all aspects of complying with the directive through its standards and ETAs, and the process of obtaining and using the CE marking. It goes on to look at other, related issues, such as where a product comes under more than one EU directive, what the manufacturer may expect once he has obtained the CE marking and is trying to sell his product throughout the European Union, and what is likely to happen in terms of market surveillance. The book presents each subject area logically and thoroughly and in a similar order as manufacturers will encounter them. However, some readers may prefer to concentrate only on those subjects which particularly interest them at any one time.