/ Sök
Filter
Daniel p. friedman
  • Pocket  (6)
  • Häftad  (1)
  • E-bok  (9)
  • Klotband  (2)
  • Månadens nyheter  (2)
  • Vårens nyheter  (2)
  • 2023  (2)
  • <2021  (16)
  • Mit press  (12)
  • Mit press ltd  (1)
  • The mit press  (4)
  • D.s. brewer  (1)
  • The mit press  (5)
  • The little prover  (1)
  • Arthurian studies  (1)
  • The reasoned schemer  (1)

Sökt på: Böcker av daniel p. friedman

Filter
Daniel p. friedman
  • Pocket  (6)
  • Häftad  (1)
  • E-bok  (9)
  • Klotband  (2)
  • Månadens nyheter  (2)
  • Vårens nyheter  (2)
  • 2023  (2)
  • <2021  (16)
  • Mit press  (12)
  • Mit press ltd  (1)
  • The mit press  (4)
  • D.s. brewer  (1)
  • The mit press  (5)
  • The little prover  (1)
  • Arthurian studies  (1)
  • The reasoned schemer  (1)

totalt 18 träffar

The Little Learner

The Little Learner

av Daniel P. Friedman , Anurag Mendhekar
häftad, 2023, Engelska, ISBN 9780262546379

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, …

häftad
864 kr
The Seasoned Schemer

The Seasoned Schemer

av Daniel P. Friedman , Matthias Felleisen , Guy Lewis Steele Jr.
pocket, 1995, Engelska, ISBN 9780262561006

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 …

pocket
467 kr
The Little Schemer

The Little Schemer

av Daniel P. Friedman , Matthias Felleisen
pocket, 1995, Engelska, ISBN 9780262560993

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 …

pocket
462 kr
The Little Prover

The Little Prover

av Daniel P. Friedman , Carl Eastlund , J Strother Moore m.fl.
pocket, 2015, Engelska, ISBN 9780262527958

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 …

pocket
688 kr
The Little Typer

The Little Typer

av Daniel P. Friedman , David Thrane Christiansen , Robert Harper m.fl.
pocket, 2018, Engelska, ISBN 9780262536431

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 …

pocket
613 kr
A History of Arthurian Scholarship

A History of Arthurian Scholarship

klotband, 2006, Engelska, ISBN 9781843840695

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 …

klotband
872 kr
Essentials of Programming Languages

Essentials of Programming Languages

av Daniel P. Friedman , Mitchell Wand
klotband, 2008, Engelska, ISBN 9780262062794

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 …

klotband
948 kr
Essentials of Programming Languages

Essentials of Programming Languages

av Mitchell Wand , Daniel P. Friedman
E-bok, 2008, Engelska, ISBN 9780262273275

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 …

E-bok
Laddas ned direkt
1861 kr
Little Prover

Little Prover

av Daniel P. Friedman , Carl Eastlund , Matthias Felleisen m.fl.
E-bok, 2015, Engelska, ISBN 9780262330565

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 …

E-bok
Laddas ned direkt
871 kr
Little Prover

Little Prover

av Carl Eastlund , Daniel P. Friedman
E-bok, 2015, Engelska, ISBN 9780262330572

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 …

E-bok
Laddas ned direkt
580 kr
The Reasoned Schemer

The Reasoned Schemer

av Daniel P. Friedman , William E. Byrd , Oleg Kiselyov m.fl.
pocket, 2018, Engelska, ISBN 9780262535519

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 …

pocket
Tillfälligt slut
411 kr
Bevaka Du bevakar denna Till bevakningar
Little Learner

Little Learner

av Anurag Mendhekar , Daniel P. Friedman , Jr. Guy L. Steele m.fl.
E-bok, 2023, Engelska, ISBN 9780262375948
E-bok
Laddas ned direkt
836 kr
Visa fler Laddar fler produkter
The Little Learner
häftad
The Little Learner
864 kr
The Seasoned Schemer
pocket
The Seasoned Schemer
467 kr
The Little Schemer
pocket
The Little Schemer
462 kr
The Little Prover
pocket
The Little Prover
688 kr
The Little Typer
pocket
The Little Typer
613 kr
A History of Arthurian Scholarship
klotband
A History of Arthurian Scholarship
872 kr
Essentials of Programming Languages
klotband
Essentials of Programming Languages
948 kr
Essentials of Programming Languages
E-bok
Essentials of Programming Languages
1861 kr
Little Prover
E-bok
Little Prover
871 kr
Little Prover
E-bok
Little Prover
580 kr
The Reasoned Schemer
pocket
The Reasoned Schemer
411 kr
Bevaka Du bevakar denna Till bevakningar
Little Learner
E-bok
Little Learner
836 kr
Visa fler Laddar fler produkter