A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design,...

This textbook gives a clear and thorough presentation of the fundamental principles of mechanics and strength of materials. It provides both the theory and applications of mechanics of materials on an intermediate theoretical level, ranging from the mechanical properties of materials through the effects of axial load, torsion, bending, and...

From the Foreword by Mohamed A....

Promptly growing demand for telecommunication services and information interchange has led to the fact that communication became one of the most dynamical branches of an infrastructure of a modern society. The book introduces to the bases of classical MDP theory; problems of a finding optimal САС in models are investigated and...

"AI Techniques for Game Programming" takes the difficult topics of genetic algorithms and neural networks and explains them in plain English. Gone are the tortuous mathematic equations and abstract examples to be found in other books. Each chapter takes readers through the theory a step at a time, explaining clearly how they can...

This book presents in-depth surveys and systematic discussions on models, algorithms and applications for link mining. Link mining is an important field of data mining. Traditional data mining focuses on "flat" data in which each data object is represented as a fixed-length attribute vector. However, many real-world data sets are...

In recent decades, the study of signal processing has become increasingly complex, with new techniques and applications constantly being developed for the processing, transformation, and interpretation of signals. This book provides a comprehensive introduction to the traditional and modern methods used in signal processing. It is designed to...