Sökt på: Sökresultat
totalt 9 träffar
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 Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
Essentials of Programming Languages
A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new …
Value Sensitive Design
Using our moral and technical imaginations to create responsible innovations: theory, method, and applications for value sensitive design.Implantable medical devices and human …
Eating Architecture
A highly original collection of essays that explore the relationship between food and architecture-the preparation of meals and the production of space.The contributors to this …
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 …
The Reasoned Schemer
Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.The goal of …
Lives of the Laureates
Autobiographical accounts by Nobel laureates reflect the richness and diversity of contemporary economic thought and offer insights into the creative process.Lives of the Laureates …
Lives of the Laureates
Autobiographical accounts by Nobel laureates reflect the richness and diversity of contemporary economic thought and offer insights into the creative process; with six new …