/ Sök
Filter
Matthias felleisen
  • Pocket  (4)
  • E-bok  (5)
  • Häftad  (2)
  • Klotband  (2)
  • Mit press  (7)
  • The mit press  (2)
  • No starch press  (1)
  • No starch press,us  (1)
  • Springer berlin heidelberg  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (1)
  • The mit press  (4)
  • How to design programs  (1)
  • Programming and software engineering  (1)
  • The little prover  (1)

Sökt på: Böcker av Matthias Felleisen

Filter
Matthias felleisen
  • Pocket  (4)
  • E-bok  (5)
  • Häftad  (2)
  • Klotband  (2)
  • Mit press  (7)
  • The mit press  (2)
  • No starch press  (1)
  • No starch press,us  (1)
  • Springer berlin heidelberg  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (1)
  • The mit press  (4)
  • How to design programs  (1)
  • Programming and software engineering  (1)
  • The little prover  (1)

totalt 13 träffar

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
495 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
525 kr
Seasoned Schemer

Seasoned Schemer

av Daniel P. Friedman , Matthias Felleisen , Guy L. Steele Jr.
E-bok, 1995, Engelska, ISBN 9780262287883

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

E-bok
Laddas ned direkt
1009 kr
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex

av Matthias Felleisen , Robert Bruce Findler , Matthew Flatt
klotband, 2009, Engelska, ISBN 9780262062756

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 …

klotband
848 kr
How to Design Programs, second edition

How to Design Programs, second edition

av Matthias Felleisen , Shriram Krishnamurthi , Robert Bruce Findler m.fl.
E-bok, 2018, Engelska, ISBN 9780262344128

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 …

E-bok
Laddas ned direkt
801 kr
How to Design Programs

How to Design Programs

av Felleisen Matthias , Findler Robert Bruce , Flatt Matthew m.fl.
klotband, 2001, Engelska, ISBN 9780262062183

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 …

klotband
Tillfälligt slut
1150 kr
Bevaka Du bevakar denna Till bevakningar
Little Prover

Little Prover

av Carl Eastlund , Daniel P. Friedman , 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
1188 kr
Programming Languages and Systems

Programming Languages and Systems

häftad, 2013, Engelska, ISBN 9783642370359

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of …

häftad
689 kr
Realm of Racket

Realm of Racket

av Conrad Barski , David Van Horn , Matthias Felleisen
E-bok, 2013, Engelska, ISBN 9781593274924

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, …

E-bok
Laddas ned direkt
390 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
465 kr
Realm Of Racket

Realm Of Racket

av Matthias Felleisen
häftad, 2013, Engelska, ISBN 9781593274917

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, …

häftad
Tillfälligt slut
461 kr
Bevaka Du bevakar denna Till bevakningar
Programming Languages and Systems

Programming Languages and Systems

E-bok, 2013, Engelska, ISBN 9783642370366

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of …

E-bok
Laddas ned direkt
787 kr
Visa fler Laddar fler produkter
The Little Schemer
pocket
The Little Schemer
495 kr
The Seasoned Schemer
pocket
The Seasoned Schemer
525 kr
Seasoned Schemer
E-bok
Seasoned Schemer
1009 kr
Semantics Engineering with PLT Redex
klotband
Semantics Engineering with PLT Redex
848 kr
How to Design Programs, second edition
E-bok
How to Design Programs, second edition
801 kr
How to Design Programs
klotband
How to Design Programs
1150 kr
Bevaka Du bevakar denna Till bevakningar
Little Prover
E-bok
Little Prover
1188 kr
Programming Languages and Systems
häftad
Programming Languages and Systems
689 kr
Realm of Racket
E-bok
Realm of Racket
390 kr
The Little Prover
pocket
The Little Prover
465 kr
Realm Of Racket
häftad
Realm Of Racket
461 kr
Bevaka Du bevakar denna Till bevakningar
Programming Languages and Systems
E-bok
Programming Languages and Systems
787 kr
Visa fler Laddar fler produkter