程式語言 / Functional-programming
相關書籍
-
Practical Aspects of Declarative Languages: 28th International Symposium, Padl 2026, Rennes, France, January 12-13, 2026, Proceedings$2,810$2,753 -
Cultures of Programming$4,380$4,292 -
VIP 95折
Bim Geometry with Julia Plasm--Functional Language for CAD Programming: Volume 1: Mathematics and Software Engineering$3,060$2,907 -
Proof Theory and Logic Programming: Computation as Proof Search$3,210$3,145 -
Advanced Functional Programming with Elixir: Model Behavior, Manage Complexity, and Maximize Maintainability$2,270$2,224 -
VIP 95折
Coding for Dummies, All New Edition$1,080$1,026 -
Programming Languages and Systems: 23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings$3,380$3,312 -
Programming Language Design and Implementation$3,570$3,498 -
VIP 95折
Trends in Functional Programming: 26th International Symposium, Tfp 2025, Oxford, Uk, January 14-16, 2025, Revised Selected Papers$5,500$5,225 -
Functional Data Structures and Algorithms: A Proof Assistant Approach$2,190$2,146 -
Functional Data Structures and Algorithms: A Proof Assistant Approach
$2,190$2,146 -
VIP 95折
Operator Space Tensor Norms$3,160$3,002 -
VIP 95折
Concurrent and Real-Time Programming: Principles and Applications$2,770$2,631 -
Logic-Based Program Synthesis and Transformation: 35th International Symposium, Lopstr 2025, Rende, Italy, September 9-10, 2025, Proceedings$2,810$2,753 -
VIP 95折
Automated Deduction - Cade 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings$2,370$2,251 -
Principles and Practices of Building Parallel Software: Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday$4,150$4,067 -
The Magic of Code: How Digital Language Created and Connects Our World--And Shapes Our Future$1,210$1,185 -
Julia Programming Essentials: Data Types, Collections, and Control Structures$1,170$1,146 -
VIP 95折
New Trends in Functional Statistics and Related Fields$8,240$7,828 -
VIP 95折
The French School of Programming$8,920$8,474 -
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an$2,230$2,185 -
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an$2,230$2,185 -
Genetic Programming: 28th European Conference, Eurogp 2025, Held as Part of Evostar 2025, Trieste, Italy, April 23-25, 2025, Proceedings$2,810$2,753 -
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence$2,330$2,283 -
Clojure Brain Teasers: Exercise Your Mind$1,510$1,479 -
Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 2025, Proceedings$3,000$2,940 -
VIP 95折
Genetic Programming Theory and Practice XXI$8,240$7,828 -
The Nix Programming Handbook: Build Reliable, Declarative, and Reproducible Systems$1,300$1,274 -
Category Theory Using Haskell: An Introduction with Moggi and Yoneda$8,730$8,555 -
VIP 95折
We, Programmers: A Chronicle of Coders from ADA to AI (Paperback)$1,600$1,520
