Looking forward to a new start at magic boarding school after concluding that "normal" kids are probably all horrible, Hallie looks forward to continuing her family's witchy traditions before discovering that her roommate is her nemesis from her previous school.

This book has been designed to acquaint the students with advanced concepts of differential equations. Comprehensively written, it covers topics such as Boundary Value Problems and their Separation of Variables, Laplace Transforms with Applications, Fourier Transforms and their Applications, the Hankel Transform and its Applications and Calculus of Variations. While the textbook lucidly explains the theoretical concepts, it also presents the various methods and applications related to differential equations. Students of mathematics would find this book extremely useful as well as the aspirants of various competitive examinations.

Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.

The definitive reference on Constraint Handling Rules, from the creator of the language.

Having trouble deciding which coding scheme to employ, how to design a new scheme, or how to improve an existing system? This summary of the state-of-the-art in iterative coding makes this decision more straightforward. With emphasis on the underlying theory, techniques to analyse and design practical iterative coding systems are presented. Using Gallager's original ensemble of LDPC codes, the basic concepts are extended for several general codes, including the practically important class of turbo codes. The simplicity of the binary erasure channel is exploited to develop analytical techniques and intuition, which are then applied to general channel models. A chapter on factor graphs helps to unify the important topics of information theory, coding and communication theory. Covering the most recent advances, this text is ideal for graduate students in electrical engineering and computer science, and practitioners. Additional resources, including instructor's solutions and figures, available online: www.cambridge.org/9780521852296.

Suitable for advanced undergraduate and graduate students, this new textbook contains an introduction to the mathematical concepts used in physics and engineering. The entire book is unique in that it draws upon applications from physics, rather than mathematical examples, to ensure students are fully equipped with the tools they need. This approach prepares the reader for advanced topics, such as quantum mechanics and general relativity, while offering examples, problems, and insights into classical physics. The book is also distinctive in the coverage it devotes to modelling, and to oft-neglected topics such as Green's functions.