程式語言 / Functional-programming
相關書籍
-
預購95折
Proof Theory and Logic Programming: Computation as Proof Search$3,190$3,031 -
VIP 95折
Advanced Functional Programming with Elixir: Model Behavior, Manage Complexity, and Maximize Maintainability$2,260$2,147 -
VIP 95折
Coding for Dummies, All New Edition$1,080$1,026 -
VIP 95折
Programming Language Design and Implementation$3,550$3,373 -
VIP 95折
Functional Data Structures and Algorithms: A Proof Assistant Approach$2,180$2,071 -
VIP 95折
Functional Data Structures and Algorithms: A Proof Assistant Approach
$2,180$2,071 -
VIP 95折
Automated Deduction - Cade 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings$2,360$2,242 -
VIP 95折
Principles and Practices of Building Parallel Software: Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday$4,120$3,914 -
VIP 95折
Julia Programming Essentials: Data Types, Collections, and Control Structures$1,160$1,102 -
VIP 95折
New Trends in Functional Statistics and Related Fields$8,190$7,781 -
VIP 95折
The French School of Programming$8,870$8,427 -
VIP 95折
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an$2,220$2,109 -
VIP 95折
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an$2,220$2,109 -
VIP 95折
Genetic Programming: 28th European Conference, Eurogp 2025, Held as Part of Evostar 2025, Trieste, Italy, April 23-25, 2025, Proceedings$2,790$2,651 -
VIP 95折
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence$2,330$2,214 -
VIP 95折
Clojure Brain Teasers: Exercise Your Mind$1,500$1,425 -
VIP 95折
Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 2025, Proceedings$2,980$2,831 -
VIP 95折
Genetic Programming Theory and Practice XXI$8,190$7,781 -
VIP 95折
The Nix Programming Handbook: Build Reliable, Declarative, and Reproducible Systems$1,290$1,226 -
VIP 95折
Category Theory Using Haskell: An Introduction with Moggi and Yoneda$8,680$8,246 -
VIP 95折
We, Programmers: A Chronicle of Coders from ADA to AI (Paperback)$1,620$1,539 -
VIP 95折
Programming in ADA 2022 (Paperback)$4,780$4,541 -
VIP 95折
Learn Haskell by Example$2,240$2,128 -
VIP 90折
Seven Obscure Languages in Seven Weeks: Rediscovering the Tools That Built the Future$1,919$1,818 -
VIP 95折
Functional Design and Architecture (Paperback)$2,100$1,995 -
VIP 95折
Programming Languages and Systems: 22nd Asian Symposium, Aplas 2024, Kyoto, Japan, October 22-24, 2024, Proceedings$2,750$2,613 -
VIP 95折
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, Lpnmr 2024, Dallas, Tx, Usa, October 11-14, 2024, Proceedings$5,860$5,567 -
VIP 95折
5 Steps to a 5: AP Computer Science Principles 2025$1,210$1,150 -
VIP 95折
Logic-Based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan, Italy, September 9-10, 2024, Proceedings$2,940$2,793 -
VIP 95折
Stability of Some Advanced Functional Equations in Various Spaces$8,090$7,686
