程式語言 / Functional-programming
相關書籍
-
VIP 95折
Basic Simple Type Theory$2,190$2,081 -
VIP 95折
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK April 24-27, 2006, Revised Lectures (Lecture Notes in Computer Science)$2,370$2,252 -
VIP 95折
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science)$2,370$2,252 -
VIP 95折
Programming Multi-Agent Systems in AgentSpeak using Jason (Hardcover)$4,000$3,800 -
VIP 95折
Network Performance Analysis: Using the J Programming Language$4,520$4,294 -
VIP 95折
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science)$2,420$2,299 -
VIP 95折
Concurrent Programming in ML$2,630$2,499 -
VIP 95折
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science)$2,370$2,252 -
VIP 95折
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers (Lecture Notes in Computer Science)$2,420$2,299 -
VIP 95折
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings (Lecture Notes in Computer Science)$2,370$2,252 -
VIP 95折
Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, ... Papers (Lecture Notes in Computer Sc$2,370$2,252 -
VIP 95折
Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers (Lecture Notes in Computer Science)$2,420$2,299 -
VIP 95折
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)$4,060$3,857 -
VIP 95折
Concurrent and Real-Time Programming in Ada$4,060$3,857 -
VIP 95折
Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers (Lecture Notes in Computer Science)$2,420$2,299 -
VIP 95折
Infinite Dimensional Analysis: A Hitchhiker's Guide$3,310$3,145 -
VIP 95折
Semantics with Applications: An Appetizer (Paperback)$1,580$1,501 -
Programming Languages: Principles and Paradigms, 2/e (Paperback)$1,050$1,029 -
Fortran 95/2003 for Scientists and Engineers, 3/e (IE-Paperback)$1,100$1,078 -
VIP 95折
Beginning Programming For Dummies, 4/e$1,060$1,007 -
95折
$1,829Practical OCaml (Hardcover) -
VIP 95折
Lua 5.1 Reference Manual$950$903 -
VIP 90折
Unicode Explained (Paperback)$2,043$1,935 -
VIP 95折
Learn PROLOG Now!$1,370$1,302 -
VIP 95折
Nonparametric Functional Data Analysis: Theory and Practice$5,670$5,387 -
VIP 95折
Lectures on the Curry-Howard Isomorphism$6,370$6,052 -
VIP 95折
Infinite Dimensional Analysis: A Hitchhiker's Guide$4,540$4,313 -
Computational Oriented Matroids: Equivalence Classes of Matrices within a Natural Framework$2,200$2,156 -
VIP 95折
The Reasoned Schemer$660$627 -
VIP 95折
Practical Common Lisp$3,760$3,572
