Free Delivery Over $100
364727 books were found.
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making... Read More >>
Read More >>
‘A must-read for anyone curious about how we think.’ Charles Duhigg, author of The Power of Habit and Supercommunicators... Read More >>
Based on the ""Seventh International Conference on Dynamics of Disasters"" (Vienna, Austria, July 2024), this book... Read More >>
This companion volume to Artificial Intelligence: A Guide for Everyone offers a comprehensive exploration of AI... Read More >>
Why and how Atari s first video game Pong established an industry that shapes consumers relationships to technology... Read More >>
An exploration of Cuba's emerging digital culture and Cubans' creation of grassroots networks, digital black markets,... Read More >>