Sökt på: Böcker av Daniel P. Friedman
totalt 13 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 …
Seasoned Schemer
The notion that "e;thinking about computing is one of the most exciting things the human mind can do"e; sets both The Little Schemer (formerly known as The Little LISPer) …
Reasoned Schemer, second edition
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 …
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 …
The Little Learner
A highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style. The Little Learner introduces deep learning from the bottom up, …
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 …
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 …
Essentials of Programming Languages, third edition
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 …
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 …
A History of Arthurian Scholarship
A survey of critical attention devoted to Arthurian matters. This book offers the first comprehensive and analytical account of the development of Arthurian scholarship from the …
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 …
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 …