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
- -
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
- -
The principles of switching circuits
Includes index.Switching theory is concerned with the development of models and techniques for the analysis and synthesis of those circuits in which information is represented in discrete or digital form, as opposed to the analog form in which information is represented in a continuous manner. The application of digital techniques over a wider range of human activities has already profoundly af…
- Edition
- -
- ISBN/ISSN
- 9780262310871
- Collation
- 1 online resource (xiii, 329 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
- -
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
- -
The rise of political economy as a science :methodology and the classical eco…
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0585025568
- Collation
- 1 online resource (xviii, 471 pages)
- Series Title
- -
- Call Number
- -
Retooling :a historian confronts technological change
A humanistic account of the changing role of technology in society, by a historian and a former Dean of Students and Undergraduate Education at MIT.When Warren Kendall Lewis left Spring Garden Farm in Delaware in 1901 to enter MIT, he had no idea that he was becoming part of a profession that would bring untold good to his country but would also contribute to the death of his family's farm. In …
- Edition
- -
- ISBN/ISSN
- 9780262286299
- Collation
- 1 online resource (xv, 252 pages)
- Series Title
- -
- Call Number
- -
Requiem for communism
The first survey of the recent requiems for communism by European writers and artists.In Requiem for Communism Charity Scribner examines the politics of memory in postindustrial literature and art. Writers and artists from Europe's second world have responded to the last socialist crisis with works that range from sober description to melancholic fixation. This book is the first survey of this …
- Edition
- -
- ISBN/ISSN
- 9780262283335
- Collation
- 1 online resource (xii, 245 pages) :illustrations
- Series Title
- -
- Call Number
- -
The science of the mind
"A Bradford book."Consciousness emerges as the key topic in this second edition of Owen Flanagan's popular introduction to cognitive science and the philosophy of psychology. in a new chapter Flanagan develops a neurophilosophical theory of subjective mental life. He brings recent developments in the theory of neuronal group selection and connectionism to bear on the problems of the evolution o…
- Edition
- 2nd ed., rev. and expanded.
- ISBN/ISSN
- 0585023468
- Collation
- 1 online resource (xiv, 424 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