資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Logic, Language, and Computation: 14th International Tbilisi Symposium, Tbillc 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers$5,870$5,576 -
VIP 95折
Sofsem 2026: Theory and Practice of Computer Science: 51st International Conference on Current Trends in Theory and Practice of Computer Science, Sofs$4,680$4,446 -
$594改變世界的程序員1 -
$594改變世界的程序員2 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$4,290$4,075 -
VIP 95折
Frege's Views on Truth: Extending 'Logical Investigations'$5,470$5,196 -
VIP 95折
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,310$2,194 -
VIP 95折
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,510$2,384 -
VIP 95折
A Brief History of Computing$2,230$2,118 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$6,900$6,555 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,130$2,973 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,670$3,486 -
85折
$606圖解計算機科學數學基礎 -
$358信息技術（基礎模塊）（第4版）（微課版） -
$298大學計算機基礎（微課版）（第4版） -
$419計算機專業英語 -
$359計算機導論（第3版） -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,390$4,170 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,680$4,446 -
VIP 95折
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,500$3,325 -
解說結構學, 4/e$760$722 -
$358計算機科學概論（微課版） -
$418大學計算機基礎：從計算思維到數智素養 -
VIP 95折
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,900$2,755 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,590$2,460 -
計算機概論重要題型完全攻略, 2/e (適用: 轉學考．插大)$480$432 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,130$2,973 -
85折
不寫程式的電腦思維課：點餐、追劇、導航，我的日常其實都在跑演算法？用最簡單的方式讀懂最重要的科技思維$375$318 -
VIP 95折
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,310$2,194 -
VIP 95折
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,890$3,695
