MATRIX ALGEBRA is a significant topic in...

XSLT 2.0 Programmer's Reference, 3rd Edition, is the authoritative reference guide to the language. Without using the formal and inaccessible language of the W3C specifications, it tells you exactly what every construct in the language does, and how it is intended to be used. This book is a reference rather than a tutorial; it is...

Looking forward to locking in a great, secure job in the booming healthcare field? Well, before you can graduate and get your license, you have to pass that challenging compulsory course in pharmacology. Luckily, there's no need to be intimidated or confused. In...

• Learn the core features of libGDX to develop your own exciting games
• Explore game development concepts through example projects
• Target games for major app stores quickly and...

Transactional Information Systems is the long-awaited, comprehensive work from leading scientists in the transaction processing field. Weikum and Vossen begin with a broad look at the role of transactional technology in today's economic and scientific endeavors, then delve into critical issues faced by all practitioners, presenting...

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...

"Proof" has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of...

–Daniel Goleman, Author of...