熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 10 筆, 頁數 1 / 1
呈現:
Semantics Engineering With PLT Redex
The first comprehensive presentation of reduction semantics in one volume, and the first tool set fo... more |
|||
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Pra
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2... more |
|||
The Little Schemer
The notion that "thinking about computing is one of the most exciting things the human mind can do" ... more |
|||
How to Design Programs: An Introduction to Programming and Computing
A completely revised edition, offering new design recipes for interactive programs and support for i... more |
|||
The Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-ans... more |
|||
Realm of Racket: Learn to Program, One Game at a Time!
Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challen... more |
|||
How to Design Programs: An Introduction to Programming and Computing
|
|||
A Little Java, a Few Patterns
|
|||
The Little Mler
most sophisticated and expressive module system currently available.Felleisen and Friedman are well known for gently...... more |
|||
The Seasoned Schemer
The notion that "thinking about computing is one of the most exciting things the human mind can do" ... more |