ENIAC in Action


Book Description

This work explores the conception, design, construction, use, and afterlife of ENIAC, the first general purpose digital electronic computer.




How Computers Really Work


Book Description

An approachable, hands-on guide to understanding how computers work, from low-level circuits to high-level code. How Computers Really Work is a hands-on guide to the computing ecosystem: everything from circuits to memory and clock signals, machine code, programming languages, operating systems, and the internet. But you won't just read about these concepts, you'll test your knowledge with exercises, and practice what you learn with 41 optional hands-on projects. Build digital circuits, craft a guessing game, convert decimal numbers to binary, examine virtual memory usage, run your own web server, and more. Explore concepts like how to: Think like a software engineer as you use data to describe a real world concept Use Ohm's and Kirchhoff's laws to analyze an electrical circuit Think like a computer as you practice binary addition and execute a program in your mind, step-by-step The book's projects will have you translate your learning into action, as you: Learn how to use a multimeter to measure resistance, current, and voltage Build a half adder to see how logical operations in hardware can be combined to perform useful functions Write a program in assembly language, then examine the resulting machine code Learn to use a debugger, disassemble code, and hack a program to change its behavior without changing the source code Use a port scanner to see which internet ports your computer has open Run your own server and get a solid crash course on how the web works And since a picture is worth a thousand bytes, chapters are filled with detailed diagrams and illustrations to help clarify technical complexities. Requirements: The projects require a variety of hardware - electronics projects need a breadboard, power supply, and various circuit components; software projects are performed on a Raspberry Pi. Appendix B contains a complete list. Even if you skip the projects, the book's major concepts are clearly presented in the main text.




Architecture and Computers


Book Description

Computers have revolutionized architecture. This cutting-edge guide examines the pros, cons, and various aspects of using the computer in architectural design, featuring incredible projects by such industry leaders as Frank Gehry, Morphosis, Hamzah and Yeang, and others.




Your Computer Is on Fire


Book Description

Technology scholars declare an emergency: attention must be paid to the inequality, marginalization, and biases woven into our technological systems. This book sounds an alarm: we can no longer afford to be lulled into complacency by narratives of techno-utopianism, or even techno-neutrality. We should not be reassured by such soothing generalities as "human error," "virtual reality," or "the cloud." We need to realize that nothing is virtual: everything that "happens online," "virtually," or "autonomously" happens offline first, and often involves human beings whose labor is deliberately kept invisible. Everything is IRL. In Your Computer Is on Fire, technology scholars train a spotlight on the inequality, marginalization, and biases woven into our technological systems.




Computers and Conversation


Book Description

In the past few years a branch of sociology, conversation analysis, has begun to have a significant impact on the design of human*b1computer interaction (HCI). The investigation of human*b1human dialogue has emerged as a fruitful foundation for interactive system design.****This book includes eleven original chapters by leading researchers who are applying conversation analysis to HCI. The fundamentals of conversation analysis are outlined, a number of systems are described, and a critical view of their value for HCI is offered.****Computers and Conversation will be of interest to all concerned with HCI issues--from the advanced student to the professional computer scientist involved in the design and specification of interactive systems.




Performance Modeling and Design of Computer Systems


Book Description

Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science.




Computers as Theatre


Book Description

Brenda Laurel's Computers as Theatre revolutionized the field of human-computer interaction, offering ideas that inspired generations of interface and interaction designers-and continue to inspire them. Laurel's insight was that effective interface design, like effective drama, must engage the user directly in an experience involving both thought and emotion. Her practical conclusion was that a user's enjoyment must be a paramount design consideration, and this demands a deep awareness of dramatic theory and technique, both ancient and modern. Now, two decades later, Laurel has revised and revamped her influential work, reflecting back on enormous change and personal experience and forward toward emerging technologies and ideas that will transform human-computer interaction yet again. Beginning with a clear analysis of classical drama theory, Laurel explores new territory through the lens of dramatic structure and purpose. Computers as Theatre, Second Edition, is directed to a far wider audience, is written more simply and elegantly, is packed with new examples, and is replete with exciting and important new ideas. This book Draws lessons from massively multiplayer online games and systems, social networks, and mobile devices with embedded sensors Integrates values-driven design as a key principle Integrates key ideas about virtual reality Covers new frontiers, including augmented reality, distributed and participatory sensing, interactive public installations and venues, and design for emergence Once more, Brenda Laurel will help you see the connection between humans and computers as you never have before-and help you build interfaces and interactions that are pleasurably, joyously right!




Electronic Life


Book Description




Essential Logic for Computer Science


Book Description

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.




The Elements of Computing Systems


Book Description

This title gives students an integrated and rigorous picture of applied computer science, as it comes to play in the construction of a simple yet powerful computer system.