Martin Henson & Steve King 
ZB 2005: Formal Specification and Development in Z and B [PDF ebook] 
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …