Filter by
Generating language-based environments
"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…
- Edition
- -
- ISBN/ISSN
- 0262256851
- Collation
- 1 online resource (138 pages)
- Series Title
- -
- Call Number
- 005 REP g
Genetic programming 1996 : Proceedings of the First Annual Conference, July 2…
Genetic programming is a domain-independent method for automatic programming that evolves computer programs that solve, or approximately solve, problems. Starting with a primordial ooze of thousands of randomly created computer programs composed of functions and terminals appropriate to a problem, a population of programs is progressively evolved over many generations using the Darwinian princi…
- Edition
- -
- ISBN/ISSN
- 9780262315876
- Collation
- 1 online resource (xviii, 568 pages) : illustrations.
- Series Title
- -
- Call Number
- 005 GEN
The geometry of multiple images : the laws that govern the formation of multi…
This book formalizes and analyzes the relations between multiple views of a scene from the perspective of various types of geometries. A key feature is that it considers Euclidean and affine geometries as special cases of projective geometry.Over the last forty years, researchers have made great strides in elucidating the laws of image formation, processing, and understanding by animals, humans…
- Edition
- -
- ISBN/ISSN
- 9780262272513
- Collation
- 1 online resource (xxiv, 644 pages) :illustrations
- Series Title
- -
- Call Number
- 006 FAU g
Computability: Turing, Gödel, Church, and Beyond
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic …
- Edition
- -
- ISBN/ISSN
- 9780262312677
- Collation
- -
- Series Title
- -
- Call Number
- 004 COM
The Inner History of Devices
"For more than two decades, in such landmark studies as The Second Self and Life on the Screen, Sherry Turkle has challenged our collective imagination with her insights about how technology enters our private worlds. In The Inner History of Devices, she describes her process, an approach that reveals how what we make is woven into our ways of seeing ourselves. She brings together three traditi…
- Edition
- -
- ISBN/ISSN
- 9780262285247
- Collation
- 1 online resource (x, 208 pages)
- Series Title
- -
- Call Number
- -
Global networks : computers and international communication
Global Networks takes up the host of issues raised by the new networking technology that now links individuals, groups, and organizations in different countries and on different continents. The twenty-one contributions focus on the implementation, application, and impact of computer-mediated communication in a global context. Previously limited to scientific research, global networks now have a…
- Edition
- -
- ISBN/ISSN
- 0585020361
- Collation
- 1 online resource (xii, 411 pages) :illustrations
- Series Title
- -
- Call Number
- 005 GLO
At Your Service: Service-Oriented Computing from an EU Perspective
Presents results of collaborative research projects of the European Community's Information Society Technologies Programme about service-oriented computing.Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented comp…
- Edition
- -
- ISBN/ISSN
- 9780262255080
- Collation
- 1 online resource (xii, 564 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Engineering Play: A Cultural History of Children's Software
How the influential industry that produced such popular games as Oregon Trail and KidPix emerged from experimental efforts to use computers as tools in child-centered learning.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258913
- Collation
- 1 online resource (xii, 234 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computing :a concise history
The history of computing could be told as the story of hardware and software, or the story of the Internet, or the story of "smart" hand-held devices, with subplots involving IBM, Microsoft, Apple, Facebook and Twitter. In this account of the invention and development of digital technology, the author, a computer historian offers a broader and more useful perspective. He identifies four major t…
- Edition
- -
- ISBN/ISSN
- 9780262310383
- Collation
- 1 online resource (xvi, 199 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Spreadsheet implementation technology: Basics and extensions
"Spreadsheets are used daily by millions of people for tasks that range from organizing a list of addresses to carrying out complex economic simulations. Spreadsheet programs are easy to learn and convenient to use because they have a clear visual model and a simple efficient underlying computational model. Yet although the basic spreadsheet model could be extended, improved, or otherwise exper…
- Edition
- -
- ISBN/ISSN
- 0262326531
- Collation
- 1 online resource (xiii, 310 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