Sökt på: Sökresultat
totalt 27 träffar
Probabilistic Graphical Models
A general framework for constructing and using probabilistic models of complex systems that would enable a computer to use available information for making decisions.Most tasks …
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 Reasoned Schemer
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal …
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 …
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 …
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 …
Offshoring of American Jobs
Two leading economists discuss a range of issues relating to the “offshoring” of American jobs, from free trade to unemployment levels.It is no surprise that many fearful American …
Reforming U.S. Financial Markets
Two top economists outline distinctive approaches to post-crisis financial reform.Over the last few years, the financial sector has experienced its worst crisis since the 1930s. …
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 …
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 …
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 …