This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.OCLC-licensed vendor bibliographic record.
"In Street-Fighting Mathematics, Sanjoy Mahajan builds, sharpens, and demonstrates tools for educated guessing and down-and-dirty, opportunistic problem solving across diverse fields of knowledge - from mathematics to management. Mahajan describes six tools: dimensional analysis, easy cases, lumping, picture proofs, successive approximation, and reasoning by analogy. Illustrating each tool with…
Top economists examine one of the key forces in globalization from a wide range of theoretical and empirical perspectives.OCLC-licensed vendor bibliographic record.
AnnotationOCLC-licensed vendor bibliographic record.
"A Bradford book."Problems in linking representation and perceived things in the world are discussed in light of the role played by a preconceptual indexing mechanism that functions to identify, reidentify, and track objects.OCLC-licensed vendor bibliographic record.
Examines the export of hazardous wastes to poor communities of color around the world and charts the global social movements that challenge them.OCLC-licensed vendor bibliographic record.
Should the choice to engage in a faculty-student romance be protected or precluded? An argument that the right to choose a romantic partner is a fundamental right of conscience, protected by the U.S Constitution.Allen Ginsberg once declared that "the best teaching is done in bed," but most university administrators would presumably disagree. Many universities prohibit romantic relationships bet…
"Biomedical signal analysis has become one of the most important visualization and interpretation methods in biology and medicine. Many new and powerful instruments for detecting, storing, transmitting, analyzing, and displaying images have been developed in recent years, allowing scientists and physicians to obtain quantitative measurements to support scientific hypotheses and medical diagnose…
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
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…