Cambridge International AS and A Level Computer Science offers a complete set of resources to accompany the 9608 syllabus. This Digital edition of the Cambridge International AS …
Pseudo-random sequences are essential ingredients of every modern digital communication system including cellular telephones, GPS, secure internet transactions and satellite …
This book presents a significant advancement in the theory and practice of knowledge engineering, the discipline concerned with the development of intelligent agents that use …
Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, …
This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, …
Featuring detailed explanations of the major algorithms used in quantum Monte Carlo simulations, this is the first textbook of its kind to provide a pedagogical overview of the …
Many processes in materials science and engineering, such as the load deformation behaviour of certain structures, exhibit nonlinear characteristics. The computer simulation of …
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a …
This book is concerned with digital image processing techniques that use partial differential equations (PDEs) for the task of image 'inpainting', an artistic term for virtual …
This engineering textbook is designed to introduce advanced control systems for vehicles, including advanced automotive concepts and the next generation of vehicles for ITS. For …