Filter by
Self-stabilization
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058523986X
- Collation
- 1 online resource (197 pages) :illustrations
- Series Title
- -
- Call Number
- -
The second self :computers and the human spirit
In The Second Self, Sherry Turkle looks at the computer not as a "tool," but as part of our social and psychological lives; she looks beyond how we use computer games and spreadsheets to explore how the computer affects our awareness of ourselves, of one another, and of our relationship with the world. "Technology," she writes, "catalyzes changes not only in what we do but in how we think." Fir…
- Edition
- 20th anniversary ed., 1st MIT Press ed.
- ISBN/ISSN
- 9780262257107
- Collation
- 1 online resource (xi, 372 pages)
- Series Title
- -
- Call Number
- -
The seasoned Schemer
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer ) and its new companion volume, The Seasoned Schemer , apart from other books on LISP. The authors' enthusiasm for their subject is compelling as they present abstract concepts in a humorous and easy-to-grasp fashion. Together, the…
- Edition
- Second edition
- ISBN/ISSN
- 9780262287883
- Collation
- 1 online resource (224 pages).
- Series Title
- -
- Call Number
- -
Scalable input/output :achieving system balance
As we enter the "decade of data," the disparity between the vast amount of data storage capacity (measurable in terabytes and petabytes) and the bandwidth available for accessing it has created an input/output bottleneck that is proving to be a major constraint on the effective use of scientific data for research. Scalable Input/Output is a summary of the major research results of the Scalable …
- Edition
- -
- ISBN/ISSN
- 9780262287869
- Collation
- 1 online resource (xv, 274 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Rethinking public key infrastructures and digital certificates :building in p…
Title from title screen.Includes index.Stefan Brands proposes cryptographic building blocks for the design of digital certificates that preserve privacy without sacrificing security.As paper-based communication and transaction mechanisms are replaced by automated ones, traditional forms of security such as photographs and handwritten signatures are becoming outdated. Most security experts belie…
- Edition
- -
- ISBN/ISSN
- 9780262269131
- Collation
- 1 online resource (xxi, 314 pages)
- Series Title
- -
- Call Number
- -
Research directions in concurrent object-oriented programming
This collection of original research provides a comprehensive survey of developments at the leading edge of concurrent object-oriented programming. It documents progress -- from general concepts to specific descriptions -- in programming language design, semantic tools, systems, architectures, and applications. Chapters are written at a tutorial level and are accessible to a wide audience, incl…
- Edition
- -
- ISBN/ISSN
- 0262297000
- Collation
- 1 online resource (xii, 532 pages) :illustrations
- Series Title
- -
- Call Number
- -
Representation and reality
"A Bradford book."Hilary Putnam, who may have been the first philosopher to advance the notion that the computer is an apt model for the mind, takes a radically new view of his own theory of functionalism in this book. Putnam argues that in fact the computational analogy cannot answer the important questions about the nature of such mental states as belief, reasoning, rationality, and knowledge…
- Edition
- -
- ISBN/ISSN
- 0585021228
- Collation
- 1 online resource (xv, 136 pages).
- Series Title
- -
- Call Number
- -
Reasoning about rational agents
One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book…
- Edition
- -
- ISBN/ISSN
- 9780262257237
- Collation
- 1 online resource (xi, 227 pages).
- Series Title
- -
- Call Number
- -
The reasoned schemer
Includes index."The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs - thereby combining the benefits of bot…
- Edition
- -
- ISBN/ISSN
- 0262256177
- Collation
- 1 online resource (x, 169 pages) :illustrations
- Series Title
- -
- Call Number
- -
Software ecosystem :understanding an indispensable technology and industry
Software has gone from obscurity to indispensability in less than fifty years. Although other industries have followed a similar trajectory, software and its supporting industry are different. In this book the authors explain, from a variety of perspectives, how software and the software industry are different--technologically, organizationally, and socially. The growing importance of software …
- Edition
- -
- ISBN/ISSN
- 9780262256667
- Collation
- 1 online resource (xiv, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography