Mechanizing proof :

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…

Media and sovereignty :

Media have been central to government efforts to reinforce sovereignty and define national identity, but globalization is fundamentally altering media practices, institutions, and content. More than the activities of large conglomerates, globalization entails competition among states as well as private entities to dominate the world's consciousness. Changes in formal and informal rules, in addi…

Megalopolis :

Edition

-

ISBN/ISSN

9780262367936

Collation

-

Series Title

-

Call Number

-

Memory systems 1994

Edition

-

ISBN/ISSN

9780262283052

Collation

-

Series Title

-

Call Number

-

Mental leaps :

Edition

-

ISBN/ISSN

9780262275620

Collation

-

Series Title

-

Call Number

-

Mental reality

Edition

-

ISBN/ISSN

9780262691833

Collation

-

Series Title

-

Call Number

-

Meta/data

This rich collection of writings by pioneering digital artist Mark Amerika mixes (and remixes) personal memoir, net art theory, fictional narrative, satirical reportage, scholarly history, and network-infused language art. META/DATA is a playful, improvisatory, multitrack "digital sampling" of Amerika's writing from 1993 to 2005 that tells the early history of a net art world "gone wild" while …

Metacognition: Knowing about Knowing

Edition

-

ISBN/ISSN

9780262279697

Collation

-

Series Title

-

Call Number

-

Metadyne statics

"The theory, design, and applications of a class of electrical machines, the metadyne, written by the man who first defined these devices and recognized their potentialities."

Metamodeling :

"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 …