程式語言 / Functional-programming
相關書籍
-
VIP 95折
Lectures on the Curry-Howard Isomorphism$5,800$5,510 -
VIP 95折
The Reasoned Schemer$630$599 -
VIP 95折
Functional Data Analysis, 2/e (Hardcover)$8,960$8,512 -
80折
$2,240Higher-Order Perl: Transforming Programs with Programs -
VIP 95折
Advanced Topics in Types and Programming Languages (Hardcover)$3,060$2,907 -
Logic Programming: Operational Semantics and Proof Theory$1,050$1,029 -
VIP 95折
Programming Language Design Concepts (Paperback)$3,100$2,945 -
VIP 95折
The Haskell Road to Logic, Maths and Programming. Second Edition$1,160$1,102 -
The Standard ML Basis Library$1,200$1,176 -
$902Foundations of Programming Languages -
VIP 95折
Isabelle/Hol: A Proof Assistant for Higher-Order Logic$2,380$2,261 -
VIP 95折
Types and Programming Languages (dhl)$3,440$3,268 -
VIP 95折
Term Rewriting and All That$2,650$2,518 -
VIP 95折
Purely Functional Data Structures (1ST ed.)(快遞進口)$2,390$2,271 -
VIP 95折
Compiling Natural Semantics$2,210$2,100 -
VIP 95折
Domains and Lambda-Calculi$6,530$6,204 -
VIP 95折
Definition of Standard ML$1,380$1,311 -
VIP 95折
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science)$2,210$2,100 -
$2,573Structure and Interpretation of Computer Programs, 2/e (美國原版) -
VIP 95折
ML for the Working Programmer$3,340$3,173 -
VIP 95折
Control Flow Semantics$3,890$3,696 -
VIP 95折
The Little Schemer, 4/e (Paperback)$1,800$1,710 -
VIP 95折
Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,210$2,100 -
VIP 95折
The Formal Semantics of Programming Languages: An Introduction$3,170$3,012 -
VIP 95折
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)$2,210$2,100 -
VIP 95折
Memory Management: International Workshop IWMM 92, St.Malo, France, September 17 - 19, 1992. Proceedings (Lecture Notes in Computer Science)$2,210$2,100 -
VIP 95折
Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science)$4,110$3,905 -
VIP 95折
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings (Lecture Notes in Computer Science)$2,210$2,100 -
VIP 95折
Functional Programming: Practice and Theory$2,440$2,318 -
VIP 95折
Combinators and Functional Programming Languages$2,030$1,929
