aNobii: News from [person name]'s shelf

The Haskell School of Expression

Sat, 23 Jul 2011 19:33:35 PST

[person name] put "[title]" onto shelf

Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional lang ...

Lambda-Calculus and Combinators

Sat, 23 Jul 2011 19:30:34 PST

[person name] put "[title]" onto shelf

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same ...

Elements of Functional Programming

Sun, 8 May 2011 16:45:43 PST

[person name] put "[title]" onto shelf

This book gives a lucid and thorough account of the concepts and techniques used in modern functional programming languages. Standard ML is used for notation, but the examples can be easily adapted to other functional languages. The book is aimed at advanced undergraduate or graduate level students who are familiar with another high-level language and discrete mathematics. It will also be invalu ...

Introduction to Automata Theory, Languages and Computation

Sun, 8 May 2011 16:45:10 PST

[person name] put "[title]" onto shelf

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. T ...

Computational Semantics with Functional Programming

Sun, 8 May 2011 16:44:24 PST

[person name] put "[title]" onto shelf

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the f ...

Semantics with Applications

Sun, 8 May 2011 16:44:20 PST

[person name] put "[title]" onto shelf

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application ...

Automated Planning

Sun, 8 May 2011 16:42:24 PST

[person name] put "[title]" onto shelf

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance ...

Automata and Computability

Sun, 8 May 2011 16:40:25 PST

[person name] put "[title]" onto shelf

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machin ...

Introduction to Functional Programming

Sun, 8 May 2011 16:31:14 PST

[person name] put "[title]" onto shelf

The Haskell Road To Logic, Maths And Programming

Sun, 8 May 2011 16:30:30 PST

[person name] put "[title]" onto shelf

How to Prove It

Sun, 8 May 2011 16:29:46 PST

[person name] put "[title]" onto shelf

This new edition of Dan Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

Logic in Computer Science

Sun, 8 May 2011 16:26:54 PST

[person name] put "[title]" onto shelf

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Inter ...

Introduction to the Theory of Computation

Thu, 15 Apr 2010 12:58:07 PST

[person name] put "[title]" onto shelf

This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.

Real World Haskell

Sun, 28 Feb 2010 15:14:19 PST

[person name] put "[title]" onto shelf

This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. Learn how to use Haskell in a variety of practical ways, whether it's for short, script-like programs or large and demanding applications. Written for experienced programmers, Real World Haskell takes you through the basics of functional programming at a brisk pace, and helps you increase your understand ...

Introduction to Calculus and Analysis, Volume 1

Sun, 28 Feb 2010 15:07:01 PST

[person name] put "[title]" onto shelf

From the reviews: "Volume 1 covers a basic course in real analysis of one variable and Fourier series. It is well-illustrated, well-motivated and very well-provided with a multitude of unusually useful and accessible exercises. (...) There are three aspects of Courant and John in which it outshines (some) contemporaries: (i) the extensive historical references, (ii) the chapter on numerical metho ...

Linear Algebra

Sun, 28 Feb 2010 15:03:30 PST

[person name] put "[title]" onto shelf

For courses in Advanced Linear Algebra. This top-selling, theorem-proof text presents a careful treatment of the principle topics of linear algebra, and illustrates the power of the subject through a variety of applications. It emphasizes the symbiotic relationship between linear transformations and matrices, but states theorems in the more general infinite-dimensional case where appropriate.

The Importance of Being Earnest and Other Plays

Tue, 9 Feb 2010 0:20:18 PST

[person name] put "[title]" onto shelf

Enduring Literature Illuminated by Practical ScholarshipWilde's classic comedy of manners, The Importance of Being Earnest, and his other popular plays -- Lady Windermere's Fan, An Ideal Husband, and Salome -- challenged comtemporary notions of sex and sensibility, class and cultural identity.This Enriched Classic Edition includes:• A concise introduction that gives readers important backgrou ...

Freakonomics

Tue, 9 Feb 2010 0:17:29 PST

[person name] put "[title]" onto shelf

