資訊科學 / Computer-Science
相關書籍
-
預購95折
Computational Reflections$2,580$2,451 -
Frege's Views on Truth: Extending 'Logical Investigations'$5,290$5,184 -
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,230$2,185 -
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,430$2,381 -
VIP 95折
A Brief History of Computing$2,280$2,166 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$7,360$6,992 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,260$3,097 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,840$3,648 -
$359信息技術（基礎模塊）（第4版）（微課版） -
$714圖解計算機科學數學基礎 -
$299大學計算機基礎（微課版）（第4版） -
$419計算機專業英語 -
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,530$4,439 -
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,530$4,439 -
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,380$3,312 -
解說結構學, 4/e$760$722 -
$359計算機科學概論（微課版） -
$419大學計算機基礎：從計算思維到數智素養 -
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,810$2,754 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,670$2,537 -
計算機概論重要題型完全攻略, 2/e (適用: 轉學考．插大)$480$432 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,350$3,183 -
85折
不寫程式的電腦思維課：點餐、追劇、導航，我的日常其實都在跑演算法？用最簡單的方式讀懂最重要的科技思維$375$319 -
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,230$2,185 -
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,760$3,685 -
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,810$2,754 -
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,380$3,312 -
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,190$3,126 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,330$4,114 -
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,190$3,126
