Filter by
Proof, language, and interaction :essays in honour of Robin Milner
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.…
- Edition
- -
- ISBN/ISSN
- 0585388903
- Collation
- 1 online resource (xiv, 722 pages) :illustrations.
- Series Title
- -
- Call Number
- -
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
- -
Self-stabilization
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058523986X
- Collation
- 1 online resource (197 pages) :illustrations
- Series Title
- -
- Call Number
- -
Seeing double :shared identities in physics, philosophy, and literature
"The separateness and connection of individuals is perhaps the central question of human life: What, exactly, is my individuality? To what degree is it unique? To what degree can it be shared, and how? To the many philosophical and literary speculations about these topics over time, modern science has added the curious twist of quantum theory, which requires that the elementary particles of whi…
- Edition
- -
- ISBN/ISSN
- 9780262281492
- Collation
- 1 online resource (184 pages) :illustrations
- Series Title
- -
- Call Number
- -
Seeing and visualizing :it's not what you think
"In Seeing and Visualizing Zenon Pylyshyn argues that seeing is different from thinking and that to see is not, as it may seem intuitively, to create an inner replica of the world. Pylyshyn examines how we see and how we visualize and why the scientific account does not align with the way these processes seem to us "from the inside." In doing so, he addresses issues in vision science, cognitive…
- Edition
- -
- ISBN/ISSN
- 9780262316316
- Collation
- 1 online resource (xviii, 563 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Scientific discovery :computational explorations of the creative processes
Includes indexes.Pat Langley is an Associate Professor in the Department of Information and Computer Science at the University of California, Irvine. Herbert Simon is a Professor in the Departments of Psychology, Computer Science, and Philosophy at Carnegie-Mellon University. Gary L. Bradshaw is an Assistant Professor in the Department of Psychology and Institute of Cognitive Science at the Uni…
- Edition
- -
- ISBN/ISSN
- 9780262316002
- Collation
- 1 online resource (357 pages)
- Series Title
- -
- Call Number
- -
Science serialized :representation of the sciences in nineteenth-century peri…
Essays examining the ways in which the Victorian periodical press presented the scientific developments of the time to general and specialized audiences.Nineteenth-century Britain saw an explosion of periodical literature, with the publication of over 100,000 different magazines and newspapers for a growing market of eager readers. The Victorian periodical press became an important medium for t…
- Edition
- -
- ISBN/ISSN
- 9780262269827
- Collation
- 1 online resource (vi, 358 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Schools for thought :a science of learning in the classroom
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262269384
- Collation
- 1 online resource (x, 324 pages) :illustrations
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography