Søkt på: Søkeresultat
totalt 14 treff
How to Design Programs
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed …
The Little Schemer
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …
The Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …
The Seasoned Schemer
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …
Robot Sex
Perspectives from philosophy, psychology religious studies, economics, and law on the possible future of robot-human sexual relationships.Sexbots are coming. Given the pace of …
Semantics Engineering with PLT Redex
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of …
Dataset Shift in Machine Learning
An overview of recent efforts in the machine learning community to deal with dataset and covariate shift, which occurs when test and training inputs and outputs have different …
China's Vanishing Worlds
Photographs and text document disappearing cultural landscapes and lifestyles in rural China, capturing poignant scenes far from Beijing or Shanghai.Just a few kilometers from the …
How to Design Programs
This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This …
How to Design Programs, second edition
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed …
The Second Century
As the auto industry moves into its second century, it suffers from low margins and a sclerotic value chain that cannot evolve with customer desires. Inventories of many weeks pile …