縮小範圍

商品類型

原文書（8）

商品狀況

可訂購商品（8）

庫存狀況

無庫存（8）

商品定價

$800以上（8）

出版日期

2018~2019 （3）

2016年以前（5）

裝訂方式

平裝（8）

作者

Daniel P. Friedman, Matthias Felleisen, Duane Bibby （2）

Daniel P. Friedman, Carl Eastlund, Duane Bibby , J. Strother Moore , Matthias Felleisen （1）

Daniel P. Friedman, David Thrane Christiansen, Duane Bibby , Robert Harper , Conor Mcbride （1）

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann, Duane Bibby （1）

Duane R. Bibby (ILT)/ Donald E. Knuth (CRT) （1）

出版社/品牌

Mit Pr （6）

Addison-Wesley Professional （1）

Stanford Univ Center for the Study （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共8筆商品，1/1頁

90折

Latex ─ A Documentation Preparation System User's Guide and Reference Manual

作者：Leslie Lamport; Duane Bibby (ILT) 出版社：Addison-Wesley Professional 出版日：1994/08/01 裝訂：平裝

This authoritative user's guide and reference manual for the LATEX computer typesetting system has been revised to document features now available in the new standard software release - LATEX2e. Th

定價：2475 元，優惠價：9 2228

無庫存，下單後進貨(到貨天數約30-45天)

The Little Mler

作者：Matthias Felleisen; Daniel P. Friedman; Duane Bibby 出版社：Mit Pr 出版日：1998/01/05 裝訂：平裝

with a foreword by Robin Milnerand drawings by Duane BibbyOver the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the U

到貨時通知我

缺貨無法訂購

79折

The Little Schemer

作者：Daniel P. Friedman; Matthias Felleisen; Duane Bibby 出版社：Mit Pr 出版日：1995/12/21 裝訂：平裝

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 companion volume, The

定價：2200 元，優惠價：79 1738

無庫存，下單後進貨(到貨天數約30-45天)

79折

The Seasoned Schemer

作者：Daniel P. Friedman; Matthias Felleisen; Duane Bibby 出版社：Mit Pr 出版日：1995/12/21 裝訂：平裝

定價：2475 元，優惠價：79 1955

無庫存，下單後進貨(到貨天數約30-45天)

滿額折

Fantasia Apocalyptica

作者：Duane R. Bibby (ILT); Donald E. Knuth (CRT) 出版社：Stanford Univ Center for the Study 出版日：2018/11/15 裝訂：平裝

Artist Duane R. Bibby brings Donald E. Knuth’s computer-assisted musical “translation” of the biblical Book of Revelation to life in this illustrated edition of Knuth’s multime

定價：1750 元，優惠價：1 1750

無庫存，下單後進貨(到貨天數約30-45天)

79折

The Little Prover

作者：Daniel P. Friedman; Carl Eastlund; Duane Bibby ; J. Strother Moore ; Matthias Felleisen 出版社：Mit Pr 出版日：2015/07/10 裝訂：平裝

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 the characteristic humo

定價：2200 元，優惠價：79 1738

無庫存，下單後進貨(到貨天數約30-45天)

The Reasoned Schemer

作者：Daniel P. Friedman; William E. Byrd; Oleg Kiselyov; Jason Hemann; Duane Bibby 出版社：Mit Pr 出版日：2018/03/09 裝訂：平裝

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 of this book is to

到貨時通知我

缺貨無法訂購

79折

The Little Typer

作者：Daniel P. Friedman; David Thrane Christiansen; Duane Bibby ; Robert Harper ; Conor Mcbride 出版社：Mit Pr 出版日：2018/09/18 裝訂：平裝

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

定價：3025 元，優惠價：79 2390

無庫存，下單後進貨(到貨天數約30-45天)

共8 筆
1 頁

熱搜：

漫畫少年學墨菲定律

電影與文化冷戰

Sad Trombone

雷驤

佛法是科學的終極典範

新譯六祖壇經

DragonMasters 1-23

新基本小六法

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Latex ─ A Documentation Preparation System User's Guide and Reference Manual

The Little Mler

The Little Schemer

The Seasoned Schemer

Fantasia Apocalyptica

The Little Prover

The Reasoned Schemer

The Little Typer