Filter by
Augmented learning :research and design of mobile educational games
New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with teachers and pupils alike. Klopfer here describes the largely untapped potential of mobile learning games to make a substantial impact on education.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262277297
- Collation
- 1 online resource (xvii, 251 pages) :illustrations
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Beowulf cluster computing with Linux
Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming the platform for many scientific, engineering, and commercial applications. With growing popularity has come growing complexity. Addressing that complexity, Beowulf Cluster Computing with Linux and Beowulf Cluster Computing with Windows provide syst…
- Edition
- -
- ISBN/ISSN
- 9780262286770
- Collation
- 1 online resource (xxxiii, 496 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Computer age :a twenty-year view
Gathered from twenty leading authorities in computer science, the chapters of The Computer Age range across a broad spectrum of topics -- from technological trends and needs to social questions, such as the changing economics of information, ownership principles, regulation, the range of potential computer uses, from science and business to the home.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256002
- Collation
- 1 online resource (xvi, 491 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Knowledge-based neurocomputing
Looking at ways to encode prior knowledge and to extract, refine, and revise knowledge within a neurocomputing system.Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems…
- Edition
- -
- ISBN/ISSN
- 9780262270496
- Collation
- 1 online resource (xiv, 486 pages) :illustrations
- Series Title
- -
- Call Number
- -
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Massively parallel processor
The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reach the speeds necessary to meet the challenge of future complex scientific and commercial applications. This collection of articles documents the design of one such computer, a single instruction mu…
- Edition
- -
- ISBN/ISSN
- 0262256827
- Collation
- 1 online resource (vii, 304 pages, 1 unnumbered leaf of plates) :illustrations.
- Series Title
- -
- Call Number
- -
The Microelectronics revolution :the complete guide to the new technology and…
"The Microelectronics Revolution is a comprehensive guide to the silicon chip revolution and its impact on society. The distinguished contributors to this volume explain in turn the origins and nature of microelectronics, the characteristics of the burgeoning microchip industry and the increasing use of microprocessors in everyday products.The book details the impact of this new technology on s…
- Edition
- -
- ISBN/ISSN
- 0262256169
- Collation
- 1 online resource (xvii, 589 pages) :illustrations
- Series Title
- -
- Call Number
- -
Metamodeling :a study of approximations in queueing models
"In recent years, many approximate methods have been developed for analyzing queueing models of complex computer systems. These ad hoc methods usually focus on specific aspects of system operation, and appear to be different from one another, making it difficult to see the underlying principles of model development, to understand the relationship between different models of the same system, or …
- Edition
- -
- ISBN/ISSN
- 9780262255561
- Collation
- 1 online resource (x, 262 pages) :illustrations.
- Series Title
- -
- Call Number
- -
PVM--parallel virtual machine :a users' guide and tutorial for networked para…
Written by the team that developed the software, this tutorial is the definitive resource for scientists, engineers, and other computer users who want to use PVM to increase the flexibility and power of their high-performance computing resources.Written by the team that developed the software, this tutorial is the definitive resource for scientists, engineers, and other computer users who want …
- Edition
- -
- ISBN/ISSN
- 0585309604
- Collation
- 1 online resource (xvii, 279 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