Computability has played a crucial role in mathematics and computer science – leading to the discovery, understanding and classification of decidable/ undecidable problems, paving the way to the modern computer era and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical...

The desire to write a book on Objective Caml sprang from the authors' pedagogical experience in teaching programming concepts through the Objective Caml language. The students in various majors and the engineers in continuing education at Pierre and Marie Curie University have, through their dynamism and their critiques, caused our...

Principles of Transaction Processing is a clear, concise guide for anyone involved in developing applications, evaluating products, designing systems, or...

"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distinguishing between the essential (material that has a high chance of being useful) and the incidental (material that will be of benefit only in exceptional cases) much useful...

Blu-ray Disc Demystified provides the most current information and applications available for this popular high-definition optical disc format. Written by a team of experts with a wide range of experience in DVD and high-definition...

Real World Windows 8 Development is a developer’s handbook - an essential guide to building complete, end-user ready Windows 8 applications on the XAML and C# programming stack from start to finish. Starting with Windows 8 basics and walking through practical aspects of building your Windows 8...