Structure and Interpretation of Computer Programs - 2nd Edition

Thu, 2 Oct 2008 11:00:15 PST

[person name] put "[title]" onto shelf
[person name] commented on "[title]"

PLEASE NOTE: This is the international paperback edition of this book. The MIT Press does not have sales rights for this paperback edition in the US and Canada. Customers in the US and Canada must order the hardcover edition. Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains change ...

The Definitive ANTLR Reference

Thu, 2 Oct 2008 10:53:35 PST

[person name] put "[title]" onto shelf

ANTLR v3 is the most powerful, easy-to-use parser generator built to date, and represents the culmination of more than 15 years of research by Terence Parr. This book is the essential reference guide to using this completely rebuilt version of ANTLR, with its amazing new LL(*) parsing technology, tree construction facilities, StringTemplate code generation template engine, and sophisticated ANTLR ...

Practical Common Lisp

Fri, 4 Jul 2008 10:53:24 PST

[person name] put "[title]" onto shelf
[person name] commented on "[title]"

Lisp is thought of an academic language but it need not be. This is the first book that introduces Lisp as a language for the real world. Part I is the introduction to the Lisp language. The goal in Part I is to give the reader an overall understanding of the features of the language and a sufficiently robust understanding of how they work in order to prepare the reader for the practical cod ...

異鄉人

Fri, 11 Jan 2008 16:03:00 PST

[person name] put "[title]" onto shelf

Secure Coding in C and C++

Wed, 9 Jan 2008 23:28:21 PST

[person name] put "[title]" onto shelf

Commonly exploited software vulnerabilities are usually caused by avoidable software defects. Having analyzed nearly 18,000 vulnerability reports over the past ten years, the CERT/Coordination Center (CERT/CC) has determined that a relatively small number of root causes account for most of them. This book identifies and explains these causes and shows the steps that can be taken to prevent exploi ...

德國史

Tue, 8 Jan 2008 14:24:19 PST

[person name] put "[title]" onto shelf

數十年來，國內有關德國史的相關著作多半為英美學術著作之轉引或翻譯，多根據英美學者的角度觀察德國歷史發展，內容取材未必儘能符合國內讀者之需求。本書為作者多年來在政治大學及輔仁大學講授相關課程的心得，根據受課學生的歷史知識基礎而設計，希望對各課題做較適合的說明，以期提供國內讀者一個不同的視角。本書撰寫時，除廣徵英、美、德、奧各家說法，力求客觀之外，書中所引文字，多標示德文原文，除了希望讀者能因此對德國史有較直接的認識，也希望提供有意近一步探索相關問題者較便捷的基礎。

麥田捕手

Mon, 7 Jan 2008 23:34:15 PST

[person name] put "[title]" onto shelf

傑諾. 大衛. 沙林傑 (Jerome David Salinger) 是二十世紀的美國小說家。他生活在一個迅速變動的社會中，人們依然遭受著外在與內心激烈爭戰的恐懼和威脅。無形的不安籠罩著人們心頭，沙林傑正與一般知識分子相同，既不願盲從，又不願標新立異，於是將切身之感細細描繪，並寫出與大家息息相關的人物而深得人心。書中描寫少年成長過程中，如何的由懷疑走向信仰，由叛逆不滿轉成對萬物有情的心路歷程。

Design Patterns

Mon, 7 Jan 2008 23:24:13 PST

[person name] put "[title]" onto shelf

Design Patterns is based on the idea that there are only so many design problems in computer programming. This book identifies some common program-design problems--such as adapting the interface of one object to that of another object or notifying an object of a change in another object's state--and explains the best ways (not always the obvious ways) that the authors know to solve them. The idea ...

Programming Language Pragmatics, Second Edition

Mon, 7 Jan 2008 23:22:18 PST

[person name] put "[title]" onto shelf

Thoroughly updated to reflect the most current developments in language design and implementation, the second edition *Addresses key developments in programming language design: + Finalized C99 standard + Java 5 + C# 2.0 + Java concurrency package (JSR 166) and comparable mechanisms in C# + Java and C# generics *Introduces and discusses scripting languages throughout the book and in an ...

