This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and...

PrestaShop is a hidden gem. There are many much more widely known online shopping cart solutions that have nothing like the features, potential, and ease of use that this open source, completely free-to-use, system has. But until now there has been no information available on how to make the most of it. This book takes a step-by-step approach...

One of the toughest challenges novice CSS developers face is when seemingly perfect code doesn’t translate into a perfectly rendered browser page—and with all the different browsers available today, this happens all too often. The CSS Detective Guide aims to help, by teaching real world troubleshooting skills. You’ll...

Adobe InDesign is the world’s premier page-layout tool, and its user-friendly yet sophisticated typographic controls are a big reason why. This updated edition of Nigel French’s InDesign Type, the first book to focus exclusively on the typographic features of InDesign, provides a comprehensive overview...

Harness the power of PaintShop Photo Pro X3 and discover all the fun and practical techniques that can be used to perfect photographs and create dynamic graphic elements. PICTURE YOURSELF LEARNING COREL PAINTSHOP PHOTO PRO X3 introduces the tools needed to correct and enhance photographs, beginning with the basics of working with toolbars,...

Compiere is a world leading open source commercially supported ERP system. Very large companies have already chosen Compiere over traditional systems. By its nature ERP is a complex subject and while you may be familiar with ERP this book will introduce you to the concepts of Compiere. Here you will learn the Compiere essentials quickly and...

Using his unique formula--original and readable prose combined with graphics and calligraphy--Donald Alcock revolutionizes the teaching of the C programming language. A special feature of the layout of the book is the double-page spread: each one covers a particular topic making the book useful as a reference manual. This revised edition has...

Laser space communications is a hot topic among electrical engineers working for the government and in the defense industry, and this groundbreaking resource is the first to offer professionals a thorough, practical treatment of the subject. The book focuses on the feasibility of laser space communications between satellites, satellites and...

Connecting the ideas of students is one of the most difficult tasks to carry out in the teaching process. Performing these types of tasks through Moodle will help you overcome complex situations while you teach. If you are looking for a guide that will show you how to improve your skills in using Moodle, as well as enhance your way of...

In the high frequency world, the passive technologies required to realize RF and microwave functionality present distinctive challenges. SAW filters, dielectric resonators, MEMS, and waveguide do not have counterparts in the low frequency or digital environment. Even when conventional lumped components can be used in high frequency...

This book will give you...

The manufacturing industry currently employs a wide variety of welding processes. The main technological process applied in the production of weldments is fusion welding. Presenting the latest research on the topic, Surface Phenomena in Fusion Welding Processes is a cutting-edge and comprehensive book that details the various courses of...