Filter by
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edition
- -
- ISBN/ISSN
- 9780262291453
- Collation
- 1 online resource (xviii, 361 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Perceptrons :an introduction to computational geometry
"Reissue of the 1988 Expanded Edition with a new foreword by L?eon Bottou."The first systematic study of parallelism in computation by two pioneers in the field.Reissue of the 1988 Expanded Edition with a new foreword by Leon BottouIn 1969, ten years after the discovery of the perceptron--which showed that a machine could be taught to perform certain tasks using examples--Marvin Minsky and Seym…
- Edition
- [2017 edition].
- ISBN/ISSN
- 9780262343930
- Collation
- 1 online resource (xxiii, 292 pages) :illustrations
- Series Title
- -
- Call Number
- -
Embodied computing :wearables, implantables, embeddables, ingestibles
"Embodied technologies such as wearable tracking bracelets, ingestible sensors, embeddable prosthetics, and implantable microchips all stand to redefine the human experience and what it means to speak of technology and the body. No longer the speculative stuff of science fiction, embodied technologies have arrived and are being developed by a variety of industries at an alarming rate. Embodied …
- Edition
- -
- ISBN/ISSN
- 0262357798
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
New Digital Media and Learning as an Emerging Area and "Worked Examples" as O…
A proposal to move the academic area of digital media and learning toward more coherence. In this report, noted scholar James Paul Gee discusses the evolution of digital media and learning (DMAL) from its infancy as an “academic area” into a more organized field or coherent discipline. Distinguishing among academic areas, fields, disciplinary specializations, and thematic disciplines, Gee d…
- Edition
- -
- ISBN/ISSN
- 9780262513692
- Collation
- 92 halaman
- Series Title
- -
- Call Number
- 302 GEE n
HAL's legacy : 2001's computer as dream and reality
I became operational... in Urbana, Illinois, on January 12, 1997. Inspired by HAL's self-proclaimed birth date, HAL's Legacy reflects upon science fiction's most famous computer and explores the relationship between science fantasy and technological fact. The informative, nontechnical chapters written especially for this book describe many of the areas of computer science critical to the des…
- Edition
- -
- ISBN/ISSN
- 9780262284455
- Collation
- 1 online resource (xxi, 384 pages) : illustrations (some color)
- Series Title
- -
- Call Number
- 001 HAL
The government machine :a revolutionary history of the computer
"In The Government Machine Jon Agar traces the mechanization of government work in the United Kingdom from the nineteenth to the early twenty-first century. He argues that this transformation has been tied to the rise of "expert movements," groups whose authority has rested on their expertise. The deployment of machines was an attempt to gain control over state action - a revolutionary move.Aga…
- Edition
- -
- ISBN/ISSN
- 9780262266857
- Collation
- 1 online resource (viii, 554 pages) : illustrations
- Series Title
- History of Computing
- Call Number
- -
Howard Aiken : portrait of a computer pioneer
"Howard Hathaway Aiken (1900-1973) was a major figure of the early digital era. He is best known for his first machine, the IBM Automatic Sequence Controlled Calculator or Harvard Mark I, conceived in 1937 and put into operation in 1944. But he also made significant contributions to the development of applications for the new machines and to the creation of a university curriculum for computer …
- Edition
- -
- ISBN/ISSN
- 9780262270533
- Collation
- 1 online resource (xx, 329 pages) : illustrations.
- Series Title
- History Of Computing
- Call Number
- 005 COH h
Humour the computer
You don't have to have a degree in computer science to enjoy this unique collection of funny stories, parodies, laughable true-life incidents, comic song lyrics, and jokey poems from the world of computing. Humour the Computer brings together a selection of some of the best computer-related, humorous material culled from a variety of sources: news groups and FTP sites on the Internet, The New Y…
- Edition
- -
- ISBN/ISSN
- 9780262291101
- Collation
- 1 online resource (xvi, 226 pages) : illustrations
- Series Title
- -
- Call Number
- 001 DAV h
Molecular computing
The next great change in computer science and information technology will come from mimicking the techniques by which biological organisms process information. To do this computer scientists must draw on expertise in subjects not usually associated with their field, including organic chemistry, molecular biology, bioengineering, and smart materials. This book provides an introduction to the int…
- Edition
- -
- ISBN/ISSN
- 9780262283632
- Collation
- 1 online resource (xvii, 257 pages) :illustrations
- Series Title
- -
- Call Number
- -
Moths to the flame :the seductions of computer technology
"For two decades now I've been awaiting a book explaining computers and their social consequences to literate readers without using any unnecessary jargon or pedantry—or math. I wanted such a book to lend to all those friends who've pestered me about computers and to all the computer science students who've asked me about computers over the years. I particularly wanted a book that I could buy…
- Edition
- -
- ISBN/ISSN
- 9780262282116
- Collation
- 1 online resource (x, 184 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