Modern Compiler Design

Mon, 7 Jan 2008 23:22:05 PST

[person name] put "[title]" onto shelf

While focusing on the essential techniques common to all language paradigms, this book provides readers with the skills required for modern compiler construction. All the major programming types (imperative, object-oriented, functional, logic, and distributed) are covered. Practical emphasis is placed on implementation and optimization techniques, which includes tools for automating compiler desi ...

激情尼采

Mon, 7 Jan 2008 22:54:13 PST

[person name] put "[title]" onto shelf

一八八八年四月，尼采因病纏身，告別十年的教學生涯，孤單窮迫地遷至杜林。不到一年時間，他完成六部作品。一八八九年一月，他逐漸神智不清，創作生涯劃上句點。一八九七年，由妹妹帶至威瑪，從此臥病在床，至一九００年過世，享年五十六歲，時逢尼采逝世百週年，張伯倫女士整理尼采生平所留下的大量信箋和資料，試圖貼近他的生活本質，將週遭的人事物與作品連貫起來，還給尼采本來面目。

圖解世界史

Mon, 7 Jan 2008 22:51:51 PST

[person name] put "[title]" onto shelf

如果能從世界史的大方向上理解，而不囿於一時一地的歷史記誦，全面性洞悉每一事件的原委、發展與影響，就能將歷史陳跡化為具體的知識、和人類智慧的寶貴資材，培養出深刻宏觀的視野。《圖解世界史》（上、下）不以時間、地域為界，避免排列枯燥乏味的事項，而是以世界史的整體發展歷程為編排、撰述重點。各章節不只有政治、經濟、戰爭，還包含了宗教、思想、文學、藝術等文化層面，藉著交互參照、以及廣泛運用地圖、圖表，簡明而充分地說明世界史的脈動。內容包括從七百萬年前人類起源，直到紛亂的二十世紀、以及對未來二十一世紀的省思；敘述幅度橫跨歐、亞、非、美等各大洲，並特別列出中國、日本歷史做為參照。

寫給年輕人的簡明世界史

Mon, 7 Jan 2008 22:49:37 PST

[person name] put "[title]" onto shelf

學歷史，可以使人睿智；學歷史，不僅是瞭解昨天，更重要的是把握今天，告誡未來。在浩瀚如煙的世界史學叢書中，一本融合知識性、趣味性與教育性的讀物，可說是少之又少。而宮布利希的這本簡明扼要的世界史正能滿足上述需求，全書不到二十萬字，涵蓋了人類浩浩盪盪、風起雲湧的歷史長河，它以生動簡約的語言講述了昔日世界的故事，讓我們看到過往人物，以及文明發展的軌跡。相信每位讀者打開本書的第一頁，立即會被那句充滿魔力的「從前從前……」給深深吸引，隨著作者同行，進入千年的旅程。

圖解世界史

Mon, 7 Jan 2008 22:47:00 PST

[person name] put "[title]" onto shelf

《圖解世界史》（上、下）不以時間、地域為界，避免排列枯燥乏味的事項，而是以世界史的整體發展歷程為編排、撰述重點。各章節不只有政治、經濟、戰爭，還包含了宗教、思想、文學、藝術等文化層面，藉著交互參照、以及廣泛運用地圖、圖表，簡明而充分地說明世界史的脈動。內容包括從七百萬年前人類起源，直到紛亂的二十世紀、以及對未來二十一世紀的省思；敘述幅度橫跨歐、亞、非、美等各大洲，並特別列出中國、日本歷史做為參照。推薦序摘要：　　現代台灣是一個成功的現代化國家，文化上是與「現代文明」接軌的。「現代文明」根於「近代西方文化」……對我們來說，閱讀「世界史」並非只是在欣賞異國情調的異國文化，也是在了解我們自己的文化傳統。楊肅獻（臺灣大學歷史學系教授）　　各章節的標題與圖解充分呈現作者運用東西文明、或世界文明比較的視野來掃瞄世界歷史發展的大趨勢，並鋪陳出一條清晰且具視覺思考邏輯的脈絡和線索，因而蘊 ...

Compiler Construction

Mon, 7 Jan 2008 22:29:26 PST

[person name] put "[title]" onto shelf

Compiler Construction: Principles and Practice features a comprehensive, hands-on case study project for constructing an actual, working compiler.

自己動手寫作業系統(附光碟)

Mon, 7 Jan 2008 22:29:02 PST

[person name] put "[title]" onto shelf

　　本書在詳細分析操作系統原理的基礎上，用豐富的實例程式碼，一步一步地指導讀者寫出一個具備操作系統基礎功能的操作系統框架。本書不同於其他的理論型書籍，而是提供給讀者一個動手實踐的路線圖。書中講解了大量開發操作系統中須注意的細節問題，這些細節不僅能使讀者更深刻地認識操作系統的核心原理，而且使整個開發過程少走彎路。本書特色　　透過實例，一步一步，由淺入深引領讀者用編譯及C語言編寫出一個操作系統框架。　　在深入講解程式碼細節與程式設計思想的同時，詳盡且透徹地解析操作系統的核心原理與運行機制，使讀者知其然，更知其所以然。　　介紹了大量的程式設計技巧和實戰經驗，讓讀者在實際開發中少走彎路。　　不同於其他的理論型書籍，而是提供給讀者一個動手實踐的路線圖。　　非常適合作為作業系統課程的實戰參考書，既提高動手能力，又加深理論知識。

卡夫卡短篇傑作選

Mon, 7 Jan 2008 22:28:33 PST

[person name] put "[title]" onto shelf

卡夫卡（１８８３～１９２４）是德國猶太裔作家。這位享年只有４１歲的天才作家，重要的作品泰半在死後由其至友布勞德安排出版，隨著時間的消逝，如今更顯出卡夫卡在二十世紀文壇的重要性。　　本書由大陸德國文學專家葉廷芳教授擔任編選。譯者包括一流文學工作者，全部由德文原著精心迻譯。全書共分三輯，包括卡夫卡生前發表的重要短篇小說，遺作中精選和極短篇，卡夫卡畢生最好的短篇盡萃於此。　　本社曾刊行卡夫卡中長篇小說「蛻變」「審判」等頗受讀者重視。卡夫卡的小說刻畫現代人的處境，人與人間的疏離和孤獨感，人性的掙扎與葛藤，在世界文學史上難有其匹。　　愛好卡夫卡作品的讀者可以從這本短篇小說傑作選盡窺他小說藝術創作的精華。

德語課

Mon, 7 Jan 2008 22:28:08 PST

[person name] put "[title]" onto shelf

　　作家余華說：「這本書震撼了我，讓我讀過以後不願失去它。」　　在易北河的一座孤島上，少年西吉被關在感化院的單人囚室裡罰寫作文，題目是〈履行職責的快樂〉。這個題目讓西吉回憶起父親（德國最北邊一個偏僻小農村的警察）盡忠職守、履行職責的一段往事。　　二次大戰期間，他的父親受命監控一位世界知名畫家的言行，並禁止他作畫。儘管這位畫家是他們親近的好朋友、曾經救過他父親的性命，但他父親仍然選擇盡忠職守，甚至還要當時才十歲的西吉也幫忙監視畫家，但西吉同情這位畫家，主動把這些畫藏起來。戰後，對於畫家的禁令都解除了，但他父親仍堅持繼續監視畫家。　　警察父親的偏執，使西吉得了恐懼症，而他偷藏畫作的行為，也終於被父親發現，把他當作難以管教的少年犯送進感化院。西吉在感化院中，不斷回憶起往事，作文越寫越多，甚至不願跨出囚室。他希望能一直寫下去，繼續體會履行職責的快樂……　　藍茨在書中鋪陳出一段宛如成長小說的心路歷 ...