Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which are based on the classical models of Aristotle, underwent a dramatic evolution during the last 50 years for its increasing applications in automated reasoning on digital computers. The subject of Logic Programming is concerned with automated reasoning with facts and knowledge to answer a user’s query following the syntax and semantics of the logic of propositions/predicates...

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge.

This basic textbook gives an easily accessible introduction to fuzzy theory and its applications. It provides basic and concrete concepts of the field in a self-contained, condensed and understandable style. This First Course on Fuzzy Theory and Applications includes numerous examples, descriptive illustrations and figures of the basic concepts, as well as exercises at the end of each chapter. The author has long time experience in teaching on fuzzy theory and its applications and continuously developed and summarized his didactic lecture notes into this book. This book can be used in introductory graduate and undergraduate courses in fuzziness and soft computing and is recommendable to students, scientists, engineers, or professionals in the field for self-study...

Visio® 2007 Bible is as comprehensive a guide to the popular Microsoft diagramming software as a book of less than 1000 pages can be. Covering both Visio Standard and Visio Professional, this book explains Visio fundamentals as well as more advanced techniques that help you master any type of diagram. It also describes in detail how to use each of the specialized templates that Visio Standard and Visio Professional offer...

Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers...

Algebraic Geometry and Geometric Modeling are two distinct domains of research, with few interactions up to now, though closely linked. On the one hand, Algebraic Geometry has developed an impressive theory targeting the understanding of geometric objects defined algebraically. On the other hand, Geometric Modeling is using every day, in practical and difficult problems, virtual shapes based on algebraic models...

Data compression is one of the most important techniques in computing engineering. From archiving data to CD-ROMs and from coding theory to image analysis, many facets of computing make use of data compression in one form or another. This book is intended to provide an overview of the many different types of compression: it includes a taxonomy, an analysis of the most common systems of compression, discussion of their relative benefits and disadvantages, and their most common usages...

With Database Administration, database professionals now have a comprehensive sourcebook of strategies for delivering quality administration across today's challenging multi-DBMS environments. Filled with practical guidelines and strategies, this book provides the most comprehensive survey available of the administrator's world for the existing or aspiring database professional...

Enjoy the last word in speed of downloading -- ReGet Deluxe! Wherever you have a dial-up (modem) connection to the Internet or super-fast cable or ADSL, ReGet Deluxe will fully utilize the bandwidth of your connection and download files in a blast! With many features aimed at improving the download experience and dramatically increasing download speeds, ReGet Deluxe is the tool of choice for power users and heavy downloaders.

Algorithms and Data Structures in C++ introduces modern issues in the theory of algorithms, emphasizing complexity, graphs, parallel processing, and visualization. To accomplish this, the book uses an appropriate subset of frequently utilized and representative algorithms and applications in order to demonstrate the unique and modern aspects of the C++ programming language. What makes this book so valuable is that many complete C++ programs have been compiled and executed on multiple platforms. Each program presented is a stand-alone functional program. A number of applications that exercise significant features of C++, including templates and polymorphisms, is included. The book is a perfect text for computer science and engineering students in traditional algorithms or data structures courses. It will also benefit professionals in all fields of computer science and engineering...

Signal processing is a broad and timeless area. The term "signal" includes audio, video, speech, image, communication, geophysical, sonar, radar, medical, and more. Signal processing applies to the theory and application of filtering, coding, transmitting, estimating, detecting, analyzing, recognizing, synthesizing, recording, and reproducing signals. Handbook of Formulas and Tables for Signal Processing a must-have reference for all engineering professionals involved in signal and image processing...

Algorithms in C is a comprehensive repository of algorithms, complete with code. If you're in a pinch and need to code something up fast, this book is the place to look. Starting with basic data structures, Algorithms in C covers an enormous scope of information, with extensive treatment of searching and advanced data structures, sorting, string processing, computational geometry, graph problems, and mathematical algorithms. Although the manual often neglects to provide rigorous analysis, the text surrounding the algorithms provides clear and relevant insight into why the algorithms work.