資訊科學 / Computer-Science
相關書籍
-
預購95折
Against Bias: How Computing Cultures Manufacture Disengagement$2,450$2,327 -
預購95折
Computational Reflections$2,620$2,489 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$2,560$2,432 -
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$6,600$6,270 -
Guide to Teaching Computer Science: An Activity-Based Approach$4,210$4,125 -
Frege's Views on Truth: Extending 'Logical Investigations'$5,370$5,262 -
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,270$2,224 -
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,460$2,410 -
VIP 95折
A Brief History of Computing$2,410$2,289 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$7,570$7,191 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,400$3,230 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$4,000$3,800 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,790$4,550 -
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,600$4,508 -
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,430$3,361 -
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,850$2,793 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,710$2,574 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,400$3,230 -
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,270$2,224 -
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,820$3,743 -
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,850$2,793 -
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,430$3,361 -
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,240$3,175 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,400$4,180 -
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,240$3,175 -
VIP 95折
Proceedings of Fifth International Conference on Advances in Computer Engineering and Communication Systems: Icacecs 2024$12,240$11,628 -
VIP 95折
Cellular Automata and Discrete Complex Systems: 31st Ifip Wg 1.5 International Workshop, Automata 2025, Lille, France, June 30 - July 2, 2025, Proceed$5,190$4,930 -
VIP 95折
Computer Science from Scratch: Building Interpreters, Art, Emulators and ML in Python (Paperback)$1,800$1,710 -
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik, Iceland, September 27-29, 202$2,270$2,224 -
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings$2,270$2,224
