"This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H.D. Warren, the WAM is an abs…
How the complex interplay of academic, commercial, and military interests produced an intense period of scientific discovery and technological innovation in computing during the Cold War.OCLC-licensed vendor bibliographic record.
Telecommunication has never been perfectly secure. The Cold War culture of recording devices in telephone receivers and bugged embassy offices has been succeeded by a post-9/11 world of NSA wiretaps and demands for data retention. Although the 1990s battle for individual and commercial freedom to use cryptography was won, growth in the use of cryptography has been slow. Meanwhile, regulations r…
This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system’s safety and using appropriate hardware and software components inherently safe system’s architectures can be devised and certified. While the standards already enable testing and certification…
"This book proposes a framework for the design of systems that will advance social and environmental justice along with technical and economic objectives"--OCLC-licensed vendor bibliographic record.
"A guide for business leaders to understand the capabilities and strategies necessary to make money from their data"--OCLC-licensed vendor bibliographic record.
"This expansive history of knowledge and its openness makes a strong and nuanced case for opening scholarly knowledge to the public"--OCLC-licensed vendor bibliographic record.
"Original take on the history of socialist Bulgaria, examined through the prism of computers to make broader claims about political, economic, intelligence, social, and cultural life in Bulgaria, and by extension, the Soviet bloc and state socialism in general"--OCLC-licensed vendor bibliographic record.
"An exploration of the disruptive potential of blockchain and a guide for how enterprise firms can leverage this new technology for success"--OCLC-licensed vendor bibliographic record.
"This is a book about how drones sense the world, and the imaginaries of communities they construct"--OCLC-licensed vendor bibliographic record.