Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
A Dictionary of Computer Science
This bestselling dictionary has been fully revised, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, it is the ideal reference for students, professionals, and anyone who uses computers.
Artificial Unintelligence
A guide to understanding the inner workings and outer limits of technology and why we should never assume that computers always get it right. In Artificial Unintelligence, Meredith Broussard argues that our collective enthusiasm for applying computer technology to every aspect of life has resulted in a tremendous amount of poorly designed systems. We are so eager to do everything digitally—hiring, driving, paying bills, even choosing romantic partners—that we have stopped demanding that our technology actually work. Broussard, a software developer and journalist, reminds us that there are fundamental limits to what we can (and should) do with technology. With this book, she offers a guid...
The Future of Copyright in the Age of Artificial Intelligence
The Future of Copyright in the Age of Artificial Intelligence offers an extensive analysis of intellectual property and authorship theories and explores the possible impact artificial intelligence (AI) might have on those theories. The author makes compelling arguments via the exploration of authorship, ownership and artificial intelligence.
In Concert
The conventional way of understanding what musicians do as performers is to treat them as producers of sound; some even argue that it is unnecessary to see musicians in performance as long as one can hear them. But musical performance, counters Philip Auslander, is also a social interaction between musicians and their audiences, appealing as much to the eye as to the ear. In Concert: Performing Musical Persona he addresses not only the visual means by which musicians engage their audiences through costume and physical gesture, but also spectacular aspects of performance such as light shows. Although musicians do not usually enact fictional characters on stage, they nevertheless present thems...
Big Data and Armed Conflict
"Data is emerging as a key component of military operations, both on and off the battlefield. Large troves of data generated by new information technologies-often termed "big data"-are growing ever more important to a range of military functions. Military forces and other actors will increasingly need to acquire, evaluate, and utilize such data in many combat contexts. At the same time, those forces can gain advantages by targeting adversaries' data and data systems. And a multitude of actors within armed conflict, including humanitarian and human rights organizations, can also use big data to deliver aid or identify atrocities. Such myriad uses of big data raise challenging interpretive que...
Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.
Cyber Operations and International Law
This book offers a comprehensive overview of the international law applicable to cyber operations. It is grounded in international law, but is also of interest for non-legal researchers, notably in political science and computer science. Outside academia, it will appeal to legal advisors, policymakers, and military organisations.
The Fabric of Interface
Tracing the genealogy of our physical interaction with mobile devices back to textile and needlecraft culture. For many of our interactions with digital media, we do not sit at a keyboard but hold a mobile device in our hands. We turn and tilt and stroke and tap, and through these physical interactions with an object we make things: images, links, sites, networks. In The Fabric of Interface, Stephen Monteiro argues that our everyday digital practice has taken on traits common to textile and needlecraft culture. Our smart phones and tablets use some of the same skills—manual dexterity, pattern making, and linking—required by the handloom, the needlepoint hoop, and the lap-sized quilting f...
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
