程式語言 / Functional-programming
相關書籍
-
ANSI Common LISP (Paperback)$7,560$7,408 -
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings (Lecture Notes in Computer Science)$4,610$4,517 -
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
The Art of Prolog, second edition: Advanced Programming Techniques$4,340$4,253 -
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
The Formal Semantics of Programming Languages: An Introduction$3,540$3,469 -
Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Genetic Programming: On the Programming of Computers by Means of Natural Selection$3,220$3,155 -
Memory Management: International Workshop IWMM 92, St.Malo, France, September 17 - 19, 1992. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, ... (Lecture Notes in Computer Science)$2,470$2,420 -
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
Conclog: A Methodological Approach to Concurrent Logic Programming (Lecture Notes in Computer Science)$4,610$4,517 -
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
VIP 95折
The Common LISP Companion$5,110$4,854 -
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science)$2,470$2,420 -
A Course in Functional Analysis$3,440$3,371 -
ESOP '90 (Lecture Notes in Computer Science)$3,050$2,989 -
Lisp, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications$4,130$4,047 -
VIP 95折
Functional Programming: Practice and Theory$2,600$2,470 -
Combinators and Functional Programming Languages$2,270$2,224 -
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)$2,470$2,420 -
Coroutines: A Programming Methodology, a Language Design and an Implementation$2,470$2,420 -
Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science)$1,880$1,842 -
Design and Implementation of Programming Languages: Proceedings of a Dod Sponsored Workshop, Ithaca, October 1976$2,660$2,606 -
On the Functional Equations Satisfied by Eisenstein Series$2,110$2,067 -
LISP 1.5 Programmer's Manual$1,530$1,499
