Daniel P.的作品
The Little Typer
评分 9.9分
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 a language, and are
The Little Schemer
评分 9.2分
《The Little Schemer：递归与函数式的奥妙》是一本久负盛名的经典之作，两位作者Daniel P. Friedman、Matthias Felleisen在程序语言界名声显赫。《The Little Schemer：递归与函数式的奥妙》介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、Partial F
The Little Prover
评分 8.9分
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with
Essentials of Programming Languages, 3rd Edition
评分 9.4分
This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express the seman
A Little Java, A Few Patterns
评分 8.4分
Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In a very short time it has become one of the most wi
The Little Schemer - 4th Edition
评分 9.3分
This delightful book leads you through the basic elements of programming in Scheme (a Lisp dialect) via a series of dialogues with well-chosen questions and exercises. Besides teaching Scheme,
The Seasoned Schemer
评分 9.2分
drawings by Duane Bibbyforeword and afterword by Guy L. Steele Jr.The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (form
Scheme and the Art of Programming
评分 9.6分
Scheme is the fast track to getting started in programming. Its clear semantics, simple syntax, and interactive environment enable the beginning student to write sophisticated programs after just two
The Little MLer
评分 8.4分
The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes,
Ivan Pavlov
评分 暂无
Pushing Electrons
评分 暂无
This brief guidebook assists you in mastering the difficult concept of pushing electrons that is vital to your success in Organic Chemistry. With an investment of only 12 to 16 hours of self-study you
Utherworlds
评分 暂无
Combines a fully-fledged novel with written and spoken languages, maps, and stunning paintings that provide layers of detail.
Neuroimmunology of Sleep
评分 暂无
This timely work reflects the growing importance of research into the nature of sleep and its medical aspects. One of the first of its kind, this work on the neuroimmunology of sleep provides an in
Aircraft Design: A Conceptual Approach
评分 暂无
Winner of the Summerfield Book Award, winner of the Aviation-Space Writers Association Award of Excellence, and with over 30,000 copies sold, this is consistently the top-selling AIAA textbook title.
深入理解LINUX内核
评分 8.9分
为了彻底理解是什么使得Linux能正常运行以及其为何能在各种不同的系统中运行良好，你需要深入研究内核最本质的部分。内核处理CPU与外界间的所有交互，并且决定哪些程序将以什么顺序共享处理器时间。它如此有效地管理有限的内存，以至成百上千的进程能高效地共享系统。它熟练地统筹数据传输，这样CPU不用为等待速度相对较慢的硬盘而消耗比正常耗时更长的时间。 《深入理解Linux内核，第三版》指导你对内核中使用的
The Reasoned Schemer
评分 8.7分
The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is
The Art of Oddworld Inhabitants
评分 暂无
The Art of Oddworld Inhabitants: The First Ten Years 1994 - 2004 is a high quality art book featuring the artistic journey of the legendary game company Oddworld Inhabitants from its first ten year
深入理解 Linux 内核
评分 暂无
为了彻底理解GNU/Linux的内部构造以及它为何能在各种系统之上工作得如此之好，那就需要你深入研究操作系统的心脏——Linux内核本身。内核处理各种请求或已完成的I/O操作，并判断哪些程序将分享它的处理时间，会以什么顺序分享。Linux内核肩负着全面管理整个系统的职责，是神奇的Linux高效之根源。 本书将引导你畅游Linux内核中使用的最主要的数据结构、算法和编程技巧，讨论了
Essentials of Programming Languages
评分 暂无
Methods in Medical Ethics
评分 暂无
趣说金融科技：挑战华尔街并推进金融变革
评分 暂无
科技给银行业和金融业带来了翻天覆地的变化，企业、投资者和消费者都在努力应对。 本书讲述了金融科技行业的主要参与者的创业创新故事，以及技术背后的硅谷思维。例如摩擦、享乐适应和去中介化，是如何对银行和金融业产生巨大影响的。 了解金融科技正在解决的行业痛点，掌握发现下一波金融科技颠覆将带来的机会所需的知识。 【美】丹尼尔·P.西蒙（Da