| Author | : Werner Kluge |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 382 |
| Release | : 2005-02-18 |
| Genre | : Computers |
| ISBN | : 3540211462 |
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
| Author | : Werner Kluge |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 382 |
| Release | : 2005-12-02 |
| Genre | : Computers |
| ISBN | : 354027359X |
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
| Author | : Egon Börger |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 441 |
| Release | : 2012-12-06 |
| Genre | : Computers |
| ISBN | : 364218216X |
| Author | : Bonnie A. Nardi |
| Publisher | : MIT Press |
| Total Pages | : 196 |
| Release | : 1993 |
| Genre | : Computers |
| ISBN | : 9780262140539 |
Analyzes cognitive, social and technical issues of end user programming. Drawing on empirical research on existing end user systems, this text examines the importance of task-specific programming languages, visual application frameworks and collaborative work practices for end user computing.
| Author | : Marilyn Wolf |
| Publisher | : Elsevier |
| Total Pages | : 278 |
| Release | : 2016-10-16 |
| Genre | : Technology & Engineering |
| ISBN | : 0128096160 |
The Physics of Computing gives a foundational view of the physical principles underlying computers. Performance, power, thermal behavior, and reliability are all harder and harder to achieve as transistors shrink to nanometer scales. This book describes the physics of computing at all levels of abstraction from single gates to complete computer systems. It can be used as a course for juniors or seniors in computer engineering and electrical engineering, and can also be used to teach students in other scientific disciplines important concepts in computing. For electrical engineering, the book provides the fundamentals of computing that link core concepts to computing. For computer science, it provides foundations of key challenges such as power consumption, performance, and thermal. The book can also be used as a technical reference by professionals. - Links fundamental physics to the key challenges in computer design, including memory wall, power wall, reliability - Provides all of the background necessary to understand the physical underpinnings of key computing concepts - Covers all the major physical phenomena in computing from transistors to systems, including logic, interconnect, memory, clocking, I/O
| Author | : Robert St. Amant |
| Publisher | : Oxford University Press |
| Total Pages | : 256 |
| Release | : 2012-10-29 |
| Genre | : Computers |
| ISBN | : 0199996121 |
Computing isn't only (or even mostly) about hardware and software; it's also about the ideas behind the technology. In Computing for Ordinary Mortals, computer scientist Robert St. Amant explains this "really interesting part" of computing, introducing basic computing concepts and strategies in a way that readers without a technical background can understand and appreciate. Each of the chapters illustrates ideas from a different area of computing, and together they provide important insights into what drives the field as a whole. St. Amant starts off with an overview of basic concepts as well as a brief history of the earliest computers, and then he traces two different threads through the fabric of computing. One thread is practical, illuminating the architecture of a computer and showing how this architecture makes computation efficient. St. Amant shows us how to write down instructions so that a computer can accomplish specific tasks (programming), how the computer manages those tasks as it runs (in its operating system), and how computers can communicate with each other (over a network). The other thread is theoretical, describing how computers are, in the abstract, machines for solving problems. Some of these ideas are embedded in much of what we do as humans, and thus this discussion can also give us insight into our own daily activities, how we interact with other people, and in some cases even what's going on in our heads. St. Amant concludes with artificial intelligence, exploring the possibility that computers might eventually be capable of human-level intelligence, and human-computer interaction, showing how computers can enrich our lives--and how they fall short.
| Author | : Janet Abbate |
| Publisher | : JHU Press |
| Total Pages | : 473 |
| Release | : 2022-08-30 |
| Genre | : Technology & Engineering |
| ISBN | : 1421444380 |
Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures. Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, André Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Švelch
| Author | : William Aspray |
| Publisher | : MIT Press |
| Total Pages | : 397 |
| Release | : 1990-12-07 |
| Genre | : Computers |
| ISBN | : 0262518856 |
William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. John von Neumann (1903-1957) was unquestionably one of the most brilliant scientists of the twentieth century. He made major contributions to quantum mechanics and mathematical physics and in 1943 began a new and all-too-short career in computer science. William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. These, Aspray reveals, extended far beyond his well-known work in the design and construction of computer systems to include important scientific applications, the revival of numerical analysis, and the creation of a theory of computing.Aspray points out that from the beginning von Neumann took a wider and more theoretical view than other computer pioneers. In the now famous EDVAC report of 1945, von Neumann clearly stated the idea of a stored program that resides in the computer's memory along with the data it was to operate on. This stored program computer was described in terms of idealized neurons, highlighting the analogy between the digital computer and the human brain. Aspray describes von Neumann's development during the next decade, and almost entirely alone, of a theory of complicated information processing systems, or automata, and the introduction of themes such as learning, reliability of systems with unreliable components, self-replication, and the importance of memory and storage capacity in biological nervous systems; many of these themes remain at the heart of current investigations in parallel or neurocomputing.Aspray allows the record to speak for itself. He unravels an intricate sequence of stories generated by von Neumann's work and brings into focus the interplay of personalities centered about von Neumann. He documents the complex interactions of science, the military, and business and shows how progress in applied mathematics was intertwined with that in computers. William Aspray is Director of the Center for the History of Electrical Engineering at The Institute of Electrical and Electronics Engineers.
| Author | : Afra J. Zomorodian |
| Publisher | : Cambridge University Press |
| Total Pages | : 264 |
| Release | : 2005-01-10 |
| Genre | : Computers |
| ISBN | : 9781139442633 |
The emerging field of computational topology utilizes theory from topology and the power of computing to solve problems in diverse fields. Recent applications include computer graphics, computer-aided design (CAD), and structural biology, all of which involve understanding the intrinsic shape of some real or abstract space. A primary goal of this book is to present basic concepts from topology and Morse theory to enable a non-specialist to grasp and participate in current research in computational topology. The author gives a self-contained presentation of the mathematical concepts from a computer scientist's point of view, combining point set topology, algebraic topology, group theory, differential manifolds, and Morse theory. He also presents some recent advances in the area, including topological persistence and hierarchical Morse complexes. Throughout, the focus is on computational challenges and on presenting algorithms and data structures when appropriate.
