Filter by
Programming with constraints :an introduction
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
A Programmer's Guide to ZPL.
This guide illustrates typical ZPL usage and explains in an intuitive manner how the constructs work. The emphasis is on teaching the reader to be a ZPL programmer. Scientific computations are used as examples throughout.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262287739
- Collation
- 1 online resource (172 pages).
- 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
- -
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
- -
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
- -
The semiotic engineering of human-computer interaction
A theory of HCI that uses concepts from semiotics and computer science to focus on the communication between designers and users during interaction.In The Semiotic Engineering of Human-Computer Interaction, Clarisse Sieckenius de Souza proposes an account of HCI that draws on concepts from semiotics and computer science to investigate the relationship between user and designer. Semiotics is the…
- Edition
- -
- ISBN/ISSN
- 9780262271363
- Collation
- 1 online resource (xxi, 283 pages) :illustrations.
- 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
- -
Self-stabilization
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058523986X
- Collation
- 1 online resource (197 pages) :illustrations
- 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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography