資訊科學 / Computer-Science
相關書籍
-
VIP 95折
Computer Science Why: Answers to Computer Science Questions They Don't Cover in Class$7,580$7,201 -
VIP 95折
Mastering the Academic Writing Mindset: A Guide to Crafting Computer Science Papers$2,390$2,270 -
VIP 95折
Computing Science, Communication and Security: 6th International Conference, Coms2 2025, Mehsana, Gujarat, India, September 12-13, 2025, Proceedings$4,170$3,961 -
VIP 95折
Logic, Language, and Computation: 14th International Tbilisi Symposium, Tbillc 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers$5,710$5,424 -
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,560$4,332 -
VIP 95折
Guide to Teaching Computer Science: An Activity-Based Approach$4,170$3,961 -
VIP 95折
Frege's Views on Truth: Extending 'Logical Investigations'$5,320$5,054 -
VIP 95折
The Making and Meanings of a Computing Reference Work: Exploring the Encyclopedia of Computer Science$2,250$2,137 -
VIP 95折
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday$2,440$2,318 -
VIP 95折
A Brief History of Computing$2,390$2,270 -
VIP 95折
First-Order Schemata and Inductive Proof Analysis$7,500$7,125 -
VIP 95折
Theory and Applications of Models of Computation: 19th Annual Conference, Tamc 2025, Jinan, China, September 19-21, 2025, Proceedings$3,370$3,201 -
VIP 95折
Guide to Feistel Ciphers: Security Proofs and Cryptanalysis$3,960$3,762 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,750$4,512 -
VIP 95折
Advances in Cryptology - Asiacrypt 2025: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne$4,560$4,332 -
VIP 95折
Theory of Cryptography: 23rd International Conference, Tcc 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I$3,400$3,230 -
VIP 95折
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings$2,820$2,679 -
VIP 95折
An International Perspective on Digital Literacy: Results from Icils 2023$2,780$2,641 -
VIP 95折
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings$3,370$3,201 -
VIP 95折
Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings$2,250$2,137 -
VIP 95折
Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings$3,790$3,600 -
VIP 95折
Rules and Reasoning: 9th International Joint Conference, Ruleml+rr 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings$2,980$2,831 -
VIP 95折
Advances in Conceptual Modeling: Er 2025 Workshops, Fcm, Cmls, Llm4modeling, Ontocom, and Quames, Poitiers, France, October 20-23, 2025, Proceedings.$3,400$3,230 -
VIP 95折
Logic, Rationality, and Interaction: 10th International Conference on Logic, Rationality and Interaction, Lori 2025, Xi'an, China, October 16-19, 2025$3,210$3,049 -
VIP 95折
Computer Science - Cacic 2024: 30th Argentine Congress of Computer Science, La Plata, Argentina, October 7-10, 2024, Revised Selected Papers$4,360$4,142 -
VIP 95折
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, Qest+formats 2025, Aarhus$3,210$3,049 -
VIP 95折
Proceedings of Fifth International Conference on Advances in Computer Engineering and Communication Systems: Icacecs 2024$12,130$11,523 -
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,140$4,883 -
VIP 95折
Computer Science from Scratch: Building Interpreters, Art, Emulators and ML in Python (Paperback)$1,840$1,748 -
VIP 95折
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik, Iceland, September 27-29, 202$2,250$2,137