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

The signal processing (SP) landscape has been enriched by recent advances in artificial intelligence (AI) and machine learning (ML), yielding new tools for signal estimation, classification, predicti …

This book explores quantum computing as a transformative technology and its applications in communications, cryptography, teleportation, Io T, AI, and blockchain, in addition to the revolutionary con …

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …

<p><b>Leverage the power of SQL to perform geospatial analysis and increase your speed and efficiency working with a variety of spatial applications such as Post GIS and …

Blockchain, Internet of Things, and Artificial Intelligence provides an integrated overview and technical description of the fundamental concepts of blockchain, Io T, and AI technologies. State-of-th …

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Data has revolutionized the digital ecosystem. Readily available large datasets foster AI and machine learning automated solutions. The data generated from diverse and varied sources including Io T, …

Data is the base for information, information is needed to have knowledge, and knowledge is used to make decisions and manage 21st century businesses and organizations. Thus, it is imperative